0.995 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.017 * * * [progress]: [2/2] Setting up program.
0.019 * [progress]: [Phase 2 of 3] Improving.
0.020 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (/ (* x (+ (- y z) 1.0)) z)
0.021 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
0.022 * * [simplify]: iteration  1 :  22  enodes  (cost  9 )
0.025 * * [simplify]: iteration  2 :  45  enodes  (cost  9 )
0.031 * * [simplify]: iteration  3 :  112  enodes  (cost  9 )
0.048 * * [simplify]: iteration  4 :  221  enodes  (cost  9 )
0.088 * * [simplify]: iteration  5 :  343  enodes  (cost  9 )
0.161 * * [simplify]: iteration  6 :  588  enodes  (cost  9 )
0.301 * * [simplify]: iteration  7 :  1144  enodes  (cost  9 )
0.855 * * [simplify]: iteration  done :  5000  enodes  (cost  9 )
0.855 * [simplify]: Simplified to:
   (/ (* x (+ (- y z) 1.0)) z)
0.855 * * [progress]: iteration 1 / 4
0.855 * * * [progress]: picking best candidate
0.857 * * * * [pick]: Picked  #<alt (λ (x y z) (/ (* x (+ (- y z) 1.0)) z))>
0.857 * * * [progress]: localizing error
0.864 * * * [progress]: generating rewritten candidates
0.864 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.887 * * * [progress]: generating series expansions
0.887 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.888 * [approximate]: Taking taylor expansion of (/ (* x (- (+ y 1.0) z)) z) in (x y z) around 0
0.888 * [taylor]: Taking taylor expansion of (/ (* x (- (+ y 1.0) z)) z) in z
0.888 * [taylor]: Taking taylor expansion of (* x (- (+ y 1.0) z)) in z
0.888 * [taylor]: Taking taylor expansion of x in z
0.888 * [taylor]: Taking taylor expansion of (- (+ y 1.0) z) in z
0.888 * [taylor]: Taking taylor expansion of (+ y 1.0) in z
0.888 * [taylor]: Taking taylor expansion of y in z
0.888 * [taylor]: Taking taylor expansion of 1.0 in z
0.888 * [taylor]: Taking taylor expansion of z in z
0.888 * [taylor]: Taking taylor expansion of z in z
0.889 * [taylor]: Taking taylor expansion of (/ (* x (- (+ y 1.0) z)) z) in y
0.889 * [taylor]: Taking taylor expansion of (* x (- (+ y 1.0) z)) in y
0.889 * [taylor]: Taking taylor expansion of x in y
0.889 * [taylor]: Taking taylor expansion of (- (+ y 1.0) z) in y
0.889 * [taylor]: Taking taylor expansion of (+ y 1.0) in y
0.889 * [taylor]: Taking taylor expansion of y in y
0.889 * [taylor]: Taking taylor expansion of 1.0 in y
0.889 * [taylor]: Taking taylor expansion of z in y
0.889 * [taylor]: Taking taylor expansion of z in y
0.889 * [taylor]: Taking taylor expansion of (/ (* x (- (+ y 1.0) z)) z) in x
0.889 * [taylor]: Taking taylor expansion of (* x (- (+ y 1.0) z)) in x
0.889 * [taylor]: Taking taylor expansion of x in x
0.889 * [taylor]: Taking taylor expansion of (- (+ y 1.0) z) in x
0.889 * [taylor]: Taking taylor expansion of (+ y 1.0) in x
0.889 * [taylor]: Taking taylor expansion of y in x
0.889 * [taylor]: Taking taylor expansion of 1.0 in x
0.890 * [taylor]: Taking taylor expansion of z in x
0.890 * [taylor]: Taking taylor expansion of z in x
0.891 * [taylor]: Taking taylor expansion of (/ (* x (- (+ y 1.0) z)) z) in x
0.891 * [taylor]: Taking taylor expansion of (* x (- (+ y 1.0) z)) in x
0.891 * [taylor]: Taking taylor expansion of x in x
0.891 * [taylor]: Taking taylor expansion of (- (+ y 1.0) z) in x
0.891 * [taylor]: Taking taylor expansion of (+ y 1.0) in x
0.891 * [taylor]: Taking taylor expansion of y in x
0.891 * [taylor]: Taking taylor expansion of 1.0 in x
0.891 * [taylor]: Taking taylor expansion of z in x
0.891 * [taylor]: Taking taylor expansion of z in x
0.893 * [taylor]: Taking taylor expansion of (/ (- (+ y 1.0) z) z) in y
0.893 * [taylor]: Taking taylor expansion of (- (+ y 1.0) z) in y
0.893 * [taylor]: Taking taylor expansion of (+ y 1.0) in y
0.893 * [taylor]: Taking taylor expansion of y in y
0.893 * [taylor]: Taking taylor expansion of 1.0 in y
0.893 * [taylor]: Taking taylor expansion of z in y
0.893 * [taylor]: Taking taylor expansion of z in y
0.893 * [taylor]: Taking taylor expansion of (/ (- 1.0 z) z) in z
0.893 * [taylor]: Taking taylor expansion of (- 1.0 z) in z
0.893 * [taylor]: Taking taylor expansion of 1.0 in z
0.893 * [taylor]: Taking taylor expansion of z in z
0.893 * [taylor]: Taking taylor expansion of z in z
0.896 * [taylor]: Taking taylor expansion of 0 in y
0.896 * [taylor]: Taking taylor expansion of 0 in z
0.897 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.897 * [taylor]: Taking taylor expansion of z in z
0.899 * [approximate]: Taking taylor expansion of (/ (* (- (+ (/ 1 y) 1.0) (/ 1 z)) z) x) in (x y z) around 0
0.899 * [taylor]: Taking taylor expansion of (/ (* (- (+ (/ 1 y) 1.0) (/ 1 z)) z) x) in z
0.899 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 y) 1.0) (/ 1 z)) z) in z
0.899 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1.0) (/ 1 z)) in z
0.899 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in z
0.899 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.899 * [taylor]: Taking taylor expansion of y in z
0.899 * [taylor]: Taking taylor expansion of 1.0 in z
0.899 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.899 * [taylor]: Taking taylor expansion of z in z
0.899 * [taylor]: Taking taylor expansion of z in z
0.899 * [taylor]: Taking taylor expansion of x in z
0.902 * [taylor]: Taking taylor expansion of (/ (* (- (+ (/ 1 y) 1.0) (/ 1 z)) z) x) in y
0.902 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 y) 1.0) (/ 1 z)) z) in y
0.902 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1.0) (/ 1 z)) in y
0.902 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
0.902 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.902 * [taylor]: Taking taylor expansion of y in y
0.902 * [taylor]: Taking taylor expansion of 1.0 in y
0.902 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.902 * [taylor]: Taking taylor expansion of z in y
0.902 * [taylor]: Taking taylor expansion of z in y
0.902 * [taylor]: Taking taylor expansion of x in y
0.903 * [taylor]: Taking taylor expansion of (/ (* (- (+ (/ 1 y) 1.0) (/ 1 z)) z) x) in x
0.903 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 y) 1.0) (/ 1 z)) z) in x
0.903 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1.0) (/ 1 z)) in x
0.903 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x
0.903 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.903 * [taylor]: Taking taylor expansion of y in x
0.903 * [taylor]: Taking taylor expansion of 1.0 in x
0.903 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.903 * [taylor]: Taking taylor expansion of z in x
0.903 * [taylor]: Taking taylor expansion of z in x
0.903 * [taylor]: Taking taylor expansion of x in x
0.903 * [taylor]: Taking taylor expansion of (/ (* (- (+ (/ 1 y) 1.0) (/ 1 z)) z) x) in x
0.903 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 y) 1.0) (/ 1 z)) z) in x
0.903 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1.0) (/ 1 z)) in x
0.903 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x
0.903 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.903 * [taylor]: Taking taylor expansion of y in x
0.904 * [taylor]: Taking taylor expansion of 1.0 in x
0.904 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.904 * [taylor]: Taking taylor expansion of z in x
0.904 * [taylor]: Taking taylor expansion of z in x
0.904 * [taylor]: Taking taylor expansion of x in x
0.904 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 y) 1.0) (/ 1 z)) z) in y
0.904 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1.0) (/ 1 z)) in y
0.904 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
0.904 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.904 * [taylor]: Taking taylor expansion of y in y
0.905 * [taylor]: Taking taylor expansion of 1.0 in y
0.905 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.905 * [taylor]: Taking taylor expansion of z in y
0.905 * [taylor]: Taking taylor expansion of z in y
0.905 * [taylor]: Taking taylor expansion of z in z
0.907 * [taylor]: Taking taylor expansion of 0 in y
0.908 * [taylor]: Taking taylor expansion of (- (* 1.0 z) 1) in z
0.908 * [taylor]: Taking taylor expansion of (* 1.0 z) in z
0.908 * [taylor]: Taking taylor expansion of 1.0 in z
0.908 * [taylor]: Taking taylor expansion of z in z
0.908 * [taylor]: Taking taylor expansion of 1 in z
0.912 * [taylor]: Taking taylor expansion of 0 in y
0.912 * [taylor]: Taking taylor expansion of 0 in z
0.913 * [taylor]: Taking taylor expansion of 0 in z
0.915 * [approximate]: Taking taylor expansion of (/ (* z (- (+ (/ 1 z) 1.0) (/ 1 y))) x) in (x y z) around 0
0.915 * [taylor]: Taking taylor expansion of (/ (* z (- (+ (/ 1 z) 1.0) (/ 1 y))) x) in z
0.916 * [taylor]: Taking taylor expansion of (* z (- (+ (/ 1 z) 1.0) (/ 1 y))) in z
0.916 * [taylor]: Taking taylor expansion of z in z
0.916 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) 1.0) (/ 1 y)) in z
0.916 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z
0.916 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.916 * [taylor]: Taking taylor expansion of z in z
0.916 * [taylor]: Taking taylor expansion of 1.0 in z
0.916 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.916 * [taylor]: Taking taylor expansion of y in z
0.916 * [taylor]: Taking taylor expansion of x in z
0.918 * [taylor]: Taking taylor expansion of (/ (* z (- (+ (/ 1 z) 1.0) (/ 1 y))) x) in y
0.918 * [taylor]: Taking taylor expansion of (* z (- (+ (/ 1 z) 1.0) (/ 1 y))) in y
0.918 * [taylor]: Taking taylor expansion of z in y
0.918 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) 1.0) (/ 1 y)) in y
0.918 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in y
0.918 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.918 * [taylor]: Taking taylor expansion of z in y
0.918 * [taylor]: Taking taylor expansion of 1.0 in y
0.918 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.918 * [taylor]: Taking taylor expansion of y in y
0.919 * [taylor]: Taking taylor expansion of x in y
0.919 * [taylor]: Taking taylor expansion of (/ (* z (- (+ (/ 1 z) 1.0) (/ 1 y))) x) in x
0.919 * [taylor]: Taking taylor expansion of (* z (- (+ (/ 1 z) 1.0) (/ 1 y))) in x
0.919 * [taylor]: Taking taylor expansion of z in x
0.919 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) 1.0) (/ 1 y)) in x
0.919 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in x
0.919 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.919 * [taylor]: Taking taylor expansion of z in x
0.919 * [taylor]: Taking taylor expansion of 1.0 in x
0.919 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.919 * [taylor]: Taking taylor expansion of y in x
0.920 * [taylor]: Taking taylor expansion of x in x
0.920 * [taylor]: Taking taylor expansion of (/ (* z (- (+ (/ 1 z) 1.0) (/ 1 y))) x) in x
0.920 * [taylor]: Taking taylor expansion of (* z (- (+ (/ 1 z) 1.0) (/ 1 y))) in x
0.920 * [taylor]: Taking taylor expansion of z in x
0.920 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) 1.0) (/ 1 y)) in x
0.920 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in x
0.920 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.920 * [taylor]: Taking taylor expansion of z in x
0.920 * [taylor]: Taking taylor expansion of 1.0 in x
0.920 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.920 * [taylor]: Taking taylor expansion of y in x
0.920 * [taylor]: Taking taylor expansion of x in x
0.920 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 z) 1.0) (/ 1 y)) z) in y
0.920 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) 1.0) (/ 1 y)) in y
0.921 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in y
0.921 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.921 * [taylor]: Taking taylor expansion of z in y
0.921 * [taylor]: Taking taylor expansion of 1.0 in y
0.921 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.921 * [taylor]: Taking taylor expansion of y in y
0.921 * [taylor]: Taking taylor expansion of z in y
0.922 * [taylor]: Taking taylor expansion of (* -1 z) in z
0.922 * [taylor]: Taking taylor expansion of -1 in z
0.922 * [taylor]: Taking taylor expansion of z in z
0.924 * [taylor]: Taking taylor expansion of 0 in y
0.925 * [taylor]: Taking taylor expansion of (+ (* 1.0 z) 1) in z
0.925 * [taylor]: Taking taylor expansion of (* 1.0 z) in z
0.925 * [taylor]: Taking taylor expansion of 1.0 in z
0.925 * [taylor]: Taking taylor expansion of z in z
0.925 * [taylor]: Taking taylor expansion of 1 in z
0.929 * [taylor]: Taking taylor expansion of 0 in y
0.929 * [taylor]: Taking taylor expansion of 0 in z
0.931 * [taylor]: Taking taylor expansion of 0 in z
0.932 * * * [progress]: simplifying candidates
0.933 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (/ (* x (+ (- y z) 1.0)) z))
  (log1p (/ (* x (+ (- y z) 1.0)) z))
  (- (+ (log x) (log (+ (- y z) 1.0))) (log z))
  (- (log (* x (+ (- y z) 1.0))) (log z))
  (log (/ (* x (+ (- y z) 1.0)) z))
  (exp (/ (* x (+ (- y z) 1.0)) z))
  (/ (* (* (* x x) x) (* (* (+ (- y z) 1.0) (+ (- y z) 1.0)) (+ (- y z) 1.0))) (* (* z z) z))
  (/ (* (* (* x (+ (- y z) 1.0)) (* x (+ (- y z) 1.0))) (* x (+ (- y z) 1.0))) (* (* z z) z))
  (* (cbrt (/ (* x (+ (- y z) 1.0)) z)) (cbrt (/ (* x (+ (- y z) 1.0)) z)))
  (cbrt (/ (* x (+ (- y z) 1.0)) z))
  (* (* (/ (* x (+ (- y z) 1.0)) z) (/ (* x (+ (- y z) 1.0)) z)) (/ (* x (+ (- y z) 1.0)) z))
  (sqrt (/ (* x (+ (- y z) 1.0)) z))
  (sqrt (/ (* x (+ (- y z) 1.0)) z))
  (- (* x (+ (- y z) 1.0)))
  (- z)
  (/ x (* (cbrt z) (cbrt z)))
  (/ (+ (- y z) 1.0) (cbrt z))
  (/ x (sqrt z))
  (/ (+ (- y z) 1.0) (sqrt z))
  (/ x 1)
  (/ (+ (- y z) 1.0) z)
  (/ 1 z)
  (/ z (* x (+ (- y z) 1.0)))
  (/ (* x (+ (- y z) 1.0)) (* (cbrt z) (cbrt z)))
  (/ (* x (+ (- y z) 1.0)) (sqrt z))
  (/ (* x (+ (- y z) 1.0)) 1)
  (/ z (+ (- y z) 1.0))
  (* z (+ (* (- y z) (- y z)) (- (* 1.0 1.0) (* (- y z) 1.0))))
  (* z (- (- y z) 1.0))
  (- (+ (/ (* x y) z) (* 1.0 (/ x z))) x)
  (- (+ (/ (* x y) z) (* 1.0 (/ x z))) x)
  (- (+ (/ (* x y) z) (* 1.0 (/ x z))) x)
0.935 * * [simplify]: iteration  0 :  67  enodes  (cost  364 )
0.946 * * [simplify]: iteration  1 :  189  enodes  (cost  354 )
0.989 * * [simplify]: iteration  2 :  719  enodes  (cost  297 )