28.401 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.016 * * * [progress]: [2/2] Setting up program.
0.017 * [progress]: [Phase 2 of 3] Improving.
0.018 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ x (* (* (- y x) 6.0) z))
0.019 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
0.020 * * [simplify]: iteration  1 :  15  enodes  (cost  9 )
0.022 * * [simplify]: iteration  2 :  31  enodes  (cost  8 )
0.026 * * [simplify]: iteration  3 :  63  enodes  (cost  8 )
0.038 * * [simplify]: iteration  4 :  104  enodes  (cost  8 )
0.054 * * [simplify]: iteration  5 :  161  enodes  (cost  8 )
0.086 * * [simplify]: iteration  6 :  198  enodes  (cost  8 )
0.126 * * [simplify]: iteration  7 :  238  enodes  (cost  8 )
0.172 * * [simplify]: iteration  8 :  294  enodes  (cost  8 )
0.268 * * [simplify]: iteration  9 :  416  enodes  (cost  8 )
0.471 * * [simplify]: iteration  10 :  568  enodes  (cost  8 )
0.698 * * [simplify]: iteration  11 :  656  enodes  (cost  8 )
0.909 * * [simplify]: iteration  12 :  767  enodes  (cost  8 )
1.216 * * [simplify]: iteration  13 :  856  enodes  (cost  8 )
1.460 * * [simplify]: iteration  14 :  875  enodes  (cost  8 )
1.725 * * [simplify]: iteration  15 :  919  enodes  (cost  8 )
2.070 * * [simplify]: iteration  16 :  1079  enodes  (cost  8 )
2.626 * * [simplify]: iteration  17 :  1327  enodes  (cost  8 )
3.313 * * [simplify]: iteration  18 :  1656  enodes  (cost  8 )
4.184 * * [simplify]: iteration  19 :  1977  enodes  (cost  8 )
5.422 * * [simplify]: iteration  20 :  2257  enodes  (cost  8 )
6.478 * * [simplify]: iteration  21 :  2267  enodes  (cost  8 )
7.123 * * [simplify]: iteration  22 :  2269  enodes  (cost  8 )
7.761 * * [simplify]: iteration  done :  2269  enodes  (cost  8 )
7.761 * [simplify]: Simplified to:
   (fma (- y x) (* 6.0 z) x)
7.763 * * [progress]: iteration 1 / 4
7.763 * * * [progress]: picking best candidate
7.766 * * * * [pick]: Picked  #<alt (λ (x y z) (fma (- y x) (* 6.0 z) x))>
7.766 * * * [progress]: localizing error
7.773 * * * [progress]: generating rewritten candidates
7.773 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
7.777 * * * [progress]: generating series expansions
7.777 * * * * [progress]: [ 1 / 1 ] generating series at (2)
7.777 * [approximate]: Taking taylor expansion of (fma (- y x) (* 6.0 z) x) in (y x z) around 0
7.777 * [taylor]: Taking taylor expansion of (fma (- y x) (* 6.0 z) x) in z
7.777 * [taylor]: Rewrote expression to (+ (* (- y x) (* 6.0 z)) x)
7.777 * [taylor]: Taking taylor expansion of (* (- y x) (* 6.0 z)) in z
7.777 * [taylor]: Taking taylor expansion of (- y x) in z
7.777 * [taylor]: Taking taylor expansion of y in z
7.777 * [taylor]: Taking taylor expansion of x in z
7.777 * [taylor]: Taking taylor expansion of (* 6.0 z) in z
7.778 * [taylor]: Taking taylor expansion of 6.0 in z
7.778 * [taylor]: Taking taylor expansion of z in z
7.778 * [taylor]: Taking taylor expansion of x in z
7.778 * [taylor]: Taking taylor expansion of (fma (- y x) (* 6.0 z) x) in x
7.778 * [taylor]: Rewrote expression to (+ (* (- y x) (* 6.0 z)) x)
7.778 * [taylor]: Taking taylor expansion of (* (- y x) (* 6.0 z)) in x
7.778 * [taylor]: Taking taylor expansion of (- y x) in x
7.778 * [taylor]: Taking taylor expansion of y in x
7.778 * [taylor]: Taking taylor expansion of x in x
7.778 * [taylor]: Taking taylor expansion of (* 6.0 z) in x
7.778 * [taylor]: Taking taylor expansion of 6.0 in x
7.778 * [taylor]: Taking taylor expansion of z in x
7.778 * [taylor]: Taking taylor expansion of x in x
7.778 * [taylor]: Taking taylor expansion of (fma (- y x) (* 6.0 z) x) in y
7.778 * [taylor]: Rewrote expression to (+ (* (- y x) (* 6.0 z)) x)
7.778 * [taylor]: Taking taylor expansion of (* (- y x) (* 6.0 z)) in y
7.778 * [taylor]: Taking taylor expansion of (- y x) in y
7.778 * [taylor]: Taking taylor expansion of y in y
7.778 * [taylor]: Taking taylor expansion of x in y
7.778 * [taylor]: Taking taylor expansion of (* 6.0 z) in y
7.778 * [taylor]: Taking taylor expansion of 6.0 in y
7.778 * [taylor]: Taking taylor expansion of z in y
7.778 * [taylor]: Taking taylor expansion of x in y
7.778 * [taylor]: Taking taylor expansion of (fma (- y x) (* 6.0 z) x) in y
7.778 * [taylor]: Rewrote expression to (+ (* (- y x) (* 6.0 z)) x)
7.778 * [taylor]: Taking taylor expansion of (* (- y x) (* 6.0 z)) in y
7.778 * [taylor]: Taking taylor expansion of (- y x) in y
7.778 * [taylor]: Taking taylor expansion of y in y
7.778 * [taylor]: Taking taylor expansion of x in y
7.778 * [taylor]: Taking taylor expansion of (* 6.0 z) in y
7.778 * [taylor]: Taking taylor expansion of 6.0 in y
7.778 * [taylor]: Taking taylor expansion of z in y
7.778 * [taylor]: Taking taylor expansion of x in y
7.778 * [taylor]: Taking taylor expansion of (- x (* 6.0 (* x z))) in x
7.778 * [taylor]: Taking taylor expansion of x in x
7.779 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in x
7.779 * [taylor]: Taking taylor expansion of 6.0 in x
7.779 * [taylor]: Taking taylor expansion of (* x z) in x
7.779 * [taylor]: Taking taylor expansion of x in x
7.779 * [taylor]: Taking taylor expansion of z in x
7.780 * [taylor]: Taking taylor expansion of 0 in z
7.780 * [taylor]: Taking taylor expansion of (* 6.0 z) in x
7.780 * [taylor]: Taking taylor expansion of 6.0 in x
7.780 * [taylor]: Taking taylor expansion of z in x
7.781 * [taylor]: Taking taylor expansion of (* 6.0 z) in z
7.781 * [taylor]: Taking taylor expansion of 6.0 in z
7.781 * [taylor]: Taking taylor expansion of z in z
7.781 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 z)) in z
7.781 * [taylor]: Taking taylor expansion of 1 in z
7.781 * [taylor]: Taking taylor expansion of (* 6.0 z) in z
7.781 * [taylor]: Taking taylor expansion of 6.0 in z
7.781 * [taylor]: Taking taylor expansion of z in z
7.784 * [taylor]: Taking taylor expansion of 0 in x
7.784 * [taylor]: Taking taylor expansion of 0 in z
7.784 * [taylor]: Taking taylor expansion of 0 in z
7.786 * [taylor]: Taking taylor expansion of 0 in z
7.789 * [approximate]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 6.0 z) (/ 1 x)) in (y x z) around 0
7.789 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 6.0 z) (/ 1 x)) in z
7.789 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ 6.0 z)) (/ 1 x))
7.789 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ 6.0 z)) in z
7.789 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z
7.789 * [taylor]: Taking taylor expansion of (/ 1 y) in z
7.789 * [taylor]: Taking taylor expansion of y in z
7.789 * [taylor]: Taking taylor expansion of (/ 1 x) in z
7.789 * [taylor]: Taking taylor expansion of x in z
7.789 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z
7.789 * [taylor]: Taking taylor expansion of 6.0 in z
7.789 * [taylor]: Taking taylor expansion of z in z
7.790 * [taylor]: Taking taylor expansion of (/ 1 x) in z
7.790 * [taylor]: Taking taylor expansion of x in z
7.790 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 6.0 z) (/ 1 x)) in x
7.790 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ 6.0 z)) (/ 1 x))
7.790 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ 6.0 z)) in x
7.790 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
7.790 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.790 * [taylor]: Taking taylor expansion of y in x
7.790 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.790 * [taylor]: Taking taylor expansion of x in x
7.790 * [taylor]: Taking taylor expansion of (/ 6.0 z) in x
7.790 * [taylor]: Taking taylor expansion of 6.0 in x
7.790 * [taylor]: Taking taylor expansion of z in x
7.790 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.790 * [taylor]: Taking taylor expansion of x in x
7.790 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 6.0 z) (/ 1 x)) in y
7.791 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ 6.0 z)) (/ 1 x))
7.791 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ 6.0 z)) in y
7.791 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
7.791 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.791 * [taylor]: Taking taylor expansion of y in y
7.791 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.791 * [taylor]: Taking taylor expansion of x in y
7.791 * [taylor]: Taking taylor expansion of (/ 6.0 z) in y
7.791 * [taylor]: Taking taylor expansion of 6.0 in y
7.791 * [taylor]: Taking taylor expansion of z in y
7.791 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.791 * [taylor]: Taking taylor expansion of x in y
7.791 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 6.0 z) (/ 1 x)) in y
7.791 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ 6.0 z)) (/ 1 x))
7.791 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ 6.0 z)) in y
7.791 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
7.791 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.791 * [taylor]: Taking taylor expansion of y in y
7.792 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.792 * [taylor]: Taking taylor expansion of x in y
7.792 * [taylor]: Taking taylor expansion of (/ 6.0 z) in y
7.792 * [taylor]: Taking taylor expansion of 6.0 in y
7.792 * [taylor]: Taking taylor expansion of z in y
7.792 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.792 * [taylor]: Taking taylor expansion of x in y
7.792 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in x
7.792 * [taylor]: Taking taylor expansion of 6.0 in x
7.792 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.792 * [taylor]: Taking taylor expansion of z in x
7.793 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 6.0 (/ 1 (* x z)))) in x
7.793 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.793 * [taylor]: Taking taylor expansion of x in x
7.794 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
7.794 * [taylor]: Taking taylor expansion of 6.0 in x
7.794 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
7.794 * [taylor]: Taking taylor expansion of (* x z) in x
7.794 * [taylor]: Taking taylor expansion of x in x
7.794 * [taylor]: Taking taylor expansion of z in x
7.794 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 (/ 1 z))) in z
7.794 * [taylor]: Taking taylor expansion of 1 in z
7.794 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
7.794 * [taylor]: Taking taylor expansion of 6.0 in z
7.794 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.794 * [taylor]: Taking taylor expansion of z in z
7.796 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z
7.796 * [taylor]: Taking taylor expansion of 6.0 in z
7.796 * [taylor]: Taking taylor expansion of z in z
7.798 * [taylor]: Taking taylor expansion of 0 in x
7.800 * [taylor]: Taking taylor expansion of 0 in z
7.800 * [taylor]: Taking taylor expansion of 0 in z
7.802 * [approximate]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -6.0 z) (/ -1 x)) in (y x z) around 0
7.802 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -6.0 z) (/ -1 x)) in z
7.803 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ -6.0 z)) (/ -1 x))
7.803 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ -6.0 z)) in z
7.803 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z
7.803 * [taylor]: Taking taylor expansion of (/ 1 x) in z
7.803 * [taylor]: Taking taylor expansion of x in z
7.803 * [taylor]: Taking taylor expansion of (/ 1 y) in z
7.803 * [taylor]: Taking taylor expansion of y in z
7.803 * [taylor]: Taking taylor expansion of (/ -6.0 z) in z
7.803 * [taylor]: Taking taylor expansion of -6.0 in z
7.803 * [taylor]: Taking taylor expansion of z in z
7.803 * [taylor]: Taking taylor expansion of (/ -1 x) in z
7.803 * [taylor]: Taking taylor expansion of -1 in z
7.803 * [taylor]: Taking taylor expansion of x in z
7.803 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -6.0 z) (/ -1 x)) in x
7.803 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ -6.0 z)) (/ -1 x))
7.803 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ -6.0 z)) in x
7.803 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
7.803 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.803 * [taylor]: Taking taylor expansion of x in x
7.804 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.804 * [taylor]: Taking taylor expansion of y in x
7.804 * [taylor]: Taking taylor expansion of (/ -6.0 z) in x
7.804 * [taylor]: Taking taylor expansion of -6.0 in x
7.804 * [taylor]: Taking taylor expansion of z in x
7.804 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.804 * [taylor]: Taking taylor expansion of -1 in x
7.804 * [taylor]: Taking taylor expansion of x in x
7.804 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -6.0 z) (/ -1 x)) in y
7.804 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ -6.0 z)) (/ -1 x))
7.804 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ -6.0 z)) in y
7.804 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
7.804 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.804 * [taylor]: Taking taylor expansion of x in y
7.804 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.804 * [taylor]: Taking taylor expansion of y in y
7.805 * [taylor]: Taking taylor expansion of (/ -6.0 z) in y
7.805 * [taylor]: Taking taylor expansion of -6.0 in y
7.805 * [taylor]: Taking taylor expansion of z in y
7.805 * [taylor]: Taking taylor expansion of (/ -1 x) in y
7.805 * [taylor]: Taking taylor expansion of -1 in y
7.805 * [taylor]: Taking taylor expansion of x in y
7.805 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -6.0 z) (/ -1 x)) in y
7.805 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ -6.0 z)) (/ -1 x))
7.805 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ -6.0 z)) in y
7.805 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
7.805 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.805 * [taylor]: Taking taylor expansion of x in y
7.805 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.805 * [taylor]: Taking taylor expansion of y in y
7.805 * [taylor]: Taking taylor expansion of (/ -6.0 z) in y
7.805 * [taylor]: Taking taylor expansion of -6.0 in y
7.805 * [taylor]: Taking taylor expansion of z in y
7.805 * [taylor]: Taking taylor expansion of (/ -1 x) in y
7.805 * [taylor]: Taking taylor expansion of -1 in y
7.805 * [taylor]: Taking taylor expansion of x in y
7.806 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in x
7.806 * [taylor]: Taking taylor expansion of 6.0 in x
7.806 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.806 * [taylor]: Taking taylor expansion of z in x
7.807 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in x
7.807 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in x
7.807 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
7.807 * [taylor]: Taking taylor expansion of 6.0 in x
7.807 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
7.807 * [taylor]: Taking taylor expansion of (* x z) in x
7.807 * [taylor]: Taking taylor expansion of x in x
7.807 * [taylor]: Taking taylor expansion of z in x
7.808 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.808 * [taylor]: Taking taylor expansion of x in x
7.808 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 z)) 1)) in z
7.808 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 1) in z
7.808 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
7.808 * [taylor]: Taking taylor expansion of 6.0 in z
7.808 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.808 * [taylor]: Taking taylor expansion of z in z
7.808 * [taylor]: Taking taylor expansion of 1 in z
7.810 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z
7.810 * [taylor]: Taking taylor expansion of 6.0 in z
7.810 * [taylor]: Taking taylor expansion of z in z
7.812 * [taylor]: Taking taylor expansion of 0 in x
7.813 * [taylor]: Taking taylor expansion of 0 in z
7.814 * [taylor]: Taking taylor expansion of 0 in z
7.816 * * * [progress]: simplifying candidates
7.816 * [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)))
7.817 * * [simplify]: iteration  0 :  23  enodes  (cost  154 )
7.820 * * [simplify]: iteration  1 :  44  enodes  (cost  151 )
7.827 * * [simplify]: iteration  2 :  107  enodes  (cost  135 )
7.853 * * [simplify]: iteration  3 :  297  enodes  (cost  123 )
7.974 * * [simplify]: iteration  4 :  1295  enodes  (cost  123 )
8.778 * * [simplify]: iteration  done :  5000  enodes  (cost  123 )
8.778 * [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)
8.778 * * * [progress]: adding candidates to table
8.808 * * [progress]: iteration 2 / 4
8.808 * * * [progress]: picking best candidate
8.816 * * * * [pick]: Picked  #<alt (λ (x y z) (fma (* (- y x) 6.0) z x))>
8.816 * * * [progress]: localizing error
8.822 * * * [progress]: generating rewritten candidates
8.822 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
8.822 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
8.833 * * * [progress]: generating series expansions
8.833 * * * * [progress]: [ 1 / 2 ] generating series at (2)
8.833 * [approximate]: Taking taylor expansion of (fma (* 6.0 (- y x)) z x) in (y x z) around 0
8.833 * [taylor]: Taking taylor expansion of (fma (* 6.0 (- y x)) z x) in z
8.833 * [taylor]: Rewrote expression to (+ (* (* 6.0 (- y x)) z) x)
8.833 * [taylor]: Taking taylor expansion of (* (* 6.0 (- y x)) z) in z
8.833 * [taylor]: Taking taylor expansion of (* 6.0 (- y x)) in z
8.833 * [taylor]: Taking taylor expansion of 6.0 in z
8.833 * [taylor]: Taking taylor expansion of (- y x) in z
8.833 * [taylor]: Taking taylor expansion of y in z
8.833 * [taylor]: Taking taylor expansion of x in z
8.834 * [taylor]: Taking taylor expansion of z in z
8.834 * [taylor]: Taking taylor expansion of x in z
8.834 * [taylor]: Taking taylor expansion of (fma (* 6.0 (- y x)) z x) in x
8.834 * [taylor]: Rewrote expression to (+ (* (* 6.0 (- y x)) z) x)
8.834 * [taylor]: Taking taylor expansion of (* (* 6.0 (- y x)) z) in x
8.834 * [taylor]: Taking taylor expansion of (* 6.0 (- y x)) in x
8.834 * [taylor]: Taking taylor expansion of 6.0 in x
8.834 * [taylor]: Taking taylor expansion of (- y x) in x
8.834 * [taylor]: Taking taylor expansion of y in x
8.834 * [taylor]: Taking taylor expansion of x in x
8.834 * [taylor]: Taking taylor expansion of z in x
8.834 * [taylor]: Taking taylor expansion of x in x
8.834 * [taylor]: Taking taylor expansion of (fma (* 6.0 (- y x)) z x) in y
8.834 * [taylor]: Rewrote expression to (+ (* (* 6.0 (- y x)) z) x)
8.834 * [taylor]: Taking taylor expansion of (* (* 6.0 (- y x)) z) in y
8.834 * [taylor]: Taking taylor expansion of (* 6.0 (- y x)) in y
8.834 * [taylor]: Taking taylor expansion of 6.0 in y
8.834 * [taylor]: Taking taylor expansion of (- y x) in y
8.834 * [taylor]: Taking taylor expansion of y in y
8.834 * [taylor]: Taking taylor expansion of x in y
8.834 * [taylor]: Taking taylor expansion of z in y
8.834 * [taylor]: Taking taylor expansion of x in y
8.834 * [taylor]: Taking taylor expansion of (fma (* 6.0 (- y x)) z x) in y
8.834 * [taylor]: Rewrote expression to (+ (* (* 6.0 (- y x)) z) x)
8.834 * [taylor]: Taking taylor expansion of (* (* 6.0 (- y x)) z) in y
8.834 * [taylor]: Taking taylor expansion of (* 6.0 (- y x)) in y
8.834 * [taylor]: Taking taylor expansion of 6.0 in y
8.834 * [taylor]: Taking taylor expansion of (- y x) in y
8.834 * [taylor]: Taking taylor expansion of y in y
8.834 * [taylor]: Taking taylor expansion of x in y
8.834 * [taylor]: Taking taylor expansion of z in y
8.834 * [taylor]: Taking taylor expansion of x in y
8.834 * [taylor]: Taking taylor expansion of (- x (* 6.0 (* x z))) in x
8.834 * [taylor]: Taking taylor expansion of x in x
8.834 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in x
8.835 * [taylor]: Taking taylor expansion of 6.0 in x
8.835 * [taylor]: Taking taylor expansion of (* x z) in x
8.835 * [taylor]: Taking taylor expansion of x in x
8.835 * [taylor]: Taking taylor expansion of z in x
8.836 * [taylor]: Taking taylor expansion of 0 in z
8.837 * [taylor]: Taking taylor expansion of (* 6.0 z) in x
8.837 * [taylor]: Taking taylor expansion of 6.0 in x
8.837 * [taylor]: Taking taylor expansion of z in x
8.837 * [taylor]: Taking taylor expansion of (* 6.0 z) in z
8.837 * [taylor]: Taking taylor expansion of 6.0 in z
8.837 * [taylor]: Taking taylor expansion of z in z
8.838 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 z)) in z
8.838 * [taylor]: Taking taylor expansion of 1 in z
8.838 * [taylor]: Taking taylor expansion of (* 6.0 z) in z
8.838 * [taylor]: Taking taylor expansion of 6.0 in z
8.838 * [taylor]: Taking taylor expansion of z in z
8.840 * [taylor]: Taking taylor expansion of 0 in x
8.841 * [taylor]: Taking taylor expansion of 0 in z
8.841 * [taylor]: Taking taylor expansion of 0 in z
8.842 * [taylor]: Taking taylor expansion of 0 in z
8.846 * [approximate]: Taking taylor expansion of (fma (* 6.0 (- (/ 1 y) (/ 1 x))) (/ 1 z) (/ 1 x)) in (y x z) around 0
8.846 * [taylor]: Taking taylor expansion of (fma (* 6.0 (- (/ 1 y) (/ 1 x))) (/ 1 z) (/ 1 x)) in z
8.846 * [taylor]: Rewrote expression to (+ (* (* 6.0 (- (/ 1 y) (/ 1 x))) (/ 1 z)) (/ 1 x))
8.846 * [taylor]: Taking taylor expansion of (* (* 6.0 (- (/ 1 y) (/ 1 x))) (/ 1 z)) in z
8.846 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in z
8.846 * [taylor]: Taking taylor expansion of 6.0 in z
8.846 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z
8.846 * [taylor]: Taking taylor expansion of (/ 1 y) in z
8.846 * [taylor]: Taking taylor expansion of y in z
8.846 * [taylor]: Taking taylor expansion of (/ 1 x) in z
8.846 * [taylor]: Taking taylor expansion of x in z
8.846 * [taylor]: Taking taylor expansion of (/ 1 z) in z
8.846 * [taylor]: Taking taylor expansion of z in z
8.846 * [taylor]: Taking taylor expansion of (/ 1 x) in z
8.846 * [taylor]: Taking taylor expansion of x in z
8.846 * [taylor]: Taking taylor expansion of (fma (* 6.0 (- (/ 1 y) (/ 1 x))) (/ 1 z) (/ 1 x)) in x
8.846 * [taylor]: Rewrote expression to (+ (* (* 6.0 (- (/ 1 y) (/ 1 x))) (/ 1 z)) (/ 1 x))
8.847 * [taylor]: Taking taylor expansion of (* (* 6.0 (- (/ 1 y) (/ 1 x))) (/ 1 z)) in x
8.847 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in x
8.847 * [taylor]: Taking taylor expansion of 6.0 in x
8.847 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
8.847 * [taylor]: Taking taylor expansion of (/ 1 y) in x
8.847 * [taylor]: Taking taylor expansion of y in x
8.847 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.847 * [taylor]: Taking taylor expansion of x in x
8.847 * [taylor]: Taking taylor expansion of (/ 1 z) in x
8.847 * [taylor]: Taking taylor expansion of z in x
8.847 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.847 * [taylor]: Taking taylor expansion of x in x
8.847 * [taylor]: Taking taylor expansion of (fma (* 6.0 (- (/ 1 y) (/ 1 x))) (/ 1 z) (/ 1 x)) in y
8.847 * [taylor]: Rewrote expression to (+ (* (* 6.0 (- (/ 1 y) (/ 1 x))) (/ 1 z)) (/ 1 x))
8.847 * [taylor]: Taking taylor expansion of (* (* 6.0 (- (/ 1 y) (/ 1 x))) (/ 1 z)) in y
8.847 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in y
8.847 * [taylor]: Taking taylor expansion of 6.0 in y
8.847 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
8.848 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.848 * [taylor]: Taking taylor expansion of y in y
8.848 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.848 * [taylor]: Taking taylor expansion of x in y
8.848 * [taylor]: Taking taylor expansion of (/ 1 z) in y
8.848 * [taylor]: Taking taylor expansion of z in y
8.848 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.848 * [taylor]: Taking taylor expansion of x in y
8.848 * [taylor]: Taking taylor expansion of (fma (* 6.0 (- (/ 1 y) (/ 1 x))) (/ 1 z) (/ 1 x)) in y
8.848 * [taylor]: Rewrote expression to (+ (* (* 6.0 (- (/ 1 y) (/ 1 x))) (/ 1 z)) (/ 1 x))
8.848 * [taylor]: Taking taylor expansion of (* (* 6.0 (- (/ 1 y) (/ 1 x))) (/ 1 z)) in y
8.848 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in y
8.848 * [taylor]: Taking taylor expansion of 6.0 in y
8.848 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
8.848 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.848 * [taylor]: Taking taylor expansion of y in y
8.848 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.848 * [taylor]: Taking taylor expansion of x in y
8.848 * [taylor]: Taking taylor expansion of (/ 1 z) in y
8.849 * [taylor]: Taking taylor expansion of z in y
8.849 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.849 * [taylor]: Taking taylor expansion of x in y
8.849 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in x
8.849 * [taylor]: Taking taylor expansion of 6.0 in x
8.849 * [taylor]: Taking taylor expansion of (/ 1 z) in x
8.849 * [taylor]: Taking taylor expansion of z in x
8.851 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 6.0 (/ 1 (* x z)))) in x
8.851 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.851 * [taylor]: Taking taylor expansion of x in x
8.851 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
8.851 * [taylor]: Taking taylor expansion of 6.0 in x
8.851 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
8.851 * [taylor]: Taking taylor expansion of (* x z) in x
8.851 * [taylor]: Taking taylor expansion of x in x
8.851 * [taylor]: Taking taylor expansion of z in x
8.851 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 (/ 1 z))) in z
8.851 * [taylor]: Taking taylor expansion of 1 in z
8.851 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
8.851 * [taylor]: Taking taylor expansion of 6.0 in z
8.851 * [taylor]: Taking taylor expansion of (/ 1 z) in z
8.852 * [taylor]: Taking taylor expansion of z in z
8.853 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z
8.853 * [taylor]: Taking taylor expansion of 6.0 in z
8.853 * [taylor]: Taking taylor expansion of z in z
8.856 * [taylor]: Taking taylor expansion of 0 in x
8.857 * [taylor]: Taking taylor expansion of 0 in z
8.858 * [taylor]: Taking taylor expansion of 0 in z
8.860 * [approximate]: Taking taylor expansion of (fma (* 6.0 (- (/ 1 x) (/ 1 y))) (/ -1 z) (/ -1 x)) in (y x z) around 0
8.860 * [taylor]: Taking taylor expansion of (fma (* 6.0 (- (/ 1 x) (/ 1 y))) (/ -1 z) (/ -1 x)) in z
8.860 * [taylor]: Rewrote expression to (+ (* (* 6.0 (- (/ 1 x) (/ 1 y))) (/ -1 z)) (/ -1 x))
8.860 * [taylor]: Taking taylor expansion of (* (* 6.0 (- (/ 1 x) (/ 1 y))) (/ -1 z)) in z
8.860 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in z
8.860 * [taylor]: Taking taylor expansion of 6.0 in z
8.860 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z
8.860 * [taylor]: Taking taylor expansion of (/ 1 x) in z
8.860 * [taylor]: Taking taylor expansion of x in z
8.860 * [taylor]: Taking taylor expansion of (/ 1 y) in z
8.860 * [taylor]: Taking taylor expansion of y in z
8.860 * [taylor]: Taking taylor expansion of (/ -1 z) in z
8.860 * [taylor]: Taking taylor expansion of -1 in z
8.860 * [taylor]: Taking taylor expansion of z in z
8.860 * [taylor]: Taking taylor expansion of (/ -1 x) in z
8.860 * [taylor]: Taking taylor expansion of -1 in z
8.860 * [taylor]: Taking taylor expansion of x in z
8.860 * [taylor]: Taking taylor expansion of (fma (* 6.0 (- (/ 1 x) (/ 1 y))) (/ -1 z) (/ -1 x)) in x
8.861 * [taylor]: Rewrote expression to (+ (* (* 6.0 (- (/ 1 x) (/ 1 y))) (/ -1 z)) (/ -1 x))
8.861 * [taylor]: Taking taylor expansion of (* (* 6.0 (- (/ 1 x) (/ 1 y))) (/ -1 z)) in x
8.861 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in x
8.861 * [taylor]: Taking taylor expansion of 6.0 in x
8.861 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
8.861 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.861 * [taylor]: Taking taylor expansion of x in x
8.861 * [taylor]: Taking taylor expansion of (/ 1 y) in x
8.861 * [taylor]: Taking taylor expansion of y in x
8.861 * [taylor]: Taking taylor expansion of (/ -1 z) in x
8.861 * [taylor]: Taking taylor expansion of -1 in x
8.861 * [taylor]: Taking taylor expansion of z in x
8.861 * [taylor]: Taking taylor expansion of (/ -1 x) in x
8.861 * [taylor]: Taking taylor expansion of -1 in x
8.861 * [taylor]: Taking taylor expansion of x in x
8.861 * [taylor]: Taking taylor expansion of (fma (* 6.0 (- (/ 1 x) (/ 1 y))) (/ -1 z) (/ -1 x)) in y
8.862 * [taylor]: Rewrote expression to (+ (* (* 6.0 (- (/ 1 x) (/ 1 y))) (/ -1 z)) (/ -1 x))
8.862 * [taylor]: Taking taylor expansion of (* (* 6.0 (- (/ 1 x) (/ 1 y))) (/ -1 z)) in y
8.862 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in y
8.862 * [taylor]: Taking taylor expansion of 6.0 in y
8.862 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
8.862 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.862 * [taylor]: Taking taylor expansion of x in y
8.862 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.862 * [taylor]: Taking taylor expansion of y in y
8.862 * [taylor]: Taking taylor expansion of (/ -1 z) in y
8.862 * [taylor]: Taking taylor expansion of -1 in y
8.862 * [taylor]: Taking taylor expansion of z in y
8.862 * [taylor]: Taking taylor expansion of (/ -1 x) in y
8.862 * [taylor]: Taking taylor expansion of -1 in y
8.862 * [taylor]: Taking taylor expansion of x in y
8.862 * [taylor]: Taking taylor expansion of (fma (* 6.0 (- (/ 1 x) (/ 1 y))) (/ -1 z) (/ -1 x)) in y
8.862 * [taylor]: Rewrote expression to (+ (* (* 6.0 (- (/ 1 x) (/ 1 y))) (/ -1 z)) (/ -1 x))
8.862 * [taylor]: Taking taylor expansion of (* (* 6.0 (- (/ 1 x) (/ 1 y))) (/ -1 z)) in y
8.862 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in y
8.862 * [taylor]: Taking taylor expansion of 6.0 in y
8.862 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
8.862 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.862 * [taylor]: Taking taylor expansion of x in y
8.862 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.862 * [taylor]: Taking taylor expansion of y in y
8.863 * [taylor]: Taking taylor expansion of (/ -1 z) in y
8.863 * [taylor]: Taking taylor expansion of -1 in y
8.863 * [taylor]: Taking taylor expansion of z in y
8.863 * [taylor]: Taking taylor expansion of (/ -1 x) in y
8.863 * [taylor]: Taking taylor expansion of -1 in y
8.863 * [taylor]: Taking taylor expansion of x in y
8.864 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in x
8.864 * [taylor]: Taking taylor expansion of 6.0 in x
8.864 * [taylor]: Taking taylor expansion of (/ 1 z) in x
8.864 * [taylor]: Taking taylor expansion of z in x
8.865 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in x
8.865 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in x
8.865 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
8.865 * [taylor]: Taking taylor expansion of 6.0 in x
8.865 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
8.865 * [taylor]: Taking taylor expansion of (* x z) in x
8.865 * [taylor]: Taking taylor expansion of x in x
8.865 * [taylor]: Taking taylor expansion of z in x
8.866 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.866 * [taylor]: Taking taylor expansion of x in x
8.866 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 z)) 1)) in z
8.866 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 1) in z
8.866 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
8.866 * [taylor]: Taking taylor expansion of 6.0 in z
8.866 * [taylor]: Taking taylor expansion of (/ 1 z) in z
8.866 * [taylor]: Taking taylor expansion of z in z
8.866 * [taylor]: Taking taylor expansion of 1 in z
8.867 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z
8.867 * [taylor]: Taking taylor expansion of 6.0 in z
8.867 * [taylor]: Taking taylor expansion of z in z
8.870 * [taylor]: Taking taylor expansion of 0 in x
8.872 * [taylor]: Taking taylor expansion of 0 in z
8.872 * [taylor]: Taking taylor expansion of 0 in z
8.874 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
8.874 * [approximate]: Taking taylor expansion of (* 6.0 (- y x)) in (y x) around 0
8.874 * [taylor]: Taking taylor expansion of (* 6.0 (- y x)) in x
8.874 * [taylor]: Taking taylor expansion of 6.0 in x
8.874 * [taylor]: Taking taylor expansion of (- y x) in x
8.874 * [taylor]: Taking taylor expansion of y in x
8.874 * [taylor]: Taking taylor expansion of x in x
8.874 * [taylor]: Taking taylor expansion of (* 6.0 (- y x)) in y
8.874 * [taylor]: Taking taylor expansion of 6.0 in y
8.874 * [taylor]: Taking taylor expansion of (- y x) in y
8.874 * [taylor]: Taking taylor expansion of y in y
8.874 * [taylor]: Taking taylor expansion of x in y
8.877 * [taylor]: Taking taylor expansion of (* 6.0 (- y x)) in y
8.877 * [taylor]: Taking taylor expansion of 6.0 in y
8.877 * [taylor]: Taking taylor expansion of (- y x) in y
8.877 * [taylor]: Taking taylor expansion of y in y
8.877 * [taylor]: Taking taylor expansion of x in y
8.877 * [taylor]: Taking taylor expansion of (* -6.0 x) in x
8.877 * [taylor]: Taking taylor expansion of -6.0 in x
8.877 * [taylor]: Taking taylor expansion of x in x
8.878 * [taylor]: Taking taylor expansion of 6.0 in x
8.880 * [taylor]: Taking taylor expansion of 0 in x
8.882 * [taylor]: Taking taylor expansion of 0 in x
8.883 * [approximate]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in (y x) around 0
8.883 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in x
8.883 * [taylor]: Taking taylor expansion of 6.0 in x
8.883 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
8.883 * [taylor]: Taking taylor expansion of (/ 1 y) in x
8.883 * [taylor]: Taking taylor expansion of y in x
8.883 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.883 * [taylor]: Taking taylor expansion of x in x
8.883 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in y
8.883 * [taylor]: Taking taylor expansion of 6.0 in y
8.883 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
8.883 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.883 * [taylor]: Taking taylor expansion of y in y
8.884 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.884 * [taylor]: Taking taylor expansion of x in y
8.884 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in y
8.884 * [taylor]: Taking taylor expansion of 6.0 in y
8.884 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
8.884 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.884 * [taylor]: Taking taylor expansion of y in y
8.884 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.884 * [taylor]: Taking taylor expansion of x in y
8.885 * [taylor]: Taking taylor expansion of 6.0 in x
8.886 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 x))) in x
8.886 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 x)) in x
8.886 * [taylor]: Taking taylor expansion of 6.0 in x
8.886 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.886 * [taylor]: Taking taylor expansion of x in x
8.888 * [taylor]: Taking taylor expansion of 0 in x
8.891 * [taylor]: Taking taylor expansion of 0 in x
8.895 * [taylor]: Taking taylor expansion of 0 in x
8.895 * [approximate]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in (y x) around 0
8.895 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in x
8.895 * [taylor]: Taking taylor expansion of 6.0 in x
8.895 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
8.895 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.895 * [taylor]: Taking taylor expansion of x in x
8.896 * [taylor]: Taking taylor expansion of (/ 1 y) in x
8.896 * [taylor]: Taking taylor expansion of y in x
8.896 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in y
8.896 * [taylor]: Taking taylor expansion of 6.0 in y
8.896 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
8.896 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.896 * [taylor]: Taking taylor expansion of x in y
8.896 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.896 * [taylor]: Taking taylor expansion of y in y
8.896 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in y
8.896 * [taylor]: Taking taylor expansion of 6.0 in y
8.896 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
8.896 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.896 * [taylor]: Taking taylor expansion of x in y
8.896 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.896 * [taylor]: Taking taylor expansion of y in y
8.897 * [taylor]: Taking taylor expansion of -6.0 in x
8.898 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 x)) in x
8.898 * [taylor]: Taking taylor expansion of 6.0 in x
8.898 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.898 * [taylor]: Taking taylor expansion of x in x
8.900 * [taylor]: Taking taylor expansion of 0 in x
8.903 * [taylor]: Taking taylor expansion of 0 in x
8.906 * [taylor]: Taking taylor expansion of 0 in x
8.906 * * * [progress]: simplifying candidates
8.907 * [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))
8.909 * * [simplify]: iteration  0 :  68  enodes  (cost  357 )
8.919 * * [simplify]: iteration  1 :  144  enodes  (cost  345 )
8.951 * * [simplify]: iteration  2 :  440  enodes  (cost  297 )
9.214 * * [simplify]: iteration  3 :  1610  enodes  (cost  297 )
10.714 * * [simplify]: iteration  done :  5000  enodes  (cost  297 )
10.714 * [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)
10.715 * * * [progress]: adding candidates to table
10.792 * * [progress]: iteration 3 / 4
10.792 * * * [progress]: picking best candidate
10.798 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (* (* (- y x) z) 6.0) x))>
10.798 * * * [progress]: localizing error
10.804 * * * [progress]: generating rewritten candidates
10.804 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
10.820 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1)
10.832 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
10.847 * * * [progress]: generating series expansions
10.847 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
10.847 * [approximate]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in (y x z) around 0
10.847 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in z
10.847 * [taylor]: Taking taylor expansion of 6.0 in z
10.847 * [taylor]: Taking taylor expansion of (* (- y x) z) in z
10.847 * [taylor]: Taking taylor expansion of (- y x) in z
10.848 * [taylor]: Taking taylor expansion of y in z
10.848 * [taylor]: Taking taylor expansion of x in z
10.848 * [taylor]: Taking taylor expansion of z in z
10.848 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in x
10.848 * [taylor]: Taking taylor expansion of 6.0 in x
10.848 * [taylor]: Taking taylor expansion of (* (- y x) z) in x
10.848 * [taylor]: Taking taylor expansion of (- y x) in x
10.848 * [taylor]: Taking taylor expansion of y in x
10.848 * [taylor]: Taking taylor expansion of x in x
10.848 * [taylor]: Taking taylor expansion of z in x
10.848 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in y
10.848 * [taylor]: Taking taylor expansion of 6.0 in y
10.848 * [taylor]: Taking taylor expansion of (* (- y x) z) in y
10.848 * [taylor]: Taking taylor expansion of (- y x) in y
10.848 * [taylor]: Taking taylor expansion of y in y
10.848 * [taylor]: Taking taylor expansion of x in y
10.848 * [taylor]: Taking taylor expansion of z in y
10.848 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in y
10.848 * [taylor]: Taking taylor expansion of 6.0 in y
10.848 * [taylor]: Taking taylor expansion of (* (- y x) z) in y
10.848 * [taylor]: Taking taylor expansion of (- y x) in y
10.848 * [taylor]: Taking taylor expansion of y in y
10.848 * [taylor]: Taking taylor expansion of x in y
10.848 * [taylor]: Taking taylor expansion of z in y
10.848 * [taylor]: Taking taylor expansion of (* -6.0 (* x z)) in x
10.848 * [taylor]: Taking taylor expansion of -6.0 in x
10.848 * [taylor]: Taking taylor expansion of (* x z) in x
10.848 * [taylor]: Taking taylor expansion of x in x
10.848 * [taylor]: Taking taylor expansion of z in x
10.849 * [taylor]: Taking taylor expansion of 0 in z
10.849 * [taylor]: Taking taylor expansion of (* 6.0 z) in x
10.849 * [taylor]: Taking taylor expansion of 6.0 in x
10.849 * [taylor]: Taking taylor expansion of z in x
10.849 * [taylor]: Taking taylor expansion of (* 6.0 z) in z
10.849 * [taylor]: Taking taylor expansion of 6.0 in z
10.849 * [taylor]: Taking taylor expansion of z in z
10.850 * [taylor]: Taking taylor expansion of (- (* 6.0 z)) in z
10.850 * [taylor]: Taking taylor expansion of (* 6.0 z) in z
10.850 * [taylor]: Taking taylor expansion of 6.0 in z
10.850 * [taylor]: Taking taylor expansion of z in z
10.852 * [taylor]: Taking taylor expansion of 0 in x
10.852 * [taylor]: Taking taylor expansion of 0 in z
10.852 * [taylor]: Taking taylor expansion of 0 in z
10.852 * [approximate]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in (y x z) around 0
10.852 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in z
10.852 * [taylor]: Taking taylor expansion of 6.0 in z
10.852 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in z
10.852 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z
10.852 * [taylor]: Taking taylor expansion of (/ 1 y) in z
10.852 * [taylor]: Taking taylor expansion of y in z
10.853 * [taylor]: Taking taylor expansion of (/ 1 x) in z
10.853 * [taylor]: Taking taylor expansion of x in z
10.853 * [taylor]: Taking taylor expansion of z in z
10.853 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in x
10.853 * [taylor]: Taking taylor expansion of 6.0 in x
10.853 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in x
10.853 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
10.853 * [taylor]: Taking taylor expansion of (/ 1 y) in x
10.853 * [taylor]: Taking taylor expansion of y in x
10.853 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.853 * [taylor]: Taking taylor expansion of x in x
10.853 * [taylor]: Taking taylor expansion of z in x
10.854 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in y
10.854 * [taylor]: Taking taylor expansion of 6.0 in y
10.854 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y
10.854 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
10.854 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.854 * [taylor]: Taking taylor expansion of y in y
10.854 * [taylor]: Taking taylor expansion of (/ 1 x) in y
10.854 * [taylor]: Taking taylor expansion of x in y
10.854 * [taylor]: Taking taylor expansion of z in y
10.854 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in y
10.854 * [taylor]: Taking taylor expansion of 6.0 in y
10.854 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y
10.854 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
10.854 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.854 * [taylor]: Taking taylor expansion of y in y
10.855 * [taylor]: Taking taylor expansion of (/ 1 x) in y
10.855 * [taylor]: Taking taylor expansion of x in y
10.855 * [taylor]: Taking taylor expansion of z in y
10.855 * [taylor]: Taking taylor expansion of (/ 6.0 z) in x
10.855 * [taylor]: Taking taylor expansion of 6.0 in x
10.855 * [taylor]: Taking taylor expansion of z in x
10.856 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* x z)))) in x
10.856 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
10.856 * [taylor]: Taking taylor expansion of 6.0 in x
10.856 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
10.856 * [taylor]: Taking taylor expansion of (* x z) in x
10.856 * [taylor]: Taking taylor expansion of x in x
10.856 * [taylor]: Taking taylor expansion of z in x
10.856 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 z))) in z
10.856 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
10.856 * [taylor]: Taking taylor expansion of 6.0 in z
10.856 * [taylor]: Taking taylor expansion of (/ 1 z) in z
10.856 * [taylor]: Taking taylor expansion of z in z
10.857 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z
10.858 * [taylor]: Taking taylor expansion of 6.0 in z
10.858 * [taylor]: Taking taylor expansion of z in z
10.859 * [taylor]: Taking taylor expansion of 0 in x
10.860 * [taylor]: Taking taylor expansion of 0 in z
10.861 * [taylor]: Taking taylor expansion of 0 in z
10.864 * [taylor]: Taking taylor expansion of 0 in x
10.864 * [taylor]: Taking taylor expansion of 0 in z
10.866 * [taylor]: Taking taylor expansion of 0 in z
10.866 * [taylor]: Taking taylor expansion of 0 in z
10.869 * [approximate]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in (y x z) around 0
10.869 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in z
10.869 * [taylor]: Taking taylor expansion of -6.0 in z
10.869 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in z
10.869 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z
10.869 * [taylor]: Taking taylor expansion of (/ 1 x) in z
10.869 * [taylor]: Taking taylor expansion of x in z
10.869 * [taylor]: Taking taylor expansion of (/ 1 y) in z
10.869 * [taylor]: Taking taylor expansion of y in z
10.869 * [taylor]: Taking taylor expansion of z in z
10.869 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in x
10.869 * [taylor]: Taking taylor expansion of -6.0 in x
10.869 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in x
10.869 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
10.869 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.869 * [taylor]: Taking taylor expansion of x in x
10.870 * [taylor]: Taking taylor expansion of (/ 1 y) in x
10.870 * [taylor]: Taking taylor expansion of y in x
10.870 * [taylor]: Taking taylor expansion of z in x
10.870 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in y
10.870 * [taylor]: Taking taylor expansion of -6.0 in y
10.870 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y
10.870 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
10.870 * [taylor]: Taking taylor expansion of (/ 1 x) in y
10.870 * [taylor]: Taking taylor expansion of x in y
10.870 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.870 * [taylor]: Taking taylor expansion of y in y
10.870 * [taylor]: Taking taylor expansion of z in y
10.871 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in y
10.871 * [taylor]: Taking taylor expansion of -6.0 in y
10.871 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y
10.871 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
10.871 * [taylor]: Taking taylor expansion of (/ 1 x) in y
10.871 * [taylor]: Taking taylor expansion of x in y
10.871 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.871 * [taylor]: Taking taylor expansion of y in y
10.871 * [taylor]: Taking taylor expansion of z in y
10.872 * [taylor]: Taking taylor expansion of (/ 6.0 z) in x
10.872 * [taylor]: Taking taylor expansion of 6.0 in x
10.872 * [taylor]: Taking taylor expansion of z in x
10.873 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* x z)))) in x
10.873 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
10.873 * [taylor]: Taking taylor expansion of 6.0 in x
10.873 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
10.873 * [taylor]: Taking taylor expansion of (* x z) in x
10.873 * [taylor]: Taking taylor expansion of x in x
10.873 * [taylor]: Taking taylor expansion of z in x
10.874 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 z))) in z
10.874 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
10.874 * [taylor]: Taking taylor expansion of 6.0 in z
10.874 * [taylor]: Taking taylor expansion of (/ 1 z) in z
10.874 * [taylor]: Taking taylor expansion of z in z
10.875 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z
10.875 * [taylor]: Taking taylor expansion of 6.0 in z
10.875 * [taylor]: Taking taylor expansion of z in z
10.877 * [taylor]: Taking taylor expansion of 0 in x
10.878 * [taylor]: Taking taylor expansion of 0 in z
10.878 * [taylor]: Taking taylor expansion of 0 in z
10.881 * [taylor]: Taking taylor expansion of 0 in x
10.881 * [taylor]: Taking taylor expansion of 0 in z
10.883 * [taylor]: Taking taylor expansion of 0 in z
10.883 * [taylor]: Taking taylor expansion of 0 in z
10.885 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1)
10.885 * [approximate]: Taking taylor expansion of (* (- y x) z) in (y x z) around 0
10.885 * [taylor]: Taking taylor expansion of (* (- y x) z) in z
10.885 * [taylor]: Taking taylor expansion of (- y x) in z
10.885 * [taylor]: Taking taylor expansion of y in z
10.885 * [taylor]: Taking taylor expansion of x in z
10.885 * [taylor]: Taking taylor expansion of z in z
10.885 * [taylor]: Taking taylor expansion of (* (- y x) z) in x
10.885 * [taylor]: Taking taylor expansion of (- y x) in x
10.885 * [taylor]: Taking taylor expansion of y in x
10.885 * [taylor]: Taking taylor expansion of x in x
10.885 * [taylor]: Taking taylor expansion of z in x
10.885 * [taylor]: Taking taylor expansion of (* (- y x) z) in y
10.885 * [taylor]: Taking taylor expansion of (- y x) in y
10.885 * [taylor]: Taking taylor expansion of y in y
10.886 * [taylor]: Taking taylor expansion of x in y
10.886 * [taylor]: Taking taylor expansion of z in y
10.886 * [taylor]: Taking taylor expansion of (* (- y x) z) in y
10.886 * [taylor]: Taking taylor expansion of (- y x) in y
10.886 * [taylor]: Taking taylor expansion of y in y
10.886 * [taylor]: Taking taylor expansion of x in y
10.886 * [taylor]: Taking taylor expansion of z in y
10.886 * [taylor]: Taking taylor expansion of (* -1 (* x z)) in x
10.886 * [taylor]: Taking taylor expansion of -1 in x
10.886 * [taylor]: Taking taylor expansion of (* x z) in x
10.886 * [taylor]: Taking taylor expansion of x in x
10.886 * [taylor]: Taking taylor expansion of z in x
10.886 * [taylor]: Taking taylor expansion of 0 in z
10.887 * [taylor]: Taking taylor expansion of z in x
10.887 * [taylor]: Taking taylor expansion of z in z
10.887 * [taylor]: Taking taylor expansion of (- z) in z
10.887 * [taylor]: Taking taylor expansion of z in z
10.888 * [taylor]: Taking taylor expansion of 0 in x
10.888 * [taylor]: Taking taylor expansion of 0 in z
10.888 * [taylor]: Taking taylor expansion of 0 in z
10.888 * [approximate]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in (y x z) around 0
10.888 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in z
10.888 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z
10.888 * [taylor]: Taking taylor expansion of (/ 1 y) in z
10.889 * [taylor]: Taking taylor expansion of y in z
10.889 * [taylor]: Taking taylor expansion of (/ 1 x) in z
10.889 * [taylor]: Taking taylor expansion of x in z
10.889 * [taylor]: Taking taylor expansion of z in z
10.889 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in x
10.889 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
10.889 * [taylor]: Taking taylor expansion of (/ 1 y) in x
10.889 * [taylor]: Taking taylor expansion of y in x
10.889 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.889 * [taylor]: Taking taylor expansion of x in x
10.889 * [taylor]: Taking taylor expansion of z in x
10.890 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y
10.890 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
10.890 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.890 * [taylor]: Taking taylor expansion of y in y
10.890 * [taylor]: Taking taylor expansion of (/ 1 x) in y
10.890 * [taylor]: Taking taylor expansion of x in y
10.890 * [taylor]: Taking taylor expansion of z in y
10.890 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y
10.890 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
10.890 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.890 * [taylor]: Taking taylor expansion of y in y
10.891 * [taylor]: Taking taylor expansion of (/ 1 x) in y
10.891 * [taylor]: Taking taylor expansion of x in y
10.891 * [taylor]: Taking taylor expansion of z in y
10.891 * [taylor]: Taking taylor expansion of (/ 1 z) in x
10.891 * [taylor]: Taking taylor expansion of z in x
10.892 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z))) in x
10.892 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
10.892 * [taylor]: Taking taylor expansion of (* x z) in x
10.892 * [taylor]: Taking taylor expansion of x in x
10.892 * [taylor]: Taking taylor expansion of z in x
10.892 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
10.892 * [taylor]: Taking taylor expansion of (/ 1 z) in z
10.892 * [taylor]: Taking taylor expansion of z in z
10.893 * [taylor]: Taking taylor expansion of (/ 1 z) in z
10.893 * [taylor]: Taking taylor expansion of z in z
10.894 * [taylor]: Taking taylor expansion of 0 in x
10.895 * [taylor]: Taking taylor expansion of 0 in z
10.895 * [taylor]: Taking taylor expansion of 0 in z
10.897 * [taylor]: Taking taylor expansion of 0 in x
10.897 * [taylor]: Taking taylor expansion of 0 in z
10.898 * [taylor]: Taking taylor expansion of 0 in z
10.898 * [taylor]: Taking taylor expansion of 0 in z
10.900 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in (y x z) around 0
10.900 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in z
10.900 * [taylor]: Taking taylor expansion of -1 in z
10.900 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in z
10.900 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z
10.900 * [taylor]: Taking taylor expansion of (/ 1 x) in z
10.900 * [taylor]: Taking taylor expansion of x in z
10.900 * [taylor]: Taking taylor expansion of (/ 1 y) in z
10.900 * [taylor]: Taking taylor expansion of y in z
10.900 * [taylor]: Taking taylor expansion of z in z
10.900 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in x
10.900 * [taylor]: Taking taylor expansion of -1 in x
10.900 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in x
10.900 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
10.900 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.900 * [taylor]: Taking taylor expansion of x in x
10.901 * [taylor]: Taking taylor expansion of (/ 1 y) in x
10.901 * [taylor]: Taking taylor expansion of y in x
10.901 * [taylor]: Taking taylor expansion of z in x
10.901 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in y
10.901 * [taylor]: Taking taylor expansion of -1 in y
10.901 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y
10.901 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
10.901 * [taylor]: Taking taylor expansion of (/ 1 x) in y
10.901 * [taylor]: Taking taylor expansion of x in y
10.901 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.901 * [taylor]: Taking taylor expansion of y in y
10.901 * [taylor]: Taking taylor expansion of z in y
10.902 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in y
10.902 * [taylor]: Taking taylor expansion of -1 in y
10.902 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y
10.902 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
10.902 * [taylor]: Taking taylor expansion of (/ 1 x) in y
10.902 * [taylor]: Taking taylor expansion of x in y
10.902 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.902 * [taylor]: Taking taylor expansion of y in y
10.902 * [taylor]: Taking taylor expansion of z in y
10.903 * [taylor]: Taking taylor expansion of (/ 1 z) in x
10.903 * [taylor]: Taking taylor expansion of z in x
10.904 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z))) in x
10.904 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
10.904 * [taylor]: Taking taylor expansion of (* x z) in x
10.904 * [taylor]: Taking taylor expansion of x in x
10.904 * [taylor]: Taking taylor expansion of z in x
10.904 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
10.904 * [taylor]: Taking taylor expansion of (/ 1 z) in z
10.904 * [taylor]: Taking taylor expansion of z in z
10.905 * [taylor]: Taking taylor expansion of (/ 1 z) in z
10.905 * [taylor]: Taking taylor expansion of z in z
10.907 * [taylor]: Taking taylor expansion of 0 in x
10.907 * [taylor]: Taking taylor expansion of 0 in z
10.907 * [taylor]: Taking taylor expansion of 0 in z
10.911 * [taylor]: Taking taylor expansion of 0 in x
10.911 * [taylor]: Taking taylor expansion of 0 in z
10.914 * [taylor]: Taking taylor expansion of 0 in z
10.914 * [taylor]: Taking taylor expansion of 0 in z
10.916 * * * * [progress]: [ 3 / 3 ] generating series at (2)
10.916 * [approximate]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in (y x z) around 0
10.916 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in z
10.916 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) x) in z
10.916 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in z
10.916 * [taylor]: Taking taylor expansion of 6.0 in z
10.916 * [taylor]: Taking taylor expansion of (* z y) in z
10.916 * [taylor]: Taking taylor expansion of z in z
10.916 * [taylor]: Taking taylor expansion of y in z
10.916 * [taylor]: Taking taylor expansion of x in z
10.916 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in z
10.916 * [taylor]: Taking taylor expansion of 6.0 in z
10.916 * [taylor]: Taking taylor expansion of (* x z) in z
10.916 * [taylor]: Taking taylor expansion of x in z
10.916 * [taylor]: Taking taylor expansion of z in z
10.916 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in x
10.916 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) x) in x
10.916 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in x
10.916 * [taylor]: Taking taylor expansion of 6.0 in x
10.916 * [taylor]: Taking taylor expansion of (* z y) in x
10.916 * [taylor]: Taking taylor expansion of z in x
10.916 * [taylor]: Taking taylor expansion of y in x
10.916 * [taylor]: Taking taylor expansion of x in x
10.916 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in x
10.916 * [taylor]: Taking taylor expansion of 6.0 in x
10.916 * [taylor]: Taking taylor expansion of (* x z) in x
10.916 * [taylor]: Taking taylor expansion of x in x
10.916 * [taylor]: Taking taylor expansion of z in x
10.916 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in y
10.916 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) x) in y
10.916 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in y
10.916 * [taylor]: Taking taylor expansion of 6.0 in y
10.916 * [taylor]: Taking taylor expansion of (* z y) in y
10.916 * [taylor]: Taking taylor expansion of z in y
10.917 * [taylor]: Taking taylor expansion of y in y
10.917 * [taylor]: Taking taylor expansion of x in y
10.917 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in y
10.917 * [taylor]: Taking taylor expansion of 6.0 in y
10.917 * [taylor]: Taking taylor expansion of (* x z) in y
10.917 * [taylor]: Taking taylor expansion of x in y
10.917 * [taylor]: Taking taylor expansion of z in y
10.917 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in y
10.917 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) x) in y
10.917 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in y
10.917 * [taylor]: Taking taylor expansion of 6.0 in y
10.917 * [taylor]: Taking taylor expansion of (* z y) in y
10.917 * [taylor]: Taking taylor expansion of z in y
10.917 * [taylor]: Taking taylor expansion of y in y
10.917 * [taylor]: Taking taylor expansion of x in y
10.917 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in y
10.917 * [taylor]: Taking taylor expansion of 6.0 in y
10.917 * [taylor]: Taking taylor expansion of (* x z) in y
10.917 * [taylor]: Taking taylor expansion of x in y
10.917 * [taylor]: Taking taylor expansion of z in y
10.917 * [taylor]: Taking taylor expansion of (- x (* 6.0 (* x z))) in x
10.917 * [taylor]: Taking taylor expansion of x in x
10.917 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in x
10.917 * [taylor]: Taking taylor expansion of 6.0 in x
10.917 * [taylor]: Taking taylor expansion of (* x z) in x
10.917 * [taylor]: Taking taylor expansion of x in x
10.917 * [taylor]: Taking taylor expansion of z in x
10.918 * [taylor]: Taking taylor expansion of 0 in z
10.919 * [taylor]: Taking taylor expansion of (* 6.0 z) in x
10.919 * [taylor]: Taking taylor expansion of 6.0 in x
10.919 * [taylor]: Taking taylor expansion of z in x
10.919 * [taylor]: Taking taylor expansion of (* 6.0 z) in z
10.919 * [taylor]: Taking taylor expansion of 6.0 in z
10.919 * [taylor]: Taking taylor expansion of z in z
10.920 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 z)) in z
10.920 * [taylor]: Taking taylor expansion of 1 in z
10.920 * [taylor]: Taking taylor expansion of (* 6.0 z) in z
10.920 * [taylor]: Taking taylor expansion of 6.0 in z
10.920 * [taylor]: Taking taylor expansion of z in z
10.923 * [taylor]: Taking taylor expansion of 0 in x
10.923 * [taylor]: Taking taylor expansion of 0 in z
10.924 * [taylor]: Taking taylor expansion of 0 in z
10.926 * [taylor]: Taking taylor expansion of 0 in z
10.929 * [approximate]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in (y x z) around 0
10.929 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in z
10.929 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) in z
10.929 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in z
10.929 * [taylor]: Taking taylor expansion of 6.0 in z
10.929 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
10.929 * [taylor]: Taking taylor expansion of (* z y) in z
10.929 * [taylor]: Taking taylor expansion of z in z
10.929 * [taylor]: Taking taylor expansion of y in z
10.929 * [taylor]: Taking taylor expansion of (/ 1 x) in z
10.929 * [taylor]: Taking taylor expansion of x in z
10.929 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in z
10.929 * [taylor]: Taking taylor expansion of 6.0 in z
10.929 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
10.929 * [taylor]: Taking taylor expansion of (* x z) in z
10.929 * [taylor]: Taking taylor expansion of x in z
10.930 * [taylor]: Taking taylor expansion of z in z
10.930 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in x
10.930 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) in x
10.930 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x
10.930 * [taylor]: Taking taylor expansion of 6.0 in x
10.930 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
10.930 * [taylor]: Taking taylor expansion of (* z y) in x
10.930 * [taylor]: Taking taylor expansion of z in x
10.930 * [taylor]: Taking taylor expansion of y in x
10.930 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.930 * [taylor]: Taking taylor expansion of x in x
10.930 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
10.930 * [taylor]: Taking taylor expansion of 6.0 in x
10.930 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
10.930 * [taylor]: Taking taylor expansion of (* x z) in x
10.930 * [taylor]: Taking taylor expansion of x in x
10.930 * [taylor]: Taking taylor expansion of z in x
10.931 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in y
10.931 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) in y
10.931 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y
10.931 * [taylor]: Taking taylor expansion of 6.0 in y
10.931 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
10.931 * [taylor]: Taking taylor expansion of (* z y) in y
10.931 * [taylor]: Taking taylor expansion of z in y
10.931 * [taylor]: Taking taylor expansion of y in y
10.931 * [taylor]: Taking taylor expansion of (/ 1 x) in y
10.931 * [taylor]: Taking taylor expansion of x in y
10.931 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in y
10.931 * [taylor]: Taking taylor expansion of 6.0 in y
10.931 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
10.931 * [taylor]: Taking taylor expansion of (* x z) in y
10.931 * [taylor]: Taking taylor expansion of x in y
10.931 * [taylor]: Taking taylor expansion of z in y
10.931 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in y
10.931 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) in y
10.931 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y
10.931 * [taylor]: Taking taylor expansion of 6.0 in y
10.931 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
10.931 * [taylor]: Taking taylor expansion of (* z y) in y
10.931 * [taylor]: Taking taylor expansion of z in y
10.931 * [taylor]: Taking taylor expansion of y in y
10.932 * [taylor]: Taking taylor expansion of (/ 1 x) in y
10.932 * [taylor]: Taking taylor expansion of x in y
10.932 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in y
10.932 * [taylor]: Taking taylor expansion of 6.0 in y
10.932 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
10.932 * [taylor]: Taking taylor expansion of (* x z) in y
10.932 * [taylor]: Taking taylor expansion of x in y
10.932 * [taylor]: Taking taylor expansion of z in y
10.932 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in x
10.932 * [taylor]: Taking taylor expansion of 6.0 in x
10.932 * [taylor]: Taking taylor expansion of (/ 1 z) in x
10.932 * [taylor]: Taking taylor expansion of z in x
10.933 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 6.0 (/ 1 (* x z)))) in x
10.933 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.933 * [taylor]: Taking taylor expansion of x in x
10.933 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
10.934 * [taylor]: Taking taylor expansion of 6.0 in x
10.934 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
10.934 * [taylor]: Taking taylor expansion of (* x z) in x
10.934 * [taylor]: Taking taylor expansion of x in x
10.934 * [taylor]: Taking taylor expansion of z in x
10.934 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 (/ 1 z))) in z
10.934 * [taylor]: Taking taylor expansion of 1 in z
10.934 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
10.934 * [taylor]: Taking taylor expansion of 6.0 in z
10.934 * [taylor]: Taking taylor expansion of (/ 1 z) in z
10.934 * [taylor]: Taking taylor expansion of z in z
10.936 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z
10.936 * [taylor]: Taking taylor expansion of 6.0 in z
10.936 * [taylor]: Taking taylor expansion of z in z
10.938 * [taylor]: Taking taylor expansion of 0 in x
10.940 * [taylor]: Taking taylor expansion of 0 in z
10.940 * [taylor]: Taking taylor expansion of 0 in z
10.942 * [approximate]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in (y x z) around 0
10.942 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in z
10.942 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in z
10.942 * [taylor]: Taking taylor expansion of 6.0 in z
10.942 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
10.942 * [taylor]: Taking taylor expansion of (* z y) in z
10.942 * [taylor]: Taking taylor expansion of z in z
10.942 * [taylor]: Taking taylor expansion of y in z
10.943 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in z
10.943 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in z
10.943 * [taylor]: Taking taylor expansion of 6.0 in z
10.943 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
10.943 * [taylor]: Taking taylor expansion of (* x z) in z
10.943 * [taylor]: Taking taylor expansion of x in z
10.943 * [taylor]: Taking taylor expansion of z in z
10.943 * [taylor]: Taking taylor expansion of (/ 1 x) in z
10.943 * [taylor]: Taking taylor expansion of x in z
10.943 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in x
10.943 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x
10.943 * [taylor]: Taking taylor expansion of 6.0 in x
10.943 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
10.943 * [taylor]: Taking taylor expansion of (* z y) in x
10.943 * [taylor]: Taking taylor expansion of z in x
10.943 * [taylor]: Taking taylor expansion of y in x
10.943 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in x
10.943 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
10.943 * [taylor]: Taking taylor expansion of 6.0 in x
10.943 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
10.943 * [taylor]: Taking taylor expansion of (* x z) in x
10.944 * [taylor]: Taking taylor expansion of x in x
10.944 * [taylor]: Taking taylor expansion of z in x
10.944 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.944 * [taylor]: Taking taylor expansion of x in x
10.944 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in y
10.944 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y
10.944 * [taylor]: Taking taylor expansion of 6.0 in y
10.944 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
10.944 * [taylor]: Taking taylor expansion of (* z y) in y
10.944 * [taylor]: Taking taylor expansion of z in y
10.944 * [taylor]: Taking taylor expansion of y in y
10.945 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in y
10.945 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in y
10.945 * [taylor]: Taking taylor expansion of 6.0 in y
10.945 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
10.945 * [taylor]: Taking taylor expansion of (* x z) in y
10.945 * [taylor]: Taking taylor expansion of x in y
10.945 * [taylor]: Taking taylor expansion of z in y
10.945 * [taylor]: Taking taylor expansion of (/ 1 x) in y
10.945 * [taylor]: Taking taylor expansion of x in y
10.945 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in y
10.945 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y
10.945 * [taylor]: Taking taylor expansion of 6.0 in y
10.945 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
10.945 * [taylor]: Taking taylor expansion of (* z y) in y
10.945 * [taylor]: Taking taylor expansion of z in y
10.945 * [taylor]: Taking taylor expansion of y in y
10.945 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in y
10.945 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in y
10.945 * [taylor]: Taking taylor expansion of 6.0 in y
10.945 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
10.945 * [taylor]: Taking taylor expansion of (* x z) in y
10.945 * [taylor]: Taking taylor expansion of x in y
10.945 * [taylor]: Taking taylor expansion of z in y
10.945 * [taylor]: Taking taylor expansion of (/ 1 x) in y
10.945 * [taylor]: Taking taylor expansion of x in y
10.946 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in x
10.946 * [taylor]: Taking taylor expansion of 6.0 in x
10.946 * [taylor]: Taking taylor expansion of (/ 1 z) in x
10.946 * [taylor]: Taking taylor expansion of z in x
10.947 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in x
10.947 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in x
10.947 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
10.947 * [taylor]: Taking taylor expansion of 6.0 in x
10.947 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
10.947 * [taylor]: Taking taylor expansion of (* x z) in x
10.947 * [taylor]: Taking taylor expansion of x in x
10.947 * [taylor]: Taking taylor expansion of z in x
10.947 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.947 * [taylor]: Taking taylor expansion of x in x
10.948 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 z)) 1)) in z
10.948 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 1) in z
10.948 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
10.948 * [taylor]: Taking taylor expansion of 6.0 in z
10.948 * [taylor]: Taking taylor expansion of (/ 1 z) in z
10.948 * [taylor]: Taking taylor expansion of z in z
10.948 * [taylor]: Taking taylor expansion of 1 in z
10.949 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z
10.949 * [taylor]: Taking taylor expansion of 6.0 in z
10.949 * [taylor]: Taking taylor expansion of z in z
10.951 * [taylor]: Taking taylor expansion of 0 in x
10.953 * [taylor]: Taking taylor expansion of 0 in z
10.954 * [taylor]: Taking taylor expansion of 0 in z
10.956 * * * [progress]: simplifying candidates
10.956 * [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)))
10.959 * * [simplify]: iteration  0 :  102  enodes  (cost  686 )
10.977 * * [simplify]: iteration  1 :  254  enodes  (cost  639 )
11.071 * * [simplify]: iteration  2 :  881  enodes  (cost  555 )
12.200 * * [simplify]: iteration  3 :  4002  enodes  (cost  549 )
13.522 * * [simplify]: iteration  done :  5001  enodes  (cost  549 )
13.522 * [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))
  (* (- y x) z)
  (* 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) 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)
  (* (- y x) z)
  (* (- (sqrt y) (sqrt x)) z)
  (* (- y x) z)
  (* (- (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
  (* (- y x) z)
  (* (- y x) z)
  (fma 6.0 (* (- y x) z) x)
  (fma 6.0 (* (- y x) z) x)
  (fma 6.0 (* (- y x) z) x)
13.523 * * * [progress]: adding candidates to table
13.653 * * [progress]: iteration 4 / 4
13.653 * * * [progress]: picking best candidate
13.657 * * * * [pick]: Picked  #<alt (λ (x y z) (fma 6.0 (* (- y x) z) x))>
13.657 * * * [progress]: localizing error
13.662 * * * [progress]: generating rewritten candidates
13.662 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
13.663 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
13.674 * * * [progress]: generating series expansions
13.674 * * * * [progress]: [ 1 / 2 ] generating series at (2)
13.674 * [approximate]: Taking taylor expansion of (fma 6.0 (* (- y x) z) x) in (y x z) around 0
13.674 * [taylor]: Taking taylor expansion of (fma 6.0 (* (- y x) z) x) in z
13.674 * [taylor]: Rewrote expression to (+ (* 6.0 (* (- y x) z)) x)
13.674 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in z
13.674 * [taylor]: Taking taylor expansion of 6.0 in z
13.674 * [taylor]: Taking taylor expansion of (* (- y x) z) in z
13.674 * [taylor]: Taking taylor expansion of (- y x) in z
13.674 * [taylor]: Taking taylor expansion of y in z
13.674 * [taylor]: Taking taylor expansion of x in z
13.674 * [taylor]: Taking taylor expansion of z in z
13.674 * [taylor]: Taking taylor expansion of x in z
13.674 * [taylor]: Taking taylor expansion of (fma 6.0 (* (- y x) z) x) in x
13.674 * [taylor]: Rewrote expression to (+ (* 6.0 (* (- y x) z)) x)
13.674 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in x
13.674 * [taylor]: Taking taylor expansion of 6.0 in x
13.674 * [taylor]: Taking taylor expansion of (* (- y x) z) in x
13.674 * [taylor]: Taking taylor expansion of (- y x) in x
13.674 * [taylor]: Taking taylor expansion of y in x
13.674 * [taylor]: Taking taylor expansion of x in x
13.674 * [taylor]: Taking taylor expansion of z in x
13.675 * [taylor]: Taking taylor expansion of x in x
13.675 * [taylor]: Taking taylor expansion of (fma 6.0 (* (- y x) z) x) in y
13.675 * [taylor]: Rewrote expression to (+ (* 6.0 (* (- y x) z)) x)
13.675 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in y
13.675 * [taylor]: Taking taylor expansion of 6.0 in y
13.675 * [taylor]: Taking taylor expansion of (* (- y x) z) in y
13.675 * [taylor]: Taking taylor expansion of (- y x) in y
13.675 * [taylor]: Taking taylor expansion of y in y
13.675 * [taylor]: Taking taylor expansion of x in y
13.675 * [taylor]: Taking taylor expansion of z in y
13.675 * [taylor]: Taking taylor expansion of x in y
13.675 * [taylor]: Taking taylor expansion of (fma 6.0 (* (- y x) z) x) in y
13.675 * [taylor]: Rewrote expression to (+ (* 6.0 (* (- y x) z)) x)
13.675 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in y
13.675 * [taylor]: Taking taylor expansion of 6.0 in y
13.675 * [taylor]: Taking taylor expansion of (* (- y x) z) in y
13.675 * [taylor]: Taking taylor expansion of (- y x) in y
13.675 * [taylor]: Taking taylor expansion of y in y
13.675 * [taylor]: Taking taylor expansion of x in y
13.675 * [taylor]: Taking taylor expansion of z in y
13.675 * [taylor]: Taking taylor expansion of x in y
13.675 * [taylor]: Taking taylor expansion of (- x (* 6.0 (* x z))) in x
13.675 * [taylor]: Taking taylor expansion of x in x
13.675 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in x
13.675 * [taylor]: Taking taylor expansion of 6.0 in x
13.675 * [taylor]: Taking taylor expansion of (* x z) in x
13.675 * [taylor]: Taking taylor expansion of x in x
13.675 * [taylor]: Taking taylor expansion of z in x
13.676 * [taylor]: Taking taylor expansion of 0 in z
13.677 * [taylor]: Taking taylor expansion of (* 6.0 z) in x
13.677 * [taylor]: Taking taylor expansion of 6.0 in x
13.677 * [taylor]: Taking taylor expansion of z in x
13.677 * [taylor]: Taking taylor expansion of (* 6.0 z) in z
13.677 * [taylor]: Taking taylor expansion of 6.0 in z
13.677 * [taylor]: Taking taylor expansion of z in z
13.678 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 z)) in z
13.678 * [taylor]: Taking taylor expansion of 1 in z
13.678 * [taylor]: Taking taylor expansion of (* 6.0 z) in z
13.678 * [taylor]: Taking taylor expansion of 6.0 in z
13.678 * [taylor]: Taking taylor expansion of z in z
13.680 * [taylor]: Taking taylor expansion of 0 in x
13.680 * [taylor]: Taking taylor expansion of 0 in z
13.680 * [taylor]: Taking taylor expansion of 0 in z
13.682 * [taylor]: Taking taylor expansion of 0 in z
13.688 * [approximate]: Taking taylor expansion of (fma 6.0 (/ (- (/ 1 y) (/ 1 x)) z) (/ 1 x)) in (y x z) around 0
13.688 * [taylor]: Taking taylor expansion of (fma 6.0 (/ (- (/ 1 y) (/ 1 x)) z) (/ 1 x)) in z
13.688 * [taylor]: Rewrote expression to (+ (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) (/ 1 x))
13.688 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in z
13.688 * [taylor]: Taking taylor expansion of 6.0 in z
13.688 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in z
13.688 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z
13.688 * [taylor]: Taking taylor expansion of (/ 1 y) in z
13.688 * [taylor]: Taking taylor expansion of y in z
13.688 * [taylor]: Taking taylor expansion of (/ 1 x) in z
13.688 * [taylor]: Taking taylor expansion of x in z
13.688 * [taylor]: Taking taylor expansion of z in z
13.689 * [taylor]: Taking taylor expansion of (/ 1 x) in z
13.689 * [taylor]: Taking taylor expansion of x in z
13.689 * [taylor]: Taking taylor expansion of (fma 6.0 (/ (- (/ 1 y) (/ 1 x)) z) (/ 1 x)) in x
13.689 * [taylor]: Rewrote expression to (+ (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) (/ 1 x))
13.689 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in x
13.689 * [taylor]: Taking taylor expansion of 6.0 in x
13.689 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in x
13.689 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
13.689 * [taylor]: Taking taylor expansion of (/ 1 y) in x
13.689 * [taylor]: Taking taylor expansion of y in x
13.689 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.689 * [taylor]: Taking taylor expansion of x in x
13.689 * [taylor]: Taking taylor expansion of z in x
13.690 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.690 * [taylor]: Taking taylor expansion of x in x
13.690 * [taylor]: Taking taylor expansion of (fma 6.0 (/ (- (/ 1 y) (/ 1 x)) z) (/ 1 x)) in y
13.690 * [taylor]: Rewrote expression to (+ (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) (/ 1 x))
13.690 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in y
13.690 * [taylor]: Taking taylor expansion of 6.0 in y
13.690 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y
13.690 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
13.690 * [taylor]: Taking taylor expansion of (/ 1 y) in y
13.690 * [taylor]: Taking taylor expansion of y in y
13.690 * [taylor]: Taking taylor expansion of (/ 1 x) in y
13.690 * [taylor]: Taking taylor expansion of x in y
13.691 * [taylor]: Taking taylor expansion of z in y
13.691 * [taylor]: Taking taylor expansion of (/ 1 x) in y
13.691 * [taylor]: Taking taylor expansion of x in y
13.691 * [taylor]: Taking taylor expansion of (fma 6.0 (/ (- (/ 1 y) (/ 1 x)) z) (/ 1 x)) in y
13.691 * [taylor]: Rewrote expression to (+ (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) (/ 1 x))
13.691 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in y
13.691 * [taylor]: Taking taylor expansion of 6.0 in y
13.691 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y
13.691 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
13.691 * [taylor]: Taking taylor expansion of (/ 1 y) in y
13.691 * [taylor]: Taking taylor expansion of y in y
13.691 * [taylor]: Taking taylor expansion of (/ 1 x) in y
13.691 * [taylor]: Taking taylor expansion of x in y
13.691 * [taylor]: Taking taylor expansion of z in y
13.692 * [taylor]: Taking taylor expansion of (/ 1 x) in y
13.692 * [taylor]: Taking taylor expansion of x in y
13.692 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in x
13.692 * [taylor]: Taking taylor expansion of 6.0 in x
13.692 * [taylor]: Taking taylor expansion of (/ 1 z) in x
13.692 * [taylor]: Taking taylor expansion of z in x
13.693 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 6.0 (/ 1 (* x z)))) in x
13.693 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.693 * [taylor]: Taking taylor expansion of x in x
13.693 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
13.693 * [taylor]: Taking taylor expansion of 6.0 in x
13.693 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
13.693 * [taylor]: Taking taylor expansion of (* x z) in x
13.693 * [taylor]: Taking taylor expansion of x in x
13.693 * [taylor]: Taking taylor expansion of z in x
13.694 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 (/ 1 z))) in z
13.694 * [taylor]: Taking taylor expansion of 1 in z
13.694 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
13.694 * [taylor]: Taking taylor expansion of 6.0 in z
13.694 * [taylor]: Taking taylor expansion of (/ 1 z) in z
13.694 * [taylor]: Taking taylor expansion of z in z
13.695 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z
13.695 * [taylor]: Taking taylor expansion of 6.0 in z
13.695 * [taylor]: Taking taylor expansion of z in z
13.697 * [taylor]: Taking taylor expansion of 0 in x
13.699 * [taylor]: Taking taylor expansion of 0 in z
13.700 * [taylor]: Taking taylor expansion of 0 in z
13.702 * [approximate]: Taking taylor expansion of (fma 6.0 (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) (/ -1 x)) in (y x z) around 0
13.702 * [taylor]: Taking taylor expansion of (fma 6.0 (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) (/ -1 x)) in z
13.702 * [taylor]: Rewrote expression to (+ (* 6.0 (* -1 (/ (- (/ 1 x) (/ 1 y)) z))) (/ -1 x))
13.702 * [taylor]: Taking taylor expansion of (* 6.0 (* -1 (/ (- (/ 1 x) (/ 1 y)) z))) in z
13.702 * [taylor]: Taking taylor expansion of 6.0 in z
13.702 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in z
13.702 * [taylor]: Taking taylor expansion of -1 in z
13.702 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in z
13.702 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z
13.702 * [taylor]: Taking taylor expansion of (/ 1 x) in z
13.702 * [taylor]: Taking taylor expansion of x in z
13.702 * [taylor]: Taking taylor expansion of (/ 1 y) in z
13.702 * [taylor]: Taking taylor expansion of y in z
13.702 * [taylor]: Taking taylor expansion of z in z
13.702 * [taylor]: Taking taylor expansion of (/ -1 x) in z
13.702 * [taylor]: Taking taylor expansion of -1 in z
13.702 * [taylor]: Taking taylor expansion of x in z
13.702 * [taylor]: Taking taylor expansion of (fma 6.0 (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) (/ -1 x)) in x
13.702 * [taylor]: Rewrote expression to (+ (* 6.0 (* -1 (/ (- (/ 1 x) (/ 1 y)) z))) (/ -1 x))
13.702 * [taylor]: Taking taylor expansion of (* 6.0 (* -1 (/ (- (/ 1 x) (/ 1 y)) z))) in x
13.702 * [taylor]: Taking taylor expansion of 6.0 in x
13.702 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in x
13.702 * [taylor]: Taking taylor expansion of -1 in x
13.702 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in x
13.702 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
13.702 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.702 * [taylor]: Taking taylor expansion of x in x
13.703 * [taylor]: Taking taylor expansion of (/ 1 y) in x
13.703 * [taylor]: Taking taylor expansion of y in x
13.703 * [taylor]: Taking taylor expansion of z in x
13.703 * [taylor]: Taking taylor expansion of (/ -1 x) in x
13.703 * [taylor]: Taking taylor expansion of -1 in x
13.703 * [taylor]: Taking taylor expansion of x in x
13.703 * [taylor]: Taking taylor expansion of (fma 6.0 (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) (/ -1 x)) in y
13.704 * [taylor]: Rewrote expression to (+ (* 6.0 (* -1 (/ (- (/ 1 x) (/ 1 y)) z))) (/ -1 x))
13.704 * [taylor]: Taking taylor expansion of (* 6.0 (* -1 (/ (- (/ 1 x) (/ 1 y)) z))) in y
13.704 * [taylor]: Taking taylor expansion of 6.0 in y
13.704 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in y
13.704 * [taylor]: Taking taylor expansion of -1 in y
13.704 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y
13.704 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
13.704 * [taylor]: Taking taylor expansion of (/ 1 x) in y
13.704 * [taylor]: Taking taylor expansion of x in y
13.704 * [taylor]: Taking taylor expansion of (/ 1 y) in y
13.704 * [taylor]: Taking taylor expansion of y in y
13.704 * [taylor]: Taking taylor expansion of z in y
13.705 * [taylor]: Taking taylor expansion of (/ -1 x) in y
13.705 * [taylor]: Taking taylor expansion of -1 in y
13.705 * [taylor]: Taking taylor expansion of x in y
13.705 * [taylor]: Taking taylor expansion of (fma 6.0 (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) (/ -1 x)) in y
13.705 * [taylor]: Rewrote expression to (+ (* 6.0 (* -1 (/ (- (/ 1 x) (/ 1 y)) z))) (/ -1 x))
13.705 * [taylor]: Taking taylor expansion of (* 6.0 (* -1 (/ (- (/ 1 x) (/ 1 y)) z))) in y
13.705 * [taylor]: Taking taylor expansion of 6.0 in y
13.705 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in y
13.705 * [taylor]: Taking taylor expansion of -1 in y
13.705 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y
13.705 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
13.705 * [taylor]: Taking taylor expansion of (/ 1 x) in y
13.705 * [taylor]: Taking taylor expansion of x in y
13.705 * [taylor]: Taking taylor expansion of (/ 1 y) in y
13.705 * [taylor]: Taking taylor expansion of y in y
13.705 * [taylor]: Taking taylor expansion of z in y
13.706 * [taylor]: Taking taylor expansion of (/ -1 x) in y
13.706 * [taylor]: Taking taylor expansion of -1 in y
13.706 * [taylor]: Taking taylor expansion of x in y
13.706 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in x
13.706 * [taylor]: Taking taylor expansion of 6.0 in x
13.706 * [taylor]: Taking taylor expansion of (/ 1 z) in x
13.706 * [taylor]: Taking taylor expansion of z in x
13.707 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in x
13.708 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in x
13.708 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
13.708 * [taylor]: Taking taylor expansion of 6.0 in x
13.708 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
13.708 * [taylor]: Taking taylor expansion of (* x z) in x
13.708 * [taylor]: Taking taylor expansion of x in x
13.708 * [taylor]: Taking taylor expansion of z in x
13.708 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.708 * [taylor]: Taking taylor expansion of x in x
13.708 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 z)) 1)) in z
13.708 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 1) in z
13.708 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
13.708 * [taylor]: Taking taylor expansion of 6.0 in z
13.708 * [taylor]: Taking taylor expansion of (/ 1 z) in z
13.708 * [taylor]: Taking taylor expansion of z in z
13.709 * [taylor]: Taking taylor expansion of 1 in z
13.710 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z
13.710 * [taylor]: Taking taylor expansion of 6.0 in z
13.710 * [taylor]: Taking taylor expansion of z in z
13.712 * [taylor]: Taking taylor expansion of 0 in x
13.714 * [taylor]: Taking taylor expansion of 0 in z
13.714 * [taylor]: Taking taylor expansion of 0 in z
13.716 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
13.716 * [approximate]: Taking taylor expansion of (* (- y x) z) in (y x z) around 0
13.717 * [taylor]: Taking taylor expansion of (* (- y x) z) in z
13.717 * [taylor]: Taking taylor expansion of (- y x) in z
13.717 * [taylor]: Taking taylor expansion of y in z
13.717 * [taylor]: Taking taylor expansion of x in z
13.717 * [taylor]: Taking taylor expansion of z in z
13.717 * [taylor]: Taking taylor expansion of (* (- y x) z) in x
13.717 * [taylor]: Taking taylor expansion of (- y x) in x
13.717 * [taylor]: Taking taylor expansion of y in x
13.717 * [taylor]: Taking taylor expansion of x in x
13.717 * [taylor]: Taking taylor expansion of z in x
13.717 * [taylor]: Taking taylor expansion of (* (- y x) z) in y
13.717 * [taylor]: Taking taylor expansion of (- y x) in y
13.717 * [taylor]: Taking taylor expansion of y in y
13.717 * [taylor]: Taking taylor expansion of x in y
13.717 * [taylor]: Taking taylor expansion of z in y
13.717 * [taylor]: Taking taylor expansion of (* (- y x) z) in y
13.717 * [taylor]: Taking taylor expansion of (- y x) in y
13.717 * [taylor]: Taking taylor expansion of y in y
13.717 * [taylor]: Taking taylor expansion of x in y
13.717 * [taylor]: Taking taylor expansion of z in y
13.717 * [taylor]: Taking taylor expansion of (* -1 (* x z)) in x
13.717 * [taylor]: Taking taylor expansion of -1 in x
13.717 * [taylor]: Taking taylor expansion of (* x z) in x
13.717 * [taylor]: Taking taylor expansion of x in x
13.717 * [taylor]: Taking taylor expansion of z in x
13.717 * [taylor]: Taking taylor expansion of 0 in z
13.718 * [taylor]: Taking taylor expansion of z in x
13.718 * [taylor]: Taking taylor expansion of z in z
13.719 * [taylor]: Taking taylor expansion of (- z) in z
13.719 * [taylor]: Taking taylor expansion of z in z
13.720 * [taylor]: Taking taylor expansion of 0 in x
13.720 * [taylor]: Taking taylor expansion of 0 in z
13.720 * [taylor]: Taking taylor expansion of 0 in z
13.720 * [approximate]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in (y x z) around 0
13.720 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in z
13.720 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z
13.720 * [taylor]: Taking taylor expansion of (/ 1 y) in z
13.720 * [taylor]: Taking taylor expansion of y in z
13.720 * [taylor]: Taking taylor expansion of (/ 1 x) in z
13.720 * [taylor]: Taking taylor expansion of x in z
13.720 * [taylor]: Taking taylor expansion of z in z
13.720 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in x
13.720 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
13.720 * [taylor]: Taking taylor expansion of (/ 1 y) in x
13.720 * [taylor]: Taking taylor expansion of y in x
13.720 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.720 * [taylor]: Taking taylor expansion of x in x
13.721 * [taylor]: Taking taylor expansion of z in x
13.721 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y
13.721 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
13.721 * [taylor]: Taking taylor expansion of (/ 1 y) in y
13.721 * [taylor]: Taking taylor expansion of y in y
13.722 * [taylor]: Taking taylor expansion of (/ 1 x) in y
13.722 * [taylor]: Taking taylor expansion of x in y
13.722 * [taylor]: Taking taylor expansion of z in y
13.722 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y
13.722 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
13.722 * [taylor]: Taking taylor expansion of (/ 1 y) in y
13.722 * [taylor]: Taking taylor expansion of y in y
13.722 * [taylor]: Taking taylor expansion of (/ 1 x) in y
13.722 * [taylor]: Taking taylor expansion of x in y
13.722 * [taylor]: Taking taylor expansion of z in y
13.723 * [taylor]: Taking taylor expansion of (/ 1 z) in x
13.723 * [taylor]: Taking taylor expansion of z in x
13.723 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z))) in x
13.723 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
13.723 * [taylor]: Taking taylor expansion of (* x z) in x
13.723 * [taylor]: Taking taylor expansion of x in x
13.723 * [taylor]: Taking taylor expansion of z in x
13.724 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
13.724 * [taylor]: Taking taylor expansion of (/ 1 z) in z
13.724 * [taylor]: Taking taylor expansion of z in z
13.724 * [taylor]: Taking taylor expansion of (/ 1 z) in z
13.724 * [taylor]: Taking taylor expansion of z in z
13.726 * [taylor]: Taking taylor expansion of 0 in x
13.727 * [taylor]: Taking taylor expansion of 0 in z
13.727 * [taylor]: Taking taylor expansion of 0 in z
13.729 * [taylor]: Taking taylor expansion of 0 in x
13.729 * [taylor]: Taking taylor expansion of 0 in z
13.730 * [taylor]: Taking taylor expansion of 0 in z
13.730 * [taylor]: Taking taylor expansion of 0 in z
13.732 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in (y x z) around 0
13.732 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in z
13.732 * [taylor]: Taking taylor expansion of -1 in z
13.732 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in z
13.732 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z
13.732 * [taylor]: Taking taylor expansion of (/ 1 x) in z
13.732 * [taylor]: Taking taylor expansion of x in z
13.732 * [taylor]: Taking taylor expansion of (/ 1 y) in z
13.732 * [taylor]: Taking taylor expansion of y in z
13.732 * [taylor]: Taking taylor expansion of z in z
13.732 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in x
13.732 * [taylor]: Taking taylor expansion of -1 in x
13.732 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in x
13.732 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
13.732 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.732 * [taylor]: Taking taylor expansion of x in x
13.733 * [taylor]: Taking taylor expansion of (/ 1 y) in x
13.733 * [taylor]: Taking taylor expansion of y in x
13.733 * [taylor]: Taking taylor expansion of z in x
13.733 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in y
13.733 * [taylor]: Taking taylor expansion of -1 in y
13.733 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y
13.733 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
13.733 * [taylor]: Taking taylor expansion of (/ 1 x) in y
13.733 * [taylor]: Taking taylor expansion of x in y
13.733 * [taylor]: Taking taylor expansion of (/ 1 y) in y
13.733 * [taylor]: Taking taylor expansion of y in y
13.733 * [taylor]: Taking taylor expansion of z in y
13.734 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in y
13.734 * [taylor]: Taking taylor expansion of -1 in y
13.734 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y
13.734 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
13.734 * [taylor]: Taking taylor expansion of (/ 1 x) in y
13.734 * [taylor]: Taking taylor expansion of x in y
13.734 * [taylor]: Taking taylor expansion of (/ 1 y) in y
13.734 * [taylor]: Taking taylor expansion of y in y
13.734 * [taylor]: Taking taylor expansion of z in y
13.735 * [taylor]: Taking taylor expansion of (/ 1 z) in x
13.735 * [taylor]: Taking taylor expansion of z in x
13.736 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z))) in x
13.736 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
13.736 * [taylor]: Taking taylor expansion of (* x z) in x
13.736 * [taylor]: Taking taylor expansion of x in x
13.736 * [taylor]: Taking taylor expansion of z in x
13.736 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
13.736 * [taylor]: Taking taylor expansion of (/ 1 z) in z
13.736 * [taylor]: Taking taylor expansion of z in z
13.737 * [taylor]: Taking taylor expansion of (/ 1 z) in z
13.737 * [taylor]: Taking taylor expansion of z in z
13.739 * [taylor]: Taking taylor expansion of 0 in x
13.739 * [taylor]: Taking taylor expansion of 0 in z
13.740 * [taylor]: Taking taylor expansion of 0 in z
13.742 * [taylor]: Taking taylor expansion of 0 in x
13.743 * [taylor]: Taking taylor expansion of 0 in z
13.744 * [taylor]: Taking taylor expansion of 0 in z
13.744 * [taylor]: Taking taylor expansion of 0 in z
13.745 * * * [progress]: simplifying candidates
13.746 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (fma 6.0 (* (- y x) z) x))
  (log1p (fma 6.0 (* (- y x) z) x))
  (* 6.0 (* (- y x) z))
  (log (fma 6.0 (* (- y x) z) x))
  (exp (fma 6.0 (* (- y x) z) x))
  (* (cbrt (fma 6.0 (* (- y x) z) x)) (cbrt (fma 6.0 (* (- y x) z) x)))
  (cbrt (fma 6.0 (* (- y x) z) x))
  (* (* (fma 6.0 (* (- y x) z) x) (fma 6.0 (* (- y x) z) x)) (fma 6.0 (* (- y x) z) x))
  (sqrt (fma 6.0 (* (- y x) z) x))
  (sqrt (fma 6.0 (* (- y x) z) x))
  (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)
  (- (+ (* 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)))
  0
  (- (* z y) (* x z))
  (- (* z y) (* x z))
13.748 * * [simplify]: iteration  0 :  67  enodes  (cost  351 )
13.758 * * [simplify]: iteration  1 :  142  enodes  (cost  345 )
13.788 * * [simplify]: iteration  2 :  419  enodes  (cost  305 )
14.040 * * [simplify]: iteration  3 :  1391  enodes  (cost  293 )
15.137 * * [simplify]: iteration  4 :  3894  enodes  (cost  293 )
16.143 * * [simplify]: iteration  done :  5000  enodes  (cost  293 )
16.144 * [simplify]: Simplified to:
   (expm1 (fma 6.0 (* (- y x) z) x))
  (log1p (fma 6.0 (* (- y x) z) x))
  (* (* 6.0 z) (- y x))
  (log (fma 6.0 (* (- y x) z) x))
  (exp (fma 6.0 (* (- y x) z) x))
  (* (cbrt (fma 6.0 (* (- y x) z) x)) (cbrt (fma 6.0 (* (- y x) z) x)))
  (cbrt (fma 6.0 (* (- y x) z) x))
  (pow (fma 6.0 (* (- y x) z) x) 3)
  (sqrt (fma 6.0 (* (- y x) z) x))
  (sqrt (fma 6.0 (* (- y x) z) x))
  (expm1 (* (- y x) z))
  (log1p (* (- y x) z))
  (* (- y x) z)
  (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)
  (* (- y x) z)
  (* (- (sqrt y) (sqrt x)) z)
  (* (- y x) z)
  (* (- (pow y 3) (pow x 3)) z)
  (* (- (* y y) (* x x)) z)
  (fma 6.0 (* (- y x) z) x)
  (fma 6.0 (* (- y x) z) x)
  (fma 6.0 (* (- y x) z) x)
  0
  (* (- y x) z)
  (* (- y x) z)
16.144 * * * [progress]: adding candidates to table
16.227 * [progress]: [Phase 3 of 3] Extracting.
16.227 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (fma 6.0 (* (- y x) z) x))> #<alt (λ (x y z) (+ (* (sqrt (* (* (- y x) z) 6.0)) (sqrt (* (* (- y x) z) 6.0))) x))> #<alt (λ (x y z) (fma (* (- y x) 6.0) z x))> #<alt (λ (x y z) (fma (- y x) (* 6.0 z) x))> #<alt (λ (x y z) (+ (* (* (- y x) z) 6.0) x))>)
16.228 * * * [regime-changes]: Trying 3 branch expressions: (z y x)
16.228 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (fma 6.0 (* (- y x) z) x))> #<alt (λ (x y z) (+ (* (sqrt (* (* (- y x) z) 6.0)) (sqrt (* (* (- y x) z) 6.0))) x))> #<alt (λ (x y z) (fma (* (- y x) 6.0) z x))> #<alt (λ (x y z) (fma (- y x) (* 6.0 z) x))> #<alt (λ (x y z) (+ (* (* (- y x) z) 6.0) x))>)
16.247 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (fma 6.0 (* (- y x) z) x))> #<alt (λ (x y z) (+ (* (sqrt (* (* (- y x) z) 6.0)) (sqrt (* (* (- y x) z) 6.0))) x))> #<alt (λ (x y z) (fma (* (- y x) 6.0) z x))> #<alt (λ (x y z) (fma (- y x) (* 6.0 z) x))> #<alt (λ (x y z) (+ (* (* (- y x) z) 6.0) x))>)
16.269 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (fma 6.0 (* (- y x) z) x))> #<alt (λ (x y z) (+ (* (sqrt (* (* (- y x) z) 6.0)) (sqrt (* (* (- y x) z) 6.0))) x))> #<alt (λ (x y z) (fma (* (- y x) 6.0) z x))> #<alt (λ (x y z) (fma (- y x) (* 6.0 z) x))> #<alt (λ (x y z) (+ (* (* (- y x) z) 6.0) x))>)
16.289 * * * [regime]: Found split indices: #<option (#s(si 3 255))>
16.289 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (fma (- y x) (* 6.0 z) x)
16.289 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
16.290 * * [simplify]: iteration  1 :  8  enodes  (cost  8 )
16.290 * * [simplify]: iteration  done :  8  enodes  (cost  8 )
16.290 * [simplify]: Simplified to:
   (fma (- y x) (* 6.0 z) x)
16.896 * [regime-testing]: Baseline error score: 0.18211712557846774
16.896 * [regime-testing]: Oracle error score: 0.0133766720840105
16.897 * [regime-testing]: End program error score: 0.18211712557846774
16.919 * [regime-testing]: Target error score: 0.1841905050634935