81.964 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.045 * * * [progress]: [2/2] Setting up program.
0.054 * [progress]: [Phase 2 of 3] Improving.
0.054 * [simplify]: Simplifying:
  (* x (/ (* (/ y z) t) t))
0.054 * * [simplify]: iteration 0: 8 enodes
0.057 * * [simplify]: iteration 1: 16 enodes
0.061 * * [simplify]: iteration 2: 38 enodes
0.069 * * [simplify]: iteration 3: 96 enodes
0.111 * * [simplify]: iteration 4: 352 enodes
0.699 * * [simplify]: iteration 5: 1745 enodes
1.493 * * [simplify]: iteration complete: 5027 enodes
1.494 * * [simplify]: Extracting #0: cost 1 inf + 0
1.494 * * [simplify]: Extracting #1: cost 260 inf + 0
1.501 * * [simplify]: Extracting #2: cost 1874 inf + 3291
1.541 * * [simplify]: Extracting #3: cost 1131 inf + 92038
1.615 * * [simplify]: Extracting #4: cost 146 inf + 193845
1.689 * * [simplify]: Extracting #5: cost 0 inf + 211857
1.787 * [simplify]: Simplified to:
  (* y (/ x z))
1.799 * * [progress]: iteration 1 / 4
1.799 * * * [progress]: picking best candidate
1.814 * * * * [pick]: Picked  #<alt (λ (x y z t) (* y (/ x z)))>
1.814 * * * [progress]: localizing error
1.827 * * * [progress]: generating rewritten candidates
1.827 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
1.854 * * * [progress]: generating series expansions
1.854 * * * * [progress]: [ 1 / 1 ] generating series at (2)
1.854 * [backup-simplify]: Simplify (* y (/ x z)) into (/ (* x y) z)
1.854 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (y x z) around 0
1.854 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
1.854 * [taylor]: Taking taylor expansion of (* x y) in z
1.854 * [taylor]: Taking taylor expansion of x in z
1.854 * [backup-simplify]: Simplify x into x
1.854 * [taylor]: Taking taylor expansion of y in z
1.854 * [backup-simplify]: Simplify y into y
1.854 * [taylor]: Taking taylor expansion of z in z
1.854 * [backup-simplify]: Simplify 0 into 0
1.854 * [backup-simplify]: Simplify 1 into 1
1.855 * [backup-simplify]: Simplify (* x y) into (* x y)
1.855 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y)
1.855 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
1.855 * [taylor]: Taking taylor expansion of (* x y) in x
1.855 * [taylor]: Taking taylor expansion of x in x
1.855 * [backup-simplify]: Simplify 0 into 0
1.855 * [backup-simplify]: Simplify 1 into 1
1.855 * [taylor]: Taking taylor expansion of y in x
1.855 * [backup-simplify]: Simplify y into y
1.855 * [taylor]: Taking taylor expansion of z in x
1.855 * [backup-simplify]: Simplify z into z
1.855 * [backup-simplify]: Simplify (* 0 y) into 0
1.856 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
1.856 * [backup-simplify]: Simplify (/ y z) into (/ y z)
1.856 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
1.856 * [taylor]: Taking taylor expansion of (* x y) in y
1.856 * [taylor]: Taking taylor expansion of x in y
1.856 * [backup-simplify]: Simplify x into x
1.856 * [taylor]: Taking taylor expansion of y in y
1.856 * [backup-simplify]: Simplify 0 into 0
1.856 * [backup-simplify]: Simplify 1 into 1
1.856 * [taylor]: Taking taylor expansion of z in y
1.856 * [backup-simplify]: Simplify z into z
1.856 * [backup-simplify]: Simplify (* x 0) into 0
1.857 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
1.857 * [backup-simplify]: Simplify (/ x z) into (/ x z)
1.857 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
1.857 * [taylor]: Taking taylor expansion of (* x y) in y
1.857 * [taylor]: Taking taylor expansion of x in y
1.857 * [backup-simplify]: Simplify x into x
1.857 * [taylor]: Taking taylor expansion of y in y
1.857 * [backup-simplify]: Simplify 0 into 0
1.857 * [backup-simplify]: Simplify 1 into 1
1.857 * [taylor]: Taking taylor expansion of z in y
1.857 * [backup-simplify]: Simplify z into z
1.857 * [backup-simplify]: Simplify (* x 0) into 0
1.858 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
1.858 * [backup-simplify]: Simplify (/ x z) into (/ x z)
1.858 * [taylor]: Taking taylor expansion of (/ x z) in x
1.858 * [taylor]: Taking taylor expansion of x in x
1.859 * [backup-simplify]: Simplify 0 into 0
1.859 * [backup-simplify]: Simplify 1 into 1
1.859 * [taylor]: Taking taylor expansion of z in x
1.859 * [backup-simplify]: Simplify z into z
1.859 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.859 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.859 * [taylor]: Taking taylor expansion of z in z
1.859 * [backup-simplify]: Simplify 0 into 0
1.859 * [backup-simplify]: Simplify 1 into 1
1.859 * [backup-simplify]: Simplify (/ 1 1) into 1
1.860 * [backup-simplify]: Simplify 1 into 1
1.861 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
1.861 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)))) into 0
1.861 * [taylor]: Taking taylor expansion of 0 in x
1.861 * [backup-simplify]: Simplify 0 into 0
1.861 * [taylor]: Taking taylor expansion of 0 in z
1.861 * [backup-simplify]: Simplify 0 into 0
1.861 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
1.861 * [taylor]: Taking taylor expansion of 0 in z
1.861 * [backup-simplify]: Simplify 0 into 0
1.862 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.862 * [backup-simplify]: Simplify 0 into 0
1.864 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1.864 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1.864 * [taylor]: Taking taylor expansion of 0 in x
1.864 * [backup-simplify]: Simplify 0 into 0
1.864 * [taylor]: Taking taylor expansion of 0 in z
1.864 * [backup-simplify]: Simplify 0 into 0
1.864 * [taylor]: Taking taylor expansion of 0 in z
1.864 * [backup-simplify]: Simplify 0 into 0
1.864 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1.864 * [taylor]: Taking taylor expansion of 0 in z
1.864 * [backup-simplify]: Simplify 0 into 0
1.865 * [backup-simplify]: Simplify 0 into 0
1.865 * [backup-simplify]: Simplify 0 into 0
1.866 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.866 * [backup-simplify]: Simplify 0 into 0
1.867 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1.868 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
1.868 * [taylor]: Taking taylor expansion of 0 in x
1.868 * [backup-simplify]: Simplify 0 into 0
1.868 * [taylor]: Taking taylor expansion of 0 in z
1.868 * [backup-simplify]: Simplify 0 into 0
1.868 * [taylor]: Taking taylor expansion of 0 in z
1.868 * [backup-simplify]: Simplify 0 into 0
1.868 * [taylor]: Taking taylor expansion of 0 in z
1.868 * [backup-simplify]: Simplify 0 into 0
1.868 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
1.869 * [taylor]: Taking taylor expansion of 0 in z
1.869 * [backup-simplify]: Simplify 0 into 0
1.869 * [backup-simplify]: Simplify 0 into 0
1.869 * [backup-simplify]: Simplify 0 into 0
1.869 * [backup-simplify]: Simplify (* 1 (* (/ 1 z) (* x y))) into (/ (* x y) z)
1.869 * [backup-simplify]: Simplify (* (/ 1 y) (/ (/ 1 x) (/ 1 z))) into (/ z (* x y))
1.869 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (y x z) around 0
1.869 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
1.869 * [taylor]: Taking taylor expansion of z in z
1.869 * [backup-simplify]: Simplify 0 into 0
1.869 * [backup-simplify]: Simplify 1 into 1
1.869 * [taylor]: Taking taylor expansion of (* x y) in z
1.869 * [taylor]: Taking taylor expansion of x in z
1.869 * [backup-simplify]: Simplify x into x
1.869 * [taylor]: Taking taylor expansion of y in z
1.869 * [backup-simplify]: Simplify y into y
1.869 * [backup-simplify]: Simplify (* x y) into (* x y)
1.869 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1.869 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
1.869 * [taylor]: Taking taylor expansion of z in x
1.870 * [backup-simplify]: Simplify z into z
1.870 * [taylor]: Taking taylor expansion of (* x y) in x
1.870 * [taylor]: Taking taylor expansion of x in x
1.870 * [backup-simplify]: Simplify 0 into 0
1.870 * [backup-simplify]: Simplify 1 into 1
1.870 * [taylor]: Taking taylor expansion of y in x
1.870 * [backup-simplify]: Simplify y into y
1.870 * [backup-simplify]: Simplify (* 0 y) into 0
1.871 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
1.871 * [backup-simplify]: Simplify (/ z y) into (/ z y)
1.871 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
1.871 * [taylor]: Taking taylor expansion of z in y
1.871 * [backup-simplify]: Simplify z into z
1.871 * [taylor]: Taking taylor expansion of (* x y) in y
1.871 * [taylor]: Taking taylor expansion of x in y
1.871 * [backup-simplify]: Simplify x into x
1.871 * [taylor]: Taking taylor expansion of y in y
1.871 * [backup-simplify]: Simplify 0 into 0
1.871 * [backup-simplify]: Simplify 1 into 1
1.871 * [backup-simplify]: Simplify (* x 0) into 0
1.872 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
1.872 * [backup-simplify]: Simplify (/ z x) into (/ z x)
1.872 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
1.872 * [taylor]: Taking taylor expansion of z in y
1.872 * [backup-simplify]: Simplify z into z
1.872 * [taylor]: Taking taylor expansion of (* x y) in y
1.872 * [taylor]: Taking taylor expansion of x in y
1.872 * [backup-simplify]: Simplify x into x
1.872 * [taylor]: Taking taylor expansion of y in y
1.872 * [backup-simplify]: Simplify 0 into 0
1.872 * [backup-simplify]: Simplify 1 into 1
1.872 * [backup-simplify]: Simplify (* x 0) into 0
1.873 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
1.873 * [backup-simplify]: Simplify (/ z x) into (/ z x)
1.873 * [taylor]: Taking taylor expansion of (/ z x) in x
1.873 * [taylor]: Taking taylor expansion of z in x
1.873 * [backup-simplify]: Simplify z into z
1.873 * [taylor]: Taking taylor expansion of x in x
1.873 * [backup-simplify]: Simplify 0 into 0
1.873 * [backup-simplify]: Simplify 1 into 1
1.873 * [backup-simplify]: Simplify (/ z 1) into z
1.873 * [taylor]: Taking taylor expansion of z in z
1.873 * [backup-simplify]: Simplify 0 into 0
1.873 * [backup-simplify]: Simplify 1 into 1
1.873 * [backup-simplify]: Simplify 1 into 1
1.874 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
1.875 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0
1.875 * [taylor]: Taking taylor expansion of 0 in x
1.875 * [backup-simplify]: Simplify 0 into 0
1.876 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
1.876 * [taylor]: Taking taylor expansion of 0 in z
1.876 * [backup-simplify]: Simplify 0 into 0
1.876 * [backup-simplify]: Simplify 0 into 0
1.876 * [backup-simplify]: Simplify 0 into 0
1.877 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1.878 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.878 * [taylor]: Taking taylor expansion of 0 in x
1.878 * [backup-simplify]: Simplify 0 into 0
1.878 * [taylor]: Taking taylor expansion of 0 in z
1.878 * [backup-simplify]: Simplify 0 into 0
1.878 * [backup-simplify]: Simplify 0 into 0
1.880 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.880 * [taylor]: Taking taylor expansion of 0 in z
1.880 * [backup-simplify]: Simplify 0 into 0
1.880 * [backup-simplify]: Simplify 0 into 0
1.880 * [backup-simplify]: Simplify 0 into 0
1.880 * [backup-simplify]: Simplify 0 into 0
1.881 * [backup-simplify]: Simplify (* 1 (* (/ 1 z) (* (/ 1 (/ 1 x)) (/ 1 (/ 1 y))))) into (/ (* x y) z)
1.881 * [backup-simplify]: Simplify (* (/ 1 (- y)) (/ (/ 1 (- x)) (/ 1 (- z)))) into (* -1 (/ z (* x y)))
1.881 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (y x z) around 0
1.881 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z
1.881 * [taylor]: Taking taylor expansion of -1 in z
1.881 * [backup-simplify]: Simplify -1 into -1
1.881 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
1.881 * [taylor]: Taking taylor expansion of z in z
1.881 * [backup-simplify]: Simplify 0 into 0
1.881 * [backup-simplify]: Simplify 1 into 1
1.881 * [taylor]: Taking taylor expansion of (* x y) in z
1.881 * [taylor]: Taking taylor expansion of x in z
1.881 * [backup-simplify]: Simplify x into x
1.881 * [taylor]: Taking taylor expansion of y in z
1.881 * [backup-simplify]: Simplify y into y
1.881 * [backup-simplify]: Simplify (* x y) into (* x y)
1.881 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1.881 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
1.881 * [taylor]: Taking taylor expansion of -1 in x
1.881 * [backup-simplify]: Simplify -1 into -1
1.882 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
1.882 * [taylor]: Taking taylor expansion of z in x
1.882 * [backup-simplify]: Simplify z into z
1.882 * [taylor]: Taking taylor expansion of (* x y) in x
1.882 * [taylor]: Taking taylor expansion of x in x
1.882 * [backup-simplify]: Simplify 0 into 0
1.882 * [backup-simplify]: Simplify 1 into 1
1.882 * [taylor]: Taking taylor expansion of y in x
1.882 * [backup-simplify]: Simplify y into y
1.882 * [backup-simplify]: Simplify (* 0 y) into 0
1.883 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
1.883 * [backup-simplify]: Simplify (/ z y) into (/ z y)
1.883 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y
1.883 * [taylor]: Taking taylor expansion of -1 in y
1.883 * [backup-simplify]: Simplify -1 into -1
1.883 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
1.883 * [taylor]: Taking taylor expansion of z in y
1.883 * [backup-simplify]: Simplify z into z
1.883 * [taylor]: Taking taylor expansion of (* x y) in y
1.883 * [taylor]: Taking taylor expansion of x in y
1.883 * [backup-simplify]: Simplify x into x
1.883 * [taylor]: Taking taylor expansion of y in y
1.883 * [backup-simplify]: Simplify 0 into 0
1.883 * [backup-simplify]: Simplify 1 into 1
1.883 * [backup-simplify]: Simplify (* x 0) into 0
1.884 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
1.884 * [backup-simplify]: Simplify (/ z x) into (/ z x)
1.884 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y
1.884 * [taylor]: Taking taylor expansion of -1 in y
1.884 * [backup-simplify]: Simplify -1 into -1
1.884 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
1.884 * [taylor]: Taking taylor expansion of z in y
1.884 * [backup-simplify]: Simplify z into z
1.884 * [taylor]: Taking taylor expansion of (* x y) in y
1.884 * [taylor]: Taking taylor expansion of x in y
1.884 * [backup-simplify]: Simplify x into x
1.884 * [taylor]: Taking taylor expansion of y in y
1.884 * [backup-simplify]: Simplify 0 into 0
1.884 * [backup-simplify]: Simplify 1 into 1
1.884 * [backup-simplify]: Simplify (* x 0) into 0
1.885 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
1.885 * [backup-simplify]: Simplify (/ z x) into (/ z x)
1.885 * [backup-simplify]: Simplify (* -1 (/ z x)) into (* -1 (/ z x))
1.885 * [taylor]: Taking taylor expansion of (* -1 (/ z x)) in x
1.885 * [taylor]: Taking taylor expansion of -1 in x
1.885 * [backup-simplify]: Simplify -1 into -1
1.886 * [taylor]: Taking taylor expansion of (/ z x) in x
1.886 * [taylor]: Taking taylor expansion of z in x
1.886 * [backup-simplify]: Simplify z into z
1.886 * [taylor]: Taking taylor expansion of x in x
1.886 * [backup-simplify]: Simplify 0 into 0
1.886 * [backup-simplify]: Simplify 1 into 1
1.886 * [backup-simplify]: Simplify (/ z 1) into z
1.886 * [backup-simplify]: Simplify (* -1 z) into (* -1 z)
1.886 * [taylor]: Taking taylor expansion of (* -1 z) in z
1.886 * [taylor]: Taking taylor expansion of -1 in z
1.886 * [backup-simplify]: Simplify -1 into -1
1.886 * [taylor]: Taking taylor expansion of z in z
1.886 * [backup-simplify]: Simplify 0 into 0
1.886 * [backup-simplify]: Simplify 1 into 1
1.887 * [backup-simplify]: Simplify (+ (* -1 1) (* 0 0)) into -1
1.887 * [backup-simplify]: Simplify -1 into -1
1.888 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
1.888 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0
1.889 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ z x))) into 0
1.889 * [taylor]: Taking taylor expansion of 0 in x
1.889 * [backup-simplify]: Simplify 0 into 0
1.891 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
1.891 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 z)) into 0
1.891 * [taylor]: Taking taylor expansion of 0 in z
1.891 * [backup-simplify]: Simplify 0 into 0
1.891 * [backup-simplify]: Simplify 0 into 0
1.893 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0
1.893 * [backup-simplify]: Simplify 0 into 0
1.894 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1.894 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.895 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ z x)))) into 0
1.895 * [taylor]: Taking taylor expansion of 0 in x
1.895 * [backup-simplify]: Simplify 0 into 0
1.896 * [taylor]: Taking taylor expansion of 0 in z
1.896 * [backup-simplify]: Simplify 0 into 0
1.896 * [backup-simplify]: Simplify 0 into 0
1.897 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.899 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 z))) into 0
1.899 * [taylor]: Taking taylor expansion of 0 in z
1.899 * [backup-simplify]: Simplify 0 into 0
1.899 * [backup-simplify]: Simplify 0 into 0
1.899 * [backup-simplify]: Simplify 0 into 0
1.900 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1.901 * [backup-simplify]: Simplify 0 into 0
1.906 * [backup-simplify]: Simplify (* -1 (* (/ 1 (- z)) (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- y)))))) into (/ (* x y) z)
1.906 * * * [progress]: simplifying candidates
1.907 * [simplify]: Simplifying:
  (expm1 (* y (/ x z)))
  (log1p (* y (/ x z)))
  (* y (/ x z))
  (+ (log y) (- (log x) (log z)))
  (+ (log y) (log (/ x z)))
  (log (* y (/ x z)))
  (exp (* y (/ x z)))
  (* (* (* y y) y) (/ (* (* x x) x) (* (* z z) z)))
  (* (* (* y y) y) (* (* (/ x z) (/ x z)) (/ x 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) (sqrt (/ x z)))
  (* (sqrt y) (sqrt (/ x z)))
  (* (sqrt y) (/ (sqrt x) (sqrt z)))
  (* (sqrt y) (/ (sqrt x) (sqrt z)))
  (* y (* (cbrt (/ x z)) (cbrt (/ x z))))
  (* y (sqrt (/ x z)))
  (* y (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z))))
  (* y (/ (* (cbrt x) (cbrt x)) (sqrt z)))
  (* y (/ (* (cbrt x) (cbrt x)) 1))
  (* y (/ (sqrt x) (* (cbrt z) (cbrt z))))
  (* y (/ (sqrt x) (sqrt z)))
  (* y (/ (sqrt x) 1))
  (* y (/ 1 (* (cbrt z) (cbrt z))))
  (* y (/ 1 (sqrt z)))
  (* y (/ 1 1))
  (* y 1)
  (* y x)
  (* (cbrt y) (/ x z))
  (* (sqrt y) (/ x z))
  (* y (/ x z))
  (* y x)
  (/ (* x y) z)
  (/ (* x y) z)
  (/ (* x y) z)
1.909 * * [simplify]: iteration 0: 72 enodes
1.932 * * [simplify]: iteration 1: 176 enodes
1.991 * * [simplify]: iteration 2: 567 enodes
2.409 * * [simplify]: iteration 3: 2665 enodes
4.331 * * [simplify]: iteration complete: 5000 enodes
4.331 * * [simplify]: Extracting #0: cost 25 inf + 0
4.332 * * [simplify]: Extracting #1: cost 489 inf + 1
4.348 * * [simplify]: Extracting #2: cost 1122 inf + 17110
4.372 * * [simplify]: Extracting #3: cost 380 inf + 131978
4.424 * * [simplify]: Extracting #4: cost 64 inf + 191499
4.492 * * [simplify]: Extracting #5: cost 7 inf + 201287
4.573 * * [simplify]: Extracting #6: cost 0 inf + 202769
4.631 * [simplify]: Simplified to:
  (expm1 (* y (/ x z)))
  (log1p (* y (/ x z)))
  (* y (/ x z))
  (log (* y (/ x z)))
  (log (* y (/ x z)))
  (log (* y (/ x z)))
  (exp (* y (/ x z)))
  (* (* y (/ x z)) (* (* y (/ x z)) (* y (/ x z))))
  (* (* y (/ x z)) (* (* y (/ x z)) (* y (/ x 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) (sqrt (/ x z)))
  (* (sqrt y) (sqrt (/ x z)))
  (* (sqrt x) (/ (sqrt y) (sqrt z)))
  (* (sqrt x) (/ (sqrt y) (sqrt z)))
  (* (* (cbrt (/ x z)) (cbrt (/ x z))) y)
  (* y (sqrt (/ x z)))
  (* (* y (/ (cbrt x) (cbrt z))) (/ (cbrt x) (cbrt z)))
  (* (* y (cbrt x)) (/ (cbrt x) (sqrt z)))
  (* (* (cbrt x) (cbrt x)) y)
  (* (/ y (* (cbrt z) (cbrt z))) (sqrt x))
  (* (/ y (sqrt z)) (sqrt x))
  (* y (sqrt x))
  (/ (/ y (cbrt z)) (cbrt z))
  (/ y (sqrt z))
  y
  y
  (* y x)
  (* (cbrt y) (/ x z))
  (/ (* x (sqrt y)) z)
  (* y (/ x z))
  (* y x)
  (* y (/ x z))
  (* y (/ x z))
  (* y (/ x z))
4.632 * * * [progress]: adding candidates to table
4.881 * * [progress]: iteration 2 / 4
4.881 * * * [progress]: picking best candidate
4.940 * * * * [pick]: Picked  #<alt (λ (x y z t) (/ (* x y) z))>
4.940 * * * [progress]: localizing error
4.954 * * * [progress]: generating rewritten candidates
4.954 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
4.970 * * * [progress]: generating series expansions
4.970 * * * * [progress]: [ 1 / 1 ] generating series at (2)
4.971 * [backup-simplify]: Simplify (/ (* x y) z) into (/ (* x y) z)
4.971 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (x y z) around 0
4.971 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
4.971 * [taylor]: Taking taylor expansion of (* x y) in z
4.971 * [taylor]: Taking taylor expansion of x in z
4.971 * [backup-simplify]: Simplify x into x
4.971 * [taylor]: Taking taylor expansion of y in z
4.971 * [backup-simplify]: Simplify y into y
4.971 * [taylor]: Taking taylor expansion of z in z
4.971 * [backup-simplify]: Simplify 0 into 0
4.971 * [backup-simplify]: Simplify 1 into 1
4.971 * [backup-simplify]: Simplify (* x y) into (* x y)
4.971 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y)
4.971 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
4.971 * [taylor]: Taking taylor expansion of (* x y) in y
4.972 * [taylor]: Taking taylor expansion of x in y
4.972 * [backup-simplify]: Simplify x into x
4.972 * [taylor]: Taking taylor expansion of y in y
4.972 * [backup-simplify]: Simplify 0 into 0
4.972 * [backup-simplify]: Simplify 1 into 1
4.972 * [taylor]: Taking taylor expansion of z in y
4.972 * [backup-simplify]: Simplify z into z
4.972 * [backup-simplify]: Simplify (* x 0) into 0
4.972 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
4.973 * [backup-simplify]: Simplify (/ x z) into (/ x z)
4.973 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
4.973 * [taylor]: Taking taylor expansion of (* x y) in x
4.973 * [taylor]: Taking taylor expansion of x in x
4.973 * [backup-simplify]: Simplify 0 into 0
4.973 * [backup-simplify]: Simplify 1 into 1
4.973 * [taylor]: Taking taylor expansion of y in x
4.973 * [backup-simplify]: Simplify y into y
4.973 * [taylor]: Taking taylor expansion of z in x
4.973 * [backup-simplify]: Simplify z into z
4.973 * [backup-simplify]: Simplify (* 0 y) into 0
4.974 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.974 * [backup-simplify]: Simplify (/ y z) into (/ y z)
4.974 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
4.974 * [taylor]: Taking taylor expansion of (* x y) in x
4.974 * [taylor]: Taking taylor expansion of x in x
4.974 * [backup-simplify]: Simplify 0 into 0
4.974 * [backup-simplify]: Simplify 1 into 1
4.974 * [taylor]: Taking taylor expansion of y in x
4.974 * [backup-simplify]: Simplify y into y
4.974 * [taylor]: Taking taylor expansion of z in x
4.974 * [backup-simplify]: Simplify z into z
4.974 * [backup-simplify]: Simplify (* 0 y) into 0
4.975 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.975 * [backup-simplify]: Simplify (/ y z) into (/ y z)
4.975 * [taylor]: Taking taylor expansion of (/ y z) in y
4.975 * [taylor]: Taking taylor expansion of y in y
4.975 * [backup-simplify]: Simplify 0 into 0
4.975 * [backup-simplify]: Simplify 1 into 1
4.975 * [taylor]: Taking taylor expansion of z in y
4.975 * [backup-simplify]: Simplify z into z
4.975 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.975 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.975 * [taylor]: Taking taylor expansion of z in z
4.975 * [backup-simplify]: Simplify 0 into 0
4.975 * [backup-simplify]: Simplify 1 into 1
4.976 * [backup-simplify]: Simplify (/ 1 1) into 1
4.976 * [backup-simplify]: Simplify 1 into 1
4.977 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
4.977 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0
4.977 * [taylor]: Taking taylor expansion of 0 in y
4.977 * [backup-simplify]: Simplify 0 into 0
4.977 * [taylor]: Taking taylor expansion of 0 in z
4.977 * [backup-simplify]: Simplify 0 into 0
4.977 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
4.978 * [taylor]: Taking taylor expansion of 0 in z
4.978 * [backup-simplify]: Simplify 0 into 0
4.979 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.979 * [backup-simplify]: Simplify 0 into 0
4.980 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
4.980 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.980 * [taylor]: Taking taylor expansion of 0 in y
4.980 * [backup-simplify]: Simplify 0 into 0
4.980 * [taylor]: Taking taylor expansion of 0 in z
4.981 * [backup-simplify]: Simplify 0 into 0
4.981 * [taylor]: Taking taylor expansion of 0 in z
4.981 * [backup-simplify]: Simplify 0 into 0
4.981 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.981 * [taylor]: Taking taylor expansion of 0 in z
4.981 * [backup-simplify]: Simplify 0 into 0
4.981 * [backup-simplify]: Simplify 0 into 0
4.981 * [backup-simplify]: Simplify 0 into 0
4.982 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.982 * [backup-simplify]: Simplify 0 into 0
4.984 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
4.985 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.985 * [taylor]: Taking taylor expansion of 0 in y
4.985 * [backup-simplify]: Simplify 0 into 0
4.985 * [taylor]: Taking taylor expansion of 0 in z
4.985 * [backup-simplify]: Simplify 0 into 0
4.985 * [taylor]: Taking taylor expansion of 0 in z
4.985 * [backup-simplify]: Simplify 0 into 0
4.985 * [taylor]: Taking taylor expansion of 0 in z
4.985 * [backup-simplify]: Simplify 0 into 0
4.985 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.985 * [taylor]: Taking taylor expansion of 0 in z
4.985 * [backup-simplify]: Simplify 0 into 0
4.985 * [backup-simplify]: Simplify 0 into 0
4.985 * [backup-simplify]: Simplify 0 into 0
4.985 * [backup-simplify]: Simplify (* 1 (* (/ 1 z) (* y x))) into (/ (* x y) z)
4.986 * [backup-simplify]: Simplify (/ (* (/ 1 x) (/ 1 y)) (/ 1 z)) into (/ z (* x y))
4.986 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (x y z) around 0
4.986 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
4.986 * [taylor]: Taking taylor expansion of z in z
4.986 * [backup-simplify]: Simplify 0 into 0
4.986 * [backup-simplify]: Simplify 1 into 1
4.986 * [taylor]: Taking taylor expansion of (* x y) in z
4.986 * [taylor]: Taking taylor expansion of x in z
4.986 * [backup-simplify]: Simplify x into x
4.986 * [taylor]: Taking taylor expansion of y in z
4.986 * [backup-simplify]: Simplify y into y
4.986 * [backup-simplify]: Simplify (* x y) into (* x y)
4.986 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
4.986 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
4.986 * [taylor]: Taking taylor expansion of z in y
4.986 * [backup-simplify]: Simplify z into z
4.986 * [taylor]: Taking taylor expansion of (* x y) in y
4.986 * [taylor]: Taking taylor expansion of x in y
4.986 * [backup-simplify]: Simplify x into x
4.986 * [taylor]: Taking taylor expansion of y in y
4.986 * [backup-simplify]: Simplify 0 into 0
4.986 * [backup-simplify]: Simplify 1 into 1
4.986 * [backup-simplify]: Simplify (* x 0) into 0
4.987 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
4.987 * [backup-simplify]: Simplify (/ z x) into (/ z x)
4.987 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
4.987 * [taylor]: Taking taylor expansion of z in x
4.987 * [backup-simplify]: Simplify z into z
4.987 * [taylor]: Taking taylor expansion of (* x y) in x
4.987 * [taylor]: Taking taylor expansion of x in x
4.987 * [backup-simplify]: Simplify 0 into 0
4.987 * [backup-simplify]: Simplify 1 into 1
4.987 * [taylor]: Taking taylor expansion of y in x
4.988 * [backup-simplify]: Simplify y into y
4.988 * [backup-simplify]: Simplify (* 0 y) into 0
4.988 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.988 * [backup-simplify]: Simplify (/ z y) into (/ z y)
4.988 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
4.988 * [taylor]: Taking taylor expansion of z in x
4.988 * [backup-simplify]: Simplify z into z
4.988 * [taylor]: Taking taylor expansion of (* x y) in x
4.988 * [taylor]: Taking taylor expansion of x in x
4.988 * [backup-simplify]: Simplify 0 into 0
4.988 * [backup-simplify]: Simplify 1 into 1
4.988 * [taylor]: Taking taylor expansion of y in x
4.989 * [backup-simplify]: Simplify y into y
4.989 * [backup-simplify]: Simplify (* 0 y) into 0
4.989 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.989 * [backup-simplify]: Simplify (/ z y) into (/ z y)
4.989 * [taylor]: Taking taylor expansion of (/ z y) in y
4.989 * [taylor]: Taking taylor expansion of z in y
4.989 * [backup-simplify]: Simplify z into z
4.989 * [taylor]: Taking taylor expansion of y in y
4.989 * [backup-simplify]: Simplify 0 into 0
4.990 * [backup-simplify]: Simplify 1 into 1
4.990 * [backup-simplify]: Simplify (/ z 1) into z
4.990 * [taylor]: Taking taylor expansion of z in z
4.990 * [backup-simplify]: Simplify 0 into 0
4.990 * [backup-simplify]: Simplify 1 into 1
4.990 * [backup-simplify]: Simplify 1 into 1
4.991 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
4.991 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0
4.991 * [taylor]: Taking taylor expansion of 0 in y
4.991 * [backup-simplify]: Simplify 0 into 0
4.992 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
4.992 * [taylor]: Taking taylor expansion of 0 in z
4.992 * [backup-simplify]: Simplify 0 into 0
4.992 * [backup-simplify]: Simplify 0 into 0
4.992 * [backup-simplify]: Simplify 0 into 0
4.994 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
4.994 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.994 * [taylor]: Taking taylor expansion of 0 in y
4.994 * [backup-simplify]: Simplify 0 into 0
4.994 * [taylor]: Taking taylor expansion of 0 in z
4.994 * [backup-simplify]: Simplify 0 into 0
4.994 * [backup-simplify]: Simplify 0 into 0
4.996 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.996 * [taylor]: Taking taylor expansion of 0 in z
4.996 * [backup-simplify]: Simplify 0 into 0
4.996 * [backup-simplify]: Simplify 0 into 0
4.996 * [backup-simplify]: Simplify 0 into 0
4.996 * [backup-simplify]: Simplify 0 into 0
4.997 * [backup-simplify]: Simplify (* 1 (* (/ 1 z) (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (/ (* x y) z)
4.997 * [backup-simplify]: Simplify (/ (* (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- z))) into (* -1 (/ z (* x y)))
4.997 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (x y z) around 0
4.997 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z
4.997 * [taylor]: Taking taylor expansion of -1 in z
4.997 * [backup-simplify]: Simplify -1 into -1
4.997 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
4.997 * [taylor]: Taking taylor expansion of z in z
4.997 * [backup-simplify]: Simplify 0 into 0
4.997 * [backup-simplify]: Simplify 1 into 1
4.997 * [taylor]: Taking taylor expansion of (* x y) in z
4.997 * [taylor]: Taking taylor expansion of x in z
4.997 * [backup-simplify]: Simplify x into x
4.997 * [taylor]: Taking taylor expansion of y in z
4.997 * [backup-simplify]: Simplify y into y
4.997 * [backup-simplify]: Simplify (* x y) into (* x y)
4.997 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
4.997 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y
4.997 * [taylor]: Taking taylor expansion of -1 in y
4.998 * [backup-simplify]: Simplify -1 into -1
4.998 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
4.998 * [taylor]: Taking taylor expansion of z in y
4.998 * [backup-simplify]: Simplify z into z
4.998 * [taylor]: Taking taylor expansion of (* x y) in y
4.998 * [taylor]: Taking taylor expansion of x in y
4.998 * [backup-simplify]: Simplify x into x
4.998 * [taylor]: Taking taylor expansion of y in y
4.998 * [backup-simplify]: Simplify 0 into 0
4.998 * [backup-simplify]: Simplify 1 into 1
4.998 * [backup-simplify]: Simplify (* x 0) into 0
4.998 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
4.999 * [backup-simplify]: Simplify (/ z x) into (/ z x)
4.999 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
4.999 * [taylor]: Taking taylor expansion of -1 in x
4.999 * [backup-simplify]: Simplify -1 into -1
4.999 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
4.999 * [taylor]: Taking taylor expansion of z in x
4.999 * [backup-simplify]: Simplify z into z
4.999 * [taylor]: Taking taylor expansion of (* x y) in x
4.999 * [taylor]: Taking taylor expansion of x in x
4.999 * [backup-simplify]: Simplify 0 into 0
4.999 * [backup-simplify]: Simplify 1 into 1
4.999 * [taylor]: Taking taylor expansion of y in x
4.999 * [backup-simplify]: Simplify y into y
4.999 * [backup-simplify]: Simplify (* 0 y) into 0
5.000 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.000 * [backup-simplify]: Simplify (/ z y) into (/ z y)
5.000 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
5.000 * [taylor]: Taking taylor expansion of -1 in x
5.000 * [backup-simplify]: Simplify -1 into -1
5.000 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
5.000 * [taylor]: Taking taylor expansion of z in x
5.000 * [backup-simplify]: Simplify z into z
5.000 * [taylor]: Taking taylor expansion of (* x y) in x
5.000 * [taylor]: Taking taylor expansion of x in x
5.000 * [backup-simplify]: Simplify 0 into 0
5.000 * [backup-simplify]: Simplify 1 into 1
5.000 * [taylor]: Taking taylor expansion of y in x
5.000 * [backup-simplify]: Simplify y into y
5.000 * [backup-simplify]: Simplify (* 0 y) into 0
5.001 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.001 * [backup-simplify]: Simplify (/ z y) into (/ z y)
5.001 * [backup-simplify]: Simplify (* -1 (/ z y)) into (* -1 (/ z y))
5.001 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in y
5.001 * [taylor]: Taking taylor expansion of -1 in y
5.001 * [backup-simplify]: Simplify -1 into -1
5.001 * [taylor]: Taking taylor expansion of (/ z y) in y
5.001 * [taylor]: Taking taylor expansion of z in y
5.001 * [backup-simplify]: Simplify z into z
5.001 * [taylor]: Taking taylor expansion of y in y
5.001 * [backup-simplify]: Simplify 0 into 0
5.001 * [backup-simplify]: Simplify 1 into 1
5.001 * [backup-simplify]: Simplify (/ z 1) into z
5.001 * [backup-simplify]: Simplify (* -1 z) into (* -1 z)
5.001 * [taylor]: Taking taylor expansion of (* -1 z) in z
5.001 * [taylor]: Taking taylor expansion of -1 in z
5.001 * [backup-simplify]: Simplify -1 into -1
5.001 * [taylor]: Taking taylor expansion of z in z
5.001 * [backup-simplify]: Simplify 0 into 0
5.001 * [backup-simplify]: Simplify 1 into 1
5.002 * [backup-simplify]: Simplify (+ (* -1 1) (* 0 0)) into -1
5.003 * [backup-simplify]: Simplify -1 into -1
5.004 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
5.004 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0
5.005 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ z y))) into 0
5.005 * [taylor]: Taking taylor expansion of 0 in y
5.005 * [backup-simplify]: Simplify 0 into 0
5.006 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
5.006 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 z)) into 0
5.006 * [taylor]: Taking taylor expansion of 0 in z
5.006 * [backup-simplify]: Simplify 0 into 0
5.007 * [backup-simplify]: Simplify 0 into 0
5.008 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0
5.008 * [backup-simplify]: Simplify 0 into 0
5.009 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
5.010 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.011 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ z y)))) into 0
5.011 * [taylor]: Taking taylor expansion of 0 in y
5.011 * [backup-simplify]: Simplify 0 into 0
5.011 * [taylor]: Taking taylor expansion of 0 in z
5.011 * [backup-simplify]: Simplify 0 into 0
5.011 * [backup-simplify]: Simplify 0 into 0
5.013 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.014 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 z))) into 0
5.014 * [taylor]: Taking taylor expansion of 0 in z
5.014 * [backup-simplify]: Simplify 0 into 0
5.014 * [backup-simplify]: Simplify 0 into 0
5.014 * [backup-simplify]: Simplify 0 into 0
5.015 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
5.016 * [backup-simplify]: Simplify 0 into 0
5.016 * [backup-simplify]: Simplify (* -1 (* (/ 1 (- z)) (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (/ (* x y) z)
5.016 * * * [progress]: simplifying candidates
5.017 * [simplify]: Simplifying:
  (expm1 (/ (* x y) z))
  (log1p (/ (* x y) z))
  (- (+ (log x) (log y)) (log z))
  (- (log (* x y)) (log z))
  (log (/ (* x y) z))
  (exp (/ (* x y) z))
  (/ (* (* (* x x) x) (* (* y y) y)) (* (* z z) z))
  (/ (* (* (* x y) (* x y)) (* x y)) (* (* z z) z))
  (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z)))
  (cbrt (/ (* x y) z))
  (* (* (/ (* x y) z) (/ (* x y) z)) (/ (* x y) z))
  (sqrt (/ (* x y) z))
  (sqrt (/ (* x y) z))
  (- (* x y))
  (- z)
  (/ x (* (cbrt z) (cbrt z)))
  (/ y (cbrt z))
  (/ x (sqrt z))
  (/ y (sqrt z))
  (/ x 1)
  (/ y z)
  (/ 1 z)
  (/ z (* x y))
  (/ (* x y) (* (cbrt z) (cbrt z)))
  (/ (* x y) (sqrt z))
  (/ (* x y) 1)
  (/ z y)
  (/ (* x y) z)
  (/ (* x y) z)
  (/ (* x y) z)
5.017 * * [simplify]: iteration 0: 50 enodes
5.032 * * [simplify]: iteration 1: 120 enodes
5.090 * * [simplify]: iteration 2: 461 enodes
5.653 * * [simplify]: iteration 3: 2195 enodes
6.572 * * [simplify]: iteration complete: 5000 enodes
6.572 * * [simplify]: Extracting #0: cost 23 inf + 0
6.577 * * [simplify]: Extracting #1: cost 1047 inf + 1
6.591 * * [simplify]: Extracting #2: cost 1744 inf + 2587
6.615 * * [simplify]: Extracting #3: cost 923 inf + 111948
6.698 * * [simplify]: Extracting #4: cost 67 inf + 258025
6.821 * * [simplify]: Extracting #5: cost 0 inf + 271989
6.910 * [simplify]: Simplified to:
  (expm1 (/ x (/ z y)))
  (log1p (/ x (/ z y)))
  (log (/ x (/ z y)))
  (log (/ x (/ z y)))
  (log (/ x (/ z y)))
  (exp (/ x (/ z y)))
  (* (* (/ x (/ z y)) (/ x (/ z y))) (/ x (/ z y)))
  (* (* (/ x (/ z y)) (/ x (/ z y))) (/ x (/ z y)))
  (* (cbrt (/ x (/ z y))) (cbrt (/ x (/ z y))))
  (cbrt (/ x (/ z y)))
  (* (* (/ x (/ z y)) (/ x (/ z y))) (/ x (/ z y)))
  (sqrt (/ x (/ z y)))
  (sqrt (/ x (/ z y)))
  (- (* y x))
  (- z)
  (/ (/ x (cbrt z)) (cbrt z))
  (/ y (cbrt z))
  (/ x (sqrt z))
  (/ y (sqrt z))
  x
  (/ y z)
  (/ 1 z)
  (/ (/ z x) y)
  (/ (/ (* x y) (cbrt z)) (cbrt z))
  (* (/ x (sqrt z)) y)
  (* x y)
  (/ z y)
  (/ x (/ z y))
  (/ x (/ z y))
  (/ x (/ z y))
6.912 * * * [progress]: adding candidates to table
7.034 * * [progress]: iteration 3 / 4
7.034 * * * [progress]: picking best candidate
7.081 * * * * [pick]: Picked  #<alt (λ (x y z t) (/ x (/ z y)))>
7.082 * * * [progress]: localizing error
7.088 * * * [progress]: generating rewritten candidates
7.088 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
7.099 * * * [progress]: generating series expansions
7.099 * * * * [progress]: [ 1 / 1 ] generating series at (2)
7.099 * [backup-simplify]: Simplify (/ x (/ z y)) into (/ (* x y) z)
7.099 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (x z y) around 0
7.099 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
7.099 * [taylor]: Taking taylor expansion of (* x y) in y
7.099 * [taylor]: Taking taylor expansion of x in y
7.099 * [backup-simplify]: Simplify x into x
7.099 * [taylor]: Taking taylor expansion of y in y
7.099 * [backup-simplify]: Simplify 0 into 0
7.099 * [backup-simplify]: Simplify 1 into 1
7.099 * [taylor]: Taking taylor expansion of z in y
7.099 * [backup-simplify]: Simplify z into z
7.100 * [backup-simplify]: Simplify (* x 0) into 0
7.100 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
7.100 * [backup-simplify]: Simplify (/ x z) into (/ x z)
7.100 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
7.100 * [taylor]: Taking taylor expansion of (* x y) in z
7.100 * [taylor]: Taking taylor expansion of x in z
7.100 * [backup-simplify]: Simplify x into x
7.100 * [taylor]: Taking taylor expansion of y in z
7.100 * [backup-simplify]: Simplify y into y
7.100 * [taylor]: Taking taylor expansion of z in z
7.100 * [backup-simplify]: Simplify 0 into 0
7.100 * [backup-simplify]: Simplify 1 into 1
7.100 * [backup-simplify]: Simplify (* x y) into (* x y)
7.100 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y)
7.100 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
7.100 * [taylor]: Taking taylor expansion of (* x y) in x
7.100 * [taylor]: Taking taylor expansion of x in x
7.100 * [backup-simplify]: Simplify 0 into 0
7.100 * [backup-simplify]: Simplify 1 into 1
7.100 * [taylor]: Taking taylor expansion of y in x
7.100 * [backup-simplify]: Simplify y into y
7.101 * [taylor]: Taking taylor expansion of z in x
7.101 * [backup-simplify]: Simplify z into z
7.101 * [backup-simplify]: Simplify (* 0 y) into 0
7.101 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
7.101 * [backup-simplify]: Simplify (/ y z) into (/ y z)
7.101 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
7.101 * [taylor]: Taking taylor expansion of (* x y) in x
7.101 * [taylor]: Taking taylor expansion of x in x
7.101 * [backup-simplify]: Simplify 0 into 0
7.101 * [backup-simplify]: Simplify 1 into 1
7.101 * [taylor]: Taking taylor expansion of y in x
7.101 * [backup-simplify]: Simplify y into y
7.101 * [taylor]: Taking taylor expansion of z in x
7.101 * [backup-simplify]: Simplify z into z
7.101 * [backup-simplify]: Simplify (* 0 y) into 0
7.102 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
7.102 * [backup-simplify]: Simplify (/ y z) into (/ y z)
7.102 * [taylor]: Taking taylor expansion of (/ y z) in z
7.102 * [taylor]: Taking taylor expansion of y in z
7.102 * [backup-simplify]: Simplify y into y
7.102 * [taylor]: Taking taylor expansion of z in z
7.102 * [backup-simplify]: Simplify 0 into 0
7.102 * [backup-simplify]: Simplify 1 into 1
7.102 * [backup-simplify]: Simplify (/ y 1) into y
7.102 * [taylor]: Taking taylor expansion of y in y
7.102 * [backup-simplify]: Simplify 0 into 0
7.102 * [backup-simplify]: Simplify 1 into 1
7.102 * [backup-simplify]: Simplify 1 into 1
7.103 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
7.103 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0
7.103 * [taylor]: Taking taylor expansion of 0 in z
7.103 * [backup-simplify]: Simplify 0 into 0
7.104 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
7.104 * [taylor]: Taking taylor expansion of 0 in y
7.104 * [backup-simplify]: Simplify 0 into 0
7.104 * [backup-simplify]: Simplify 0 into 0
7.104 * [backup-simplify]: Simplify 0 into 0
7.106 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
7.106 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
7.106 * [taylor]: Taking taylor expansion of 0 in z
7.106 * [backup-simplify]: Simplify 0 into 0
7.106 * [taylor]: Taking taylor expansion of 0 in y
7.106 * [backup-simplify]: Simplify 0 into 0
7.106 * [backup-simplify]: Simplify 0 into 0
7.108 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.108 * [taylor]: Taking taylor expansion of 0 in y
7.108 * [backup-simplify]: Simplify 0 into 0
7.108 * [backup-simplify]: Simplify 0 into 0
7.108 * [backup-simplify]: Simplify 0 into 0
7.108 * [backup-simplify]: Simplify 0 into 0
7.109 * [backup-simplify]: Simplify (* 1 (* y (* (/ 1 z) x))) into (/ (* x y) z)
7.109 * [backup-simplify]: Simplify (/ (/ 1 x) (/ (/ 1 z) (/ 1 y))) into (/ z (* x y))
7.109 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (x z y) around 0
7.109 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
7.109 * [taylor]: Taking taylor expansion of z in y
7.109 * [backup-simplify]: Simplify z into z
7.109 * [taylor]: Taking taylor expansion of (* x y) in y
7.109 * [taylor]: Taking taylor expansion of x in y
7.109 * [backup-simplify]: Simplify x into x
7.109 * [taylor]: Taking taylor expansion of y in y
7.109 * [backup-simplify]: Simplify 0 into 0
7.109 * [backup-simplify]: Simplify 1 into 1
7.109 * [backup-simplify]: Simplify (* x 0) into 0
7.110 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
7.110 * [backup-simplify]: Simplify (/ z x) into (/ z x)
7.110 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
7.110 * [taylor]: Taking taylor expansion of z in z
7.110 * [backup-simplify]: Simplify 0 into 0
7.110 * [backup-simplify]: Simplify 1 into 1
7.110 * [taylor]: Taking taylor expansion of (* x y) in z
7.110 * [taylor]: Taking taylor expansion of x in z
7.110 * [backup-simplify]: Simplify x into x
7.110 * [taylor]: Taking taylor expansion of y in z
7.110 * [backup-simplify]: Simplify y into y
7.110 * [backup-simplify]: Simplify (* x y) into (* x y)
7.110 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
7.110 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
7.110 * [taylor]: Taking taylor expansion of z in x
7.110 * [backup-simplify]: Simplify z into z
7.110 * [taylor]: Taking taylor expansion of (* x y) in x
7.111 * [taylor]: Taking taylor expansion of x in x
7.111 * [backup-simplify]: Simplify 0 into 0
7.111 * [backup-simplify]: Simplify 1 into 1
7.111 * [taylor]: Taking taylor expansion of y in x
7.111 * [backup-simplify]: Simplify y into y
7.111 * [backup-simplify]: Simplify (* 0 y) into 0
7.111 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
7.112 * [backup-simplify]: Simplify (/ z y) into (/ z y)
7.112 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
7.112 * [taylor]: Taking taylor expansion of z in x
7.112 * [backup-simplify]: Simplify z into z
7.112 * [taylor]: Taking taylor expansion of (* x y) in x
7.112 * [taylor]: Taking taylor expansion of x in x
7.112 * [backup-simplify]: Simplify 0 into 0
7.112 * [backup-simplify]: Simplify 1 into 1
7.112 * [taylor]: Taking taylor expansion of y in x
7.112 * [backup-simplify]: Simplify y into y
7.112 * [backup-simplify]: Simplify (* 0 y) into 0
7.112 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
7.112 * [backup-simplify]: Simplify (/ z y) into (/ z y)
7.113 * [taylor]: Taking taylor expansion of (/ z y) in z
7.113 * [taylor]: Taking taylor expansion of z in z
7.113 * [backup-simplify]: Simplify 0 into 0
7.113 * [backup-simplify]: Simplify 1 into 1
7.113 * [taylor]: Taking taylor expansion of y in z
7.113 * [backup-simplify]: Simplify y into y
7.113 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.113 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.113 * [taylor]: Taking taylor expansion of y in y
7.113 * [backup-simplify]: Simplify 0 into 0
7.113 * [backup-simplify]: Simplify 1 into 1
7.113 * [backup-simplify]: Simplify (/ 1 1) into 1
7.113 * [backup-simplify]: Simplify 1 into 1
7.115 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
7.115 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0
7.115 * [taylor]: Taking taylor expansion of 0 in z
7.115 * [backup-simplify]: Simplify 0 into 0
7.115 * [taylor]: Taking taylor expansion of 0 in y
7.115 * [backup-simplify]: Simplify 0 into 0
7.115 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0
7.115 * [taylor]: Taking taylor expansion of 0 in y
7.115 * [backup-simplify]: Simplify 0 into 0
7.116 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.116 * [backup-simplify]: Simplify 0 into 0
7.118 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
7.118 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
7.118 * [taylor]: Taking taylor expansion of 0 in z
7.118 * [backup-simplify]: Simplify 0 into 0
7.118 * [taylor]: Taking taylor expansion of 0 in y
7.119 * [backup-simplify]: Simplify 0 into 0
7.119 * [taylor]: Taking taylor expansion of 0 in y
7.119 * [backup-simplify]: Simplify 0 into 0
7.119 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
7.119 * [taylor]: Taking taylor expansion of 0 in y
7.119 * [backup-simplify]: Simplify 0 into 0
7.119 * [backup-simplify]: Simplify 0 into 0
7.119 * [backup-simplify]: Simplify 0 into 0
7.120 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.120 * [backup-simplify]: Simplify 0 into 0
7.123 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
7.123 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
7.123 * [taylor]: Taking taylor expansion of 0 in z
7.123 * [backup-simplify]: Simplify 0 into 0
7.123 * [taylor]: Taking taylor expansion of 0 in y
7.123 * [backup-simplify]: Simplify 0 into 0
7.123 * [taylor]: Taking taylor expansion of 0 in y
7.123 * [backup-simplify]: Simplify 0 into 0
7.123 * [taylor]: Taking taylor expansion of 0 in y
7.123 * [backup-simplify]: Simplify 0 into 0
7.124 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
7.124 * [taylor]: Taking taylor expansion of 0 in y
7.124 * [backup-simplify]: Simplify 0 into 0
7.124 * [backup-simplify]: Simplify 0 into 0
7.124 * [backup-simplify]: Simplify 0 into 0
7.124 * [backup-simplify]: Simplify (* 1 (* (/ 1 (/ 1 y)) (* (/ 1 z) (/ 1 (/ 1 x))))) into (/ (* x y) z)
7.124 * [backup-simplify]: Simplify (/ (/ 1 (- x)) (/ (/ 1 (- z)) (/ 1 (- y)))) into (* -1 (/ z (* x y)))
7.124 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (x z y) around 0
7.124 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y
7.124 * [taylor]: Taking taylor expansion of -1 in y
7.124 * [backup-simplify]: Simplify -1 into -1
7.124 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
7.124 * [taylor]: Taking taylor expansion of z in y
7.124 * [backup-simplify]: Simplify z into z
7.124 * [taylor]: Taking taylor expansion of (* x y) in y
7.124 * [taylor]: Taking taylor expansion of x in y
7.124 * [backup-simplify]: Simplify x into x
7.124 * [taylor]: Taking taylor expansion of y in y
7.125 * [backup-simplify]: Simplify 0 into 0
7.125 * [backup-simplify]: Simplify 1 into 1
7.125 * [backup-simplify]: Simplify (* x 0) into 0
7.125 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
7.125 * [backup-simplify]: Simplify (/ z x) into (/ z x)
7.126 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z
7.126 * [taylor]: Taking taylor expansion of -1 in z
7.126 * [backup-simplify]: Simplify -1 into -1
7.126 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
7.126 * [taylor]: Taking taylor expansion of z in z
7.126 * [backup-simplify]: Simplify 0 into 0
7.126 * [backup-simplify]: Simplify 1 into 1
7.126 * [taylor]: Taking taylor expansion of (* x y) in z
7.126 * [taylor]: Taking taylor expansion of x in z
7.126 * [backup-simplify]: Simplify x into x
7.126 * [taylor]: Taking taylor expansion of y in z
7.126 * [backup-simplify]: Simplify y into y
7.126 * [backup-simplify]: Simplify (* x y) into (* x y)
7.126 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
7.126 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
7.126 * [taylor]: Taking taylor expansion of -1 in x
7.126 * [backup-simplify]: Simplify -1 into -1
7.126 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
7.126 * [taylor]: Taking taylor expansion of z in x
7.126 * [backup-simplify]: Simplify z into z
7.126 * [taylor]: Taking taylor expansion of (* x y) in x
7.126 * [taylor]: Taking taylor expansion of x in x
7.126 * [backup-simplify]: Simplify 0 into 0
7.126 * [backup-simplify]: Simplify 1 into 1
7.126 * [taylor]: Taking taylor expansion of y in x
7.126 * [backup-simplify]: Simplify y into y
7.126 * [backup-simplify]: Simplify (* 0 y) into 0
7.127 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
7.127 * [backup-simplify]: Simplify (/ z y) into (/ z y)
7.127 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
7.127 * [taylor]: Taking taylor expansion of -1 in x
7.127 * [backup-simplify]: Simplify -1 into -1
7.127 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
7.127 * [taylor]: Taking taylor expansion of z in x
7.127 * [backup-simplify]: Simplify z into z
7.128 * [taylor]: Taking taylor expansion of (* x y) in x
7.128 * [taylor]: Taking taylor expansion of x in x
7.128 * [backup-simplify]: Simplify 0 into 0
7.128 * [backup-simplify]: Simplify 1 into 1
7.128 * [taylor]: Taking taylor expansion of y in x
7.128 * [backup-simplify]: Simplify y into y
7.128 * [backup-simplify]: Simplify (* 0 y) into 0
7.128 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
7.129 * [backup-simplify]: Simplify (/ z y) into (/ z y)
7.129 * [backup-simplify]: Simplify (* -1 (/ z y)) into (* -1 (/ z y))
7.129 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in z
7.129 * [taylor]: Taking taylor expansion of -1 in z
7.129 * [backup-simplify]: Simplify -1 into -1
7.129 * [taylor]: Taking taylor expansion of (/ z y) in z
7.129 * [taylor]: Taking taylor expansion of z in z
7.129 * [backup-simplify]: Simplify 0 into 0
7.129 * [backup-simplify]: Simplify 1 into 1
7.129 * [taylor]: Taking taylor expansion of y in z
7.129 * [backup-simplify]: Simplify y into y
7.129 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.129 * [backup-simplify]: Simplify (* -1 (/ 1 y)) into (/ -1 y)
7.129 * [taylor]: Taking taylor expansion of (/ -1 y) in y
7.129 * [taylor]: Taking taylor expansion of -1 in y
7.129 * [backup-simplify]: Simplify -1 into -1
7.129 * [taylor]: Taking taylor expansion of y in y
7.129 * [backup-simplify]: Simplify 0 into 0
7.129 * [backup-simplify]: Simplify 1 into 1
7.130 * [backup-simplify]: Simplify (/ -1 1) into -1
7.130 * [backup-simplify]: Simplify -1 into -1
7.131 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
7.131 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0
7.131 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ z y))) into 0
7.132 * [taylor]: Taking taylor expansion of 0 in z
7.132 * [backup-simplify]: Simplify 0 into 0
7.132 * [taylor]: Taking taylor expansion of 0 in y
7.132 * [backup-simplify]: Simplify 0 into 0
7.132 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0
7.132 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 y))) into 0
7.132 * [taylor]: Taking taylor expansion of 0 in y
7.132 * [backup-simplify]: Simplify 0 into 0
7.133 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
7.133 * [backup-simplify]: Simplify 0 into 0
7.134 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
7.134 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
7.134 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ z y)))) into 0
7.134 * [taylor]: Taking taylor expansion of 0 in z
7.135 * [backup-simplify]: Simplify 0 into 0
7.135 * [taylor]: Taking taylor expansion of 0 in y
7.135 * [backup-simplify]: Simplify 0 into 0
7.135 * [taylor]: Taking taylor expansion of 0 in y
7.135 * [backup-simplify]: Simplify 0 into 0
7.135 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
7.136 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0
7.136 * [taylor]: Taking taylor expansion of 0 in y
7.136 * [backup-simplify]: Simplify 0 into 0
7.136 * [backup-simplify]: Simplify 0 into 0
7.136 * [backup-simplify]: Simplify 0 into 0
7.137 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.137 * [backup-simplify]: Simplify 0 into 0
7.138 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
7.138 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
7.139 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ z y))))) into 0
7.139 * [taylor]: Taking taylor expansion of 0 in z
7.139 * [backup-simplify]: Simplify 0 into 0
7.139 * [taylor]: Taking taylor expansion of 0 in y
7.139 * [backup-simplify]: Simplify 0 into 0
7.139 * [taylor]: Taking taylor expansion of 0 in y
7.139 * [backup-simplify]: Simplify 0 into 0
7.139 * [taylor]: Taking taylor expansion of 0 in y
7.139 * [backup-simplify]: Simplify 0 into 0
7.139 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
7.140 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0
7.140 * [taylor]: Taking taylor expansion of 0 in y
7.140 * [backup-simplify]: Simplify 0 into 0
7.140 * [backup-simplify]: Simplify 0 into 0
7.140 * [backup-simplify]: Simplify 0 into 0
7.140 * [backup-simplify]: Simplify (* -1 (* (/ 1 (/ 1 (- y))) (* (/ 1 (- z)) (/ 1 (/ 1 (- x)))))) into (/ (* x y) z)
7.140 * * * [progress]: simplifying candidates
7.142 * [simplify]: Simplifying:
  (expm1 (/ x (/ z y)))
  (log1p (/ x (/ z y)))
  (- (log x) (- (log z) (log y)))
  (- (log x) (log (/ z y)))
  (log (/ x (/ z y)))
  (exp (/ x (/ z y)))
  (/ (* (* x x) x) (/ (* (* z z) z) (* (* y y) y)))
  (/ (* (* x x) x) (* (* (/ z y) (/ z y)) (/ z y)))
  (* (cbrt (/ x (/ z y))) (cbrt (/ x (/ z y))))
  (cbrt (/ x (/ z y)))
  (* (* (/ x (/ z y)) (/ x (/ z y))) (/ x (/ z y)))
  (sqrt (/ x (/ z y)))
  (sqrt (/ x (/ z y)))
  (- x)
  (- (/ z y))
  (/ (* (cbrt x) (cbrt x)) (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ (cbrt x) (cbrt (/ z y)))
  (/ (* (cbrt x) (cbrt x)) (sqrt (/ z y)))
  (/ (cbrt x) (sqrt (/ z y)))
  (/ (* (cbrt x) (cbrt x)) (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))))
  (/ (cbrt x) (/ (cbrt z) (cbrt y)))
  (/ (* (cbrt x) (cbrt x)) (/ (* (cbrt z) (cbrt z)) (sqrt y)))
  (/ (cbrt x) (/ (cbrt z) (sqrt y)))
  (/ (* (cbrt x) (cbrt x)) (/ (* (cbrt z) (cbrt z)) 1))
  (/ (cbrt x) (/ (cbrt z) y))
  (/ (* (cbrt x) (cbrt x)) (/ (sqrt z) (* (cbrt y) (cbrt y))))
  (/ (cbrt x) (/ (sqrt z) (cbrt y)))
  (/ (* (cbrt x) (cbrt x)) (/ (sqrt z) (sqrt y)))
  (/ (cbrt x) (/ (sqrt z) (sqrt y)))
  (/ (* (cbrt x) (cbrt x)) (/ (sqrt z) 1))
  (/ (cbrt x) (/ (sqrt z) y))
  (/ (* (cbrt x) (cbrt x)) (/ 1 (* (cbrt y) (cbrt y))))
  (/ (cbrt x) (/ z (cbrt y)))
  (/ (* (cbrt x) (cbrt x)) (/ 1 (sqrt y)))
  (/ (cbrt x) (/ z (sqrt y)))
  (/ (* (cbrt x) (cbrt x)) (/ 1 1))
  (/ (cbrt x) (/ z y))
  (/ (* (cbrt x) (cbrt x)) 1)
  (/ (cbrt x) (/ z y))
  (/ (* (cbrt x) (cbrt x)) z)
  (/ (cbrt x) (/ 1 y))
  (/ (sqrt x) (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ (sqrt x) (cbrt (/ z y)))
  (/ (sqrt x) (sqrt (/ z y)))
  (/ (sqrt x) (sqrt (/ z y)))
  (/ (sqrt x) (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))))
  (/ (sqrt x) (/ (cbrt z) (cbrt y)))
  (/ (sqrt x) (/ (* (cbrt z) (cbrt z)) (sqrt y)))
  (/ (sqrt x) (/ (cbrt z) (sqrt y)))
  (/ (sqrt x) (/ (* (cbrt z) (cbrt z)) 1))
  (/ (sqrt x) (/ (cbrt z) y))
  (/ (sqrt x) (/ (sqrt z) (* (cbrt y) (cbrt y))))
  (/ (sqrt x) (/ (sqrt z) (cbrt y)))
  (/ (sqrt x) (/ (sqrt z) (sqrt y)))
  (/ (sqrt x) (/ (sqrt z) (sqrt y)))
  (/ (sqrt x) (/ (sqrt z) 1))
  (/ (sqrt x) (/ (sqrt z) y))
  (/ (sqrt x) (/ 1 (* (cbrt y) (cbrt y))))
  (/ (sqrt x) (/ z (cbrt y)))
  (/ (sqrt x) (/ 1 (sqrt y)))
  (/ (sqrt x) (/ z (sqrt y)))
  (/ (sqrt x) (/ 1 1))
  (/ (sqrt x) (/ z y))
  (/ (sqrt x) 1)
  (/ (sqrt x) (/ z y))
  (/ (sqrt x) z)
  (/ (sqrt x) (/ 1 y))
  (/ 1 (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ x (cbrt (/ z y)))
  (/ 1 (sqrt (/ z y)))
  (/ x (sqrt (/ z y)))
  (/ 1 (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))))
  (/ x (/ (cbrt z) (cbrt y)))
  (/ 1 (/ (* (cbrt z) (cbrt z)) (sqrt y)))
  (/ x (/ (cbrt z) (sqrt y)))
  (/ 1 (/ (* (cbrt z) (cbrt z)) 1))
  (/ x (/ (cbrt z) y))
  (/ 1 (/ (sqrt z) (* (cbrt y) (cbrt y))))
  (/ x (/ (sqrt z) (cbrt y)))
  (/ 1 (/ (sqrt z) (sqrt y)))
  (/ x (/ (sqrt z) (sqrt y)))
  (/ 1 (/ (sqrt z) 1))
  (/ x (/ (sqrt z) y))
  (/ 1 (/ 1 (* (cbrt y) (cbrt y))))
  (/ x (/ z (cbrt y)))
  (/ 1 (/ 1 (sqrt y)))
  (/ x (/ z (sqrt y)))
  (/ 1 (/ 1 1))
  (/ x (/ z y))
  (/ 1 1)
  (/ x (/ z y))
  (/ 1 z)
  (/ x (/ 1 y))
  (/ 1 (/ z y))
  (/ (/ z y) x)
  (/ x (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ x (sqrt (/ z y)))
  (/ x (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))))
  (/ x (/ (* (cbrt z) (cbrt z)) (sqrt y)))
  (/ x (/ (* (cbrt z) (cbrt z)) 1))
  (/ x (/ (sqrt z) (* (cbrt y) (cbrt y))))
  (/ x (/ (sqrt z) (sqrt y)))
  (/ x (/ (sqrt z) 1))
  (/ x (/ 1 (* (cbrt y) (cbrt y))))
  (/ x (/ 1 (sqrt y)))
  (/ x (/ 1 1))
  (/ x 1)
  (/ x z)
  (/ (/ z y) (cbrt x))
  (/ (/ z y) (sqrt x))
  (/ (/ z y) x)
  (/ x z)
  (/ (* x y) z)
  (/ (* x y) z)
  (/ (* x y) z)
7.143 * * [simplify]: iteration 0: 152 enodes
7.187 * * [simplify]: iteration 1: 370 enodes
7.343 * * [simplify]: iteration 2: 971 enodes
8.070 * * [simplify]: iteration 3: 3436 enodes
9.016 * * [simplify]: iteration complete: 5000 enodes
9.016 * * [simplify]: Extracting #0: cost 94 inf + 0
9.021 * * [simplify]: Extracting #1: cost 814 inf + 84
9.036 * * [simplify]: Extracting #2: cost 1454 inf + 22399
9.069 * * [simplify]: Extracting #3: cost 536 inf + 166564
9.135 * * [simplify]: Extracting #4: cost 58 inf + 258600
9.190 * * [simplify]: Extracting #5: cost 0 inf + 269537
9.244 * [simplify]: Simplified to:
  (expm1 (/ x (/ z y)))
  (log1p (/ x (/ z y)))
  (log (/ x (/ z y)))
  (log (/ x (/ z y)))
  (log (/ x (/ z y)))
  (exp (/ x (/ z y)))
  (* (* (/ x (/ z y)) (/ x (/ z y))) (/ x (/ z y)))
  (* (* (/ x (/ z y)) (/ x (/ z y))) (/ x (/ z y)))
  (* (cbrt (/ x (/ z y))) (cbrt (/ x (/ z y))))
  (cbrt (/ x (/ z y)))
  (* (* (/ x (/ z y)) (/ x (/ z y))) (/ x (/ z y)))
  (sqrt (/ x (/ z y)))
  (sqrt (/ x (/ z y)))
  (- x)
  (- (/ z y))
  (* (/ (cbrt x) (cbrt (/ z y))) (/ (cbrt x) (cbrt (/ z y))))
  (/ (cbrt x) (cbrt (/ z y)))
  (/ (* (cbrt x) (cbrt x)) (sqrt (/ z y)))
  (/ (cbrt x) (sqrt (/ z y)))
  (* (* (/ (cbrt x) (cbrt z)) (cbrt y)) (* (/ (cbrt x) (cbrt z)) (cbrt y)))
  (/ (* (cbrt y) (cbrt x)) (cbrt z))
  (* (/ (cbrt x) (cbrt z)) (* (/ (cbrt x) (cbrt z)) (sqrt y)))
  (* (/ (cbrt x) (cbrt z)) (sqrt y))
  (* (/ (cbrt x) (cbrt z)) (/ (cbrt x) (cbrt z)))
  (/ (cbrt x) (/ (cbrt z) y))
  (* (* (cbrt y) (cbrt y)) (* (/ (cbrt x) (sqrt z)) (cbrt x)))
  (/ (* (cbrt x) (cbrt y)) (sqrt z))
  (/ (* (sqrt y) (cbrt x)) (/ (sqrt z) (cbrt x)))
  (/ (* (sqrt y) (cbrt x)) (sqrt z))
  (* (/ (cbrt x) (sqrt z)) (cbrt x))
  (/ (* (cbrt x) y) (sqrt z))
  (* (* (cbrt y) (cbrt y)) (* (cbrt x) (cbrt x)))
  (* (cbrt y) (/ (cbrt x) z))
  (* (* (sqrt y) (cbrt x)) (cbrt x))
  (/ (* (sqrt y) (cbrt x)) z)
  (* (cbrt x) (cbrt x))
  (* (/ (cbrt x) z) y)
  (* (cbrt x) (cbrt x))
  (* (/ (cbrt x) z) y)
  (/ (* (cbrt x) (cbrt x)) z)
  (* y (cbrt x))
  (/ (sqrt x) (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ (sqrt x) (cbrt (/ z y)))
  (/ (sqrt x) (sqrt (/ z y)))
  (/ (sqrt x) (sqrt (/ z y)))
  (/ (sqrt x) (* (/ (cbrt z) (cbrt y)) (/ (cbrt z) (cbrt y))))
  (/ (* (cbrt y) (sqrt x)) (cbrt z))
  (/ (sqrt x) (/ (cbrt z) (/ (sqrt y) (cbrt z))))
  (/ (* (sqrt x) (sqrt y)) (cbrt z))
  (/ (sqrt x) (* (cbrt z) (cbrt z)))
  (* (/ (sqrt x) (cbrt z)) y)
  (* (/ (* (sqrt x) (cbrt y)) (sqrt z)) (cbrt y))
  (/ (* (sqrt x) (cbrt y)) (sqrt z))
  (/ (sqrt y) (/ (sqrt z) (sqrt x)))
  (/ (sqrt y) (/ (sqrt z) (sqrt x)))
  (/ (sqrt x) (sqrt z))
  (/ (* (sqrt x) y) (sqrt z))
  (* (* (cbrt y) (cbrt y)) (sqrt x))
  (/ (* (cbrt y) (sqrt x)) z)
  (* (sqrt x) (sqrt y))
  (* (/ (sqrt x) z) (sqrt y))
  (sqrt x)
  (/ (* y (sqrt x)) z)
  (sqrt x)
  (/ (* y (sqrt x)) z)
  (/ (sqrt x) z)
  (* y (sqrt x))
  (/ 1 (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ x (cbrt (/ z y)))
  (/ 1 (sqrt (/ z y)))
  (/ x (sqrt (/ z y)))
  (* (/ (cbrt y) (cbrt z)) (/ (cbrt y) (cbrt z)))
  (/ (* (cbrt y) x) (cbrt z))
  (/ (sqrt y) (* (cbrt z) (cbrt z)))
  (* (sqrt y) (/ x (cbrt z)))
  (/ (/ 1 (cbrt z)) (cbrt z))
  (/ x (/ (cbrt z) y))
  (/ (* (cbrt y) (cbrt y)) (sqrt z))
  (/ (* x (cbrt y)) (sqrt z))
  (/ (sqrt y) (sqrt z))
  (* (sqrt y) (/ x (sqrt z)))
  (/ 1 (sqrt z))
  (/ (* x y) (sqrt z))
  (* (cbrt y) (cbrt y))
  (/ (* x (cbrt y)) z)
  (sqrt y)
  (/ (* (sqrt y) x) z)
  1
  (/ x (/ z y))
  1
  (/ x (/ z y))
  (/ 1 z)
  (* x y)
  (/ y z)
  (/ (/ z x) y)
  (/ x (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ x (sqrt (/ z y)))
  (/ x (* (/ (cbrt z) (cbrt y)) (/ (cbrt z) (cbrt y))))
  (/ x (/ (cbrt z) (/ (sqrt y) (cbrt z))))
  (/ x (* (cbrt z) (cbrt z)))
  (* (* (cbrt y) (cbrt y)) (/ x (sqrt z)))
  (* (sqrt y) (/ x (sqrt z)))
  (/ x (sqrt z))
  (* (* x (cbrt y)) (cbrt y))
  (* (sqrt y) x)
  x
  x
  (/ x z)
  (/ z (* y (cbrt x)))
  (/ z (* y (sqrt x)))
  (/ (/ z x) y)
  (/ x z)
  (/ x (/ z y))
  (/ x (/ z y))
  (/ x (/ z y))
9.248 * * * [progress]: adding candidates to table
9.716 * * [progress]: iteration 4 / 4
9.716 * * * [progress]: picking best candidate
9.746 * * * * [pick]: Picked  #<alt (λ (x y z t) (/ 1 (/ (/ z y) x)))>
9.747 * * * [progress]: localizing error
9.766 * * * [progress]: generating rewritten candidates
9.766 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
9.791 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
9.845 * * * [progress]: generating series expansions
9.845 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
9.845 * [backup-simplify]: Simplify (/ (/ z y) x) into (/ z (* x y))
9.845 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (z y x) around 0
9.845 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
9.846 * [taylor]: Taking taylor expansion of z in x
9.846 * [backup-simplify]: Simplify z into z
9.846 * [taylor]: Taking taylor expansion of (* x y) in x
9.846 * [taylor]: Taking taylor expansion of x in x
9.846 * [backup-simplify]: Simplify 0 into 0
9.846 * [backup-simplify]: Simplify 1 into 1
9.846 * [taylor]: Taking taylor expansion of y in x
9.846 * [backup-simplify]: Simplify y into y
9.846 * [backup-simplify]: Simplify (* 0 y) into 0
9.846 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
9.846 * [backup-simplify]: Simplify (/ z y) into (/ z y)
9.846 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
9.847 * [taylor]: Taking taylor expansion of z in y
9.847 * [backup-simplify]: Simplify z into z
9.847 * [taylor]: Taking taylor expansion of (* x y) in y
9.847 * [taylor]: Taking taylor expansion of x in y
9.847 * [backup-simplify]: Simplify x into x
9.847 * [taylor]: Taking taylor expansion of y in y
9.847 * [backup-simplify]: Simplify 0 into 0
9.847 * [backup-simplify]: Simplify 1 into 1
9.847 * [backup-simplify]: Simplify (* x 0) into 0
9.847 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
9.847 * [backup-simplify]: Simplify (/ z x) into (/ z x)
9.847 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
9.847 * [taylor]: Taking taylor expansion of z in z
9.847 * [backup-simplify]: Simplify 0 into 0
9.847 * [backup-simplify]: Simplify 1 into 1
9.847 * [taylor]: Taking taylor expansion of (* x y) in z
9.847 * [taylor]: Taking taylor expansion of x in z
9.847 * [backup-simplify]: Simplify x into x
9.847 * [taylor]: Taking taylor expansion of y in z
9.847 * [backup-simplify]: Simplify y into y
9.847 * [backup-simplify]: Simplify (* x y) into (* x y)
9.848 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
9.848 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
9.848 * [taylor]: Taking taylor expansion of z in z
9.848 * [backup-simplify]: Simplify 0 into 0
9.848 * [backup-simplify]: Simplify 1 into 1
9.848 * [taylor]: Taking taylor expansion of (* x y) in z
9.848 * [taylor]: Taking taylor expansion of x in z
9.848 * [backup-simplify]: Simplify x into x
9.848 * [taylor]: Taking taylor expansion of y in z
9.848 * [backup-simplify]: Simplify y into y
9.848 * [backup-simplify]: Simplify (* x y) into (* x y)
9.848 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
9.848 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
9.848 * [taylor]: Taking taylor expansion of (* x y) in y
9.848 * [taylor]: Taking taylor expansion of x in y
9.848 * [backup-simplify]: Simplify x into x
9.848 * [taylor]: Taking taylor expansion of y in y
9.848 * [backup-simplify]: Simplify 0 into 0
9.848 * [backup-simplify]: Simplify 1 into 1
9.848 * [backup-simplify]: Simplify (* x 0) into 0
9.849 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
9.849 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
9.849 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.849 * [taylor]: Taking taylor expansion of x in x
9.849 * [backup-simplify]: Simplify 0 into 0
9.849 * [backup-simplify]: Simplify 1 into 1
9.849 * [backup-simplify]: Simplify (/ 1 1) into 1
9.849 * [backup-simplify]: Simplify 1 into 1
9.849 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0
9.849 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0
9.850 * [taylor]: Taking taylor expansion of 0 in y
9.850 * [backup-simplify]: Simplify 0 into 0
9.850 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
9.850 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
9.850 * [taylor]: Taking taylor expansion of 0 in x
9.850 * [backup-simplify]: Simplify 0 into 0
9.851 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.851 * [backup-simplify]: Simplify 0 into 0
9.852 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0
9.852 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0
9.852 * [taylor]: Taking taylor expansion of 0 in y
9.852 * [backup-simplify]: Simplify 0 into 0
9.852 * [taylor]: Taking taylor expansion of 0 in x
9.852 * [backup-simplify]: Simplify 0 into 0
9.853 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
9.853 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
9.853 * [taylor]: Taking taylor expansion of 0 in x
9.853 * [backup-simplify]: Simplify 0 into 0
9.853 * [backup-simplify]: Simplify 0 into 0
9.853 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.853 * [backup-simplify]: Simplify 0 into 0
9.854 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
9.854 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0
9.854 * [taylor]: Taking taylor expansion of 0 in y
9.854 * [backup-simplify]: Simplify 0 into 0
9.854 * [taylor]: Taking taylor expansion of 0 in x
9.854 * [backup-simplify]: Simplify 0 into 0
9.855 * [taylor]: Taking taylor expansion of 0 in x
9.855 * [backup-simplify]: Simplify 0 into 0
9.855 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
9.855 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
9.855 * [taylor]: Taking taylor expansion of 0 in x
9.855 * [backup-simplify]: Simplify 0 into 0
9.855 * [backup-simplify]: Simplify 0 into 0
9.856 * [backup-simplify]: Simplify 0 into 0
9.856 * [backup-simplify]: Simplify 0 into 0
9.856 * [backup-simplify]: Simplify (* 1 (* (/ 1 x) (* (/ 1 y) z))) into (/ z (* x y))
9.856 * [backup-simplify]: Simplify (/ (/ (/ 1 z) (/ 1 y)) (/ 1 x)) into (/ (* x y) z)
9.856 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (z y x) around 0
9.856 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
9.856 * [taylor]: Taking taylor expansion of (* x y) in x
9.856 * [taylor]: Taking taylor expansion of x in x
9.856 * [backup-simplify]: Simplify 0 into 0
9.856 * [backup-simplify]: Simplify 1 into 1
9.856 * [taylor]: Taking taylor expansion of y in x
9.856 * [backup-simplify]: Simplify y into y
9.856 * [taylor]: Taking taylor expansion of z in x
9.856 * [backup-simplify]: Simplify z into z
9.856 * [backup-simplify]: Simplify (* 0 y) into 0
9.856 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
9.856 * [backup-simplify]: Simplify (/ y z) into (/ y z)
9.857 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
9.857 * [taylor]: Taking taylor expansion of (* x y) in y
9.857 * [taylor]: Taking taylor expansion of x in y
9.857 * [backup-simplify]: Simplify x into x
9.857 * [taylor]: Taking taylor expansion of y in y
9.857 * [backup-simplify]: Simplify 0 into 0
9.857 * [backup-simplify]: Simplify 1 into 1
9.857 * [taylor]: Taking taylor expansion of z in y
9.857 * [backup-simplify]: Simplify z into z
9.857 * [backup-simplify]: Simplify (* x 0) into 0
9.857 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
9.857 * [backup-simplify]: Simplify (/ x z) into (/ x z)
9.857 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
9.857 * [taylor]: Taking taylor expansion of (* x y) in z
9.857 * [taylor]: Taking taylor expansion of x in z
9.857 * [backup-simplify]: Simplify x into x
9.857 * [taylor]: Taking taylor expansion of y in z
9.857 * [backup-simplify]: Simplify y into y
9.857 * [taylor]: Taking taylor expansion of z in z
9.857 * [backup-simplify]: Simplify 0 into 0
9.857 * [backup-simplify]: Simplify 1 into 1
9.857 * [backup-simplify]: Simplify (* x y) into (* x y)
9.857 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y)
9.857 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
9.857 * [taylor]: Taking taylor expansion of (* x y) in z
9.857 * [taylor]: Taking taylor expansion of x in z
9.857 * [backup-simplify]: Simplify x into x
9.857 * [taylor]: Taking taylor expansion of y in z
9.857 * [backup-simplify]: Simplify y into y
9.857 * [taylor]: Taking taylor expansion of z in z
9.857 * [backup-simplify]: Simplify 0 into 0
9.857 * [backup-simplify]: Simplify 1 into 1
9.858 * [backup-simplify]: Simplify (* x y) into (* x y)
9.858 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y)
9.858 * [taylor]: Taking taylor expansion of (* x y) in y
9.858 * [taylor]: Taking taylor expansion of x in y
9.858 * [backup-simplify]: Simplify x into x
9.858 * [taylor]: Taking taylor expansion of y in y
9.858 * [backup-simplify]: Simplify 0 into 0
9.858 * [backup-simplify]: Simplify 1 into 1
9.858 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
9.858 * [taylor]: Taking taylor expansion of x in x
9.858 * [backup-simplify]: Simplify 0 into 0
9.858 * [backup-simplify]: Simplify 1 into 1
9.858 * [backup-simplify]: Simplify 1 into 1
9.858 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0
9.859 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)))) into 0
9.859 * [taylor]: Taking taylor expansion of 0 in y
9.859 * [backup-simplify]: Simplify 0 into 0
9.859 * [taylor]: Taking taylor expansion of 0 in x
9.859 * [backup-simplify]: Simplify 0 into 0
9.859 * [backup-simplify]: Simplify 0 into 0
9.860 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
9.860 * [taylor]: Taking taylor expansion of 0 in x
9.860 * [backup-simplify]: Simplify 0 into 0
9.860 * [backup-simplify]: Simplify 0 into 0
9.860 * [backup-simplify]: Simplify 0 into 0
9.860 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0
9.861 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.861 * [taylor]: Taking taylor expansion of 0 in y
9.861 * [backup-simplify]: Simplify 0 into 0
9.861 * [taylor]: Taking taylor expansion of 0 in x
9.861 * [backup-simplify]: Simplify 0 into 0
9.861 * [backup-simplify]: Simplify 0 into 0
9.861 * [taylor]: Taking taylor expansion of 0 in x
9.861 * [backup-simplify]: Simplify 0 into 0
9.861 * [backup-simplify]: Simplify 0 into 0
9.862 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
9.862 * [taylor]: Taking taylor expansion of 0 in x
9.862 * [backup-simplify]: Simplify 0 into 0
9.862 * [backup-simplify]: Simplify 0 into 0
9.862 * [backup-simplify]: Simplify (* 1 (* (/ 1 x) (* (/ 1 y) (/ 1 (/ 1 z))))) into (/ z (* x y))
9.862 * [backup-simplify]: Simplify (/ (/ (/ 1 (- z)) (/ 1 (- y))) (/ 1 (- x))) into (* -1 (/ (* x y) z))
9.862 * [approximate]: Taking taylor expansion of (* -1 (/ (* x y) z)) in (z y x) around 0
9.862 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in x
9.862 * [taylor]: Taking taylor expansion of -1 in x
9.862 * [backup-simplify]: Simplify -1 into -1
9.863 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
9.863 * [taylor]: Taking taylor expansion of (* x y) in x
9.863 * [taylor]: Taking taylor expansion of x in x
9.863 * [backup-simplify]: Simplify 0 into 0
9.863 * [backup-simplify]: Simplify 1 into 1
9.863 * [taylor]: Taking taylor expansion of y in x
9.863 * [backup-simplify]: Simplify y into y
9.863 * [taylor]: Taking taylor expansion of z in x
9.863 * [backup-simplify]: Simplify z into z
9.863 * [backup-simplify]: Simplify (* 0 y) into 0
9.863 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
9.863 * [backup-simplify]: Simplify (/ y z) into (/ y z)
9.863 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in y
9.863 * [taylor]: Taking taylor expansion of -1 in y
9.863 * [backup-simplify]: Simplify -1 into -1
9.863 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
9.863 * [taylor]: Taking taylor expansion of (* x y) in y
9.863 * [taylor]: Taking taylor expansion of x in y
9.863 * [backup-simplify]: Simplify x into x
9.863 * [taylor]: Taking taylor expansion of y in y
9.863 * [backup-simplify]: Simplify 0 into 0
9.863 * [backup-simplify]: Simplify 1 into 1
9.863 * [taylor]: Taking taylor expansion of z in y
9.863 * [backup-simplify]: Simplify z into z
9.863 * [backup-simplify]: Simplify (* x 0) into 0
9.864 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
9.864 * [backup-simplify]: Simplify (/ x z) into (/ x z)
9.864 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in z
9.864 * [taylor]: Taking taylor expansion of -1 in z
9.864 * [backup-simplify]: Simplify -1 into -1
9.864 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
9.864 * [taylor]: Taking taylor expansion of (* x y) in z
9.864 * [taylor]: Taking taylor expansion of x in z
9.864 * [backup-simplify]: Simplify x into x
9.864 * [taylor]: Taking taylor expansion of y in z
9.864 * [backup-simplify]: Simplify y into y
9.864 * [taylor]: Taking taylor expansion of z in z
9.864 * [backup-simplify]: Simplify 0 into 0
9.864 * [backup-simplify]: Simplify 1 into 1
9.864 * [backup-simplify]: Simplify (* x y) into (* x y)
9.864 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y)
9.864 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in z
9.864 * [taylor]: Taking taylor expansion of -1 in z
9.864 * [backup-simplify]: Simplify -1 into -1
9.864 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
9.864 * [taylor]: Taking taylor expansion of (* x y) in z
9.865 * [taylor]: Taking taylor expansion of x in z
9.865 * [backup-simplify]: Simplify x into x
9.865 * [taylor]: Taking taylor expansion of y in z
9.865 * [backup-simplify]: Simplify y into y
9.865 * [taylor]: Taking taylor expansion of z in z
9.865 * [backup-simplify]: Simplify 0 into 0
9.865 * [backup-simplify]: Simplify 1 into 1
9.865 * [backup-simplify]: Simplify (* x y) into (* x y)
9.865 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y)
9.865 * [backup-simplify]: Simplify (* -1 (* x y)) into (* -1 (* x y))
9.865 * [taylor]: Taking taylor expansion of (* -1 (* x y)) in y
9.865 * [taylor]: Taking taylor expansion of -1 in y
9.865 * [backup-simplify]: Simplify -1 into -1
9.865 * [taylor]: Taking taylor expansion of (* x y) in y
9.865 * [taylor]: Taking taylor expansion of x in y
9.865 * [backup-simplify]: Simplify x into x
9.865 * [taylor]: Taking taylor expansion of y in y
9.865 * [backup-simplify]: Simplify 0 into 0
9.865 * [backup-simplify]: Simplify 1 into 1
9.865 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
9.865 * [backup-simplify]: Simplify (* x 0) into 0
9.866 * [backup-simplify]: Simplify (+ (* -1 x) (* 0 0)) into (- x)
9.866 * [taylor]: Taking taylor expansion of (- x) in x
9.866 * [taylor]: Taking taylor expansion of x in x
9.866 * [backup-simplify]: Simplify 0 into 0
9.866 * [backup-simplify]: Simplify 1 into 1
9.866 * [backup-simplify]: Simplify (- 1) into -1
9.866 * [backup-simplify]: Simplify -1 into -1
9.866 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0
9.867 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)))) into 0
9.868 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (* x y))) into 0
9.868 * [taylor]: Taking taylor expansion of 0 in y
9.868 * [backup-simplify]: Simplify 0 into 0
9.868 * [taylor]: Taking taylor expansion of 0 in x
9.868 * [backup-simplify]: Simplify 0 into 0
9.868 * [backup-simplify]: Simplify 0 into 0
9.869 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
9.870 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 x) (* 0 0))) into 0
9.870 * [taylor]: Taking taylor expansion of 0 in x
9.870 * [backup-simplify]: Simplify 0 into 0
9.870 * [backup-simplify]: Simplify 0 into 0
9.871 * [backup-simplify]: Simplify (- 0) into 0
9.871 * [backup-simplify]: Simplify 0 into 0
9.871 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0
9.873 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.874 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (* x y)))) into 0
9.874 * [taylor]: Taking taylor expansion of 0 in y
9.874 * [backup-simplify]: Simplify 0 into 0
9.874 * [taylor]: Taking taylor expansion of 0 in x
9.874 * [backup-simplify]: Simplify 0 into 0
9.874 * [backup-simplify]: Simplify 0 into 0
9.874 * [taylor]: Taking taylor expansion of 0 in x
9.874 * [backup-simplify]: Simplify 0 into 0
9.874 * [backup-simplify]: Simplify 0 into 0
9.875 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
9.877 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 x) (* 0 0)))) into 0
9.877 * [taylor]: Taking taylor expansion of 0 in x
9.877 * [backup-simplify]: Simplify 0 into 0
9.877 * [backup-simplify]: Simplify 0 into 0
9.877 * [backup-simplify]: Simplify (* -1 (* (/ 1 (- x)) (* (/ 1 (- y)) (/ 1 (/ 1 (- z)))))) into (/ z (* x y))
9.877 * * * * [progress]: [ 2 / 2 ] generating series at (2)
9.878 * [backup-simplify]: Simplify (/ 1 (/ (/ z y) x)) into (/ (* x y) z)
9.878 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (z y x) around 0
9.878 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
9.878 * [taylor]: Taking taylor expansion of (* x y) in x
9.878 * [taylor]: Taking taylor expansion of x in x
9.878 * [backup-simplify]: Simplify 0 into 0
9.878 * [backup-simplify]: Simplify 1 into 1
9.878 * [taylor]: Taking taylor expansion of y in x
9.878 * [backup-simplify]: Simplify y into y
9.878 * [taylor]: Taking taylor expansion of z in x
9.878 * [backup-simplify]: Simplify z into z
9.878 * [backup-simplify]: Simplify (* 0 y) into 0
9.878 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
9.879 * [backup-simplify]: Simplify (/ y z) into (/ y z)
9.879 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
9.879 * [taylor]: Taking taylor expansion of (* x y) in y
9.879 * [taylor]: Taking taylor expansion of x in y
9.879 * [backup-simplify]: Simplify x into x
9.879 * [taylor]: Taking taylor expansion of y in y
9.879 * [backup-simplify]: Simplify 0 into 0
9.879 * [backup-simplify]: Simplify 1 into 1
9.879 * [taylor]: Taking taylor expansion of z in y
9.879 * [backup-simplify]: Simplify z into z
9.879 * [backup-simplify]: Simplify (* x 0) into 0
9.879 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
9.880 * [backup-simplify]: Simplify (/ x z) into (/ x z)
9.880 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
9.880 * [taylor]: Taking taylor expansion of (* x y) in z
9.880 * [taylor]: Taking taylor expansion of x in z
9.880 * [backup-simplify]: Simplify x into x
9.880 * [taylor]: Taking taylor expansion of y in z
9.880 * [backup-simplify]: Simplify y into y
9.880 * [taylor]: Taking taylor expansion of z in z
9.880 * [backup-simplify]: Simplify 0 into 0
9.880 * [backup-simplify]: Simplify 1 into 1
9.880 * [backup-simplify]: Simplify (* x y) into (* x y)
9.880 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y)
9.880 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
9.880 * [taylor]: Taking taylor expansion of (* x y) in z
9.880 * [taylor]: Taking taylor expansion of x in z
9.880 * [backup-simplify]: Simplify x into x
9.880 * [taylor]: Taking taylor expansion of y in z
9.880 * [backup-simplify]: Simplify y into y
9.880 * [taylor]: Taking taylor expansion of z in z
9.880 * [backup-simplify]: Simplify 0 into 0
9.880 * [backup-simplify]: Simplify 1 into 1
9.880 * [backup-simplify]: Simplify (* x y) into (* x y)
9.880 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y)
9.880 * [taylor]: Taking taylor expansion of (* x y) in y
9.881 * [taylor]: Taking taylor expansion of x in y
9.881 * [backup-simplify]: Simplify x into x
9.881 * [taylor]: Taking taylor expansion of y in y
9.881 * [backup-simplify]: Simplify 0 into 0
9.881 * [backup-simplify]: Simplify 1 into 1
9.881 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
9.881 * [taylor]: Taking taylor expansion of x in x
9.881 * [backup-simplify]: Simplify 0 into 0
9.881 * [backup-simplify]: Simplify 1 into 1
9.881 * [backup-simplify]: Simplify 1 into 1
9.882 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0
9.883 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)))) into 0
9.883 * [taylor]: Taking taylor expansion of 0 in y
9.883 * [backup-simplify]: Simplify 0 into 0
9.883 * [taylor]: Taking taylor expansion of 0 in x
9.883 * [backup-simplify]: Simplify 0 into 0
9.883 * [backup-simplify]: Simplify 0 into 0
9.884 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
9.884 * [taylor]: Taking taylor expansion of 0 in x
9.884 * [backup-simplify]: Simplify 0 into 0
9.884 * [backup-simplify]: Simplify 0 into 0
9.884 * [backup-simplify]: Simplify 0 into 0
9.885 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0
9.887 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.887 * [taylor]: Taking taylor expansion of 0 in y
9.887 * [backup-simplify]: Simplify 0 into 0
9.887 * [taylor]: Taking taylor expansion of 0 in x
9.887 * [backup-simplify]: Simplify 0 into 0
9.887 * [backup-simplify]: Simplify 0 into 0
9.888 * [taylor]: Taking taylor expansion of 0 in x
9.888 * [backup-simplify]: Simplify 0 into 0
9.888 * [backup-simplify]: Simplify 0 into 0
9.889 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
9.889 * [taylor]: Taking taylor expansion of 0 in x
9.889 * [backup-simplify]: Simplify 0 into 0
9.889 * [backup-simplify]: Simplify 0 into 0
9.889 * [backup-simplify]: Simplify (* 1 (* x (* y (/ 1 z)))) into (/ (* x y) z)
9.890 * [backup-simplify]: Simplify (/ 1 (/ (/ (/ 1 z) (/ 1 y)) (/ 1 x))) into (/ z (* x y))
9.890 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (z y x) around 0
9.890 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
9.890 * [taylor]: Taking taylor expansion of z in x
9.890 * [backup-simplify]: Simplify z into z
9.890 * [taylor]: Taking taylor expansion of (* x y) in x
9.890 * [taylor]: Taking taylor expansion of x in x
9.890 * [backup-simplify]: Simplify 0 into 0
9.890 * [backup-simplify]: Simplify 1 into 1
9.890 * [taylor]: Taking taylor expansion of y in x
9.890 * [backup-simplify]: Simplify y into y
9.890 * [backup-simplify]: Simplify (* 0 y) into 0
9.891 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
9.891 * [backup-simplify]: Simplify (/ z y) into (/ z y)
9.891 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
9.891 * [taylor]: Taking taylor expansion of z in y
9.891 * [backup-simplify]: Simplify z into z
9.891 * [taylor]: Taking taylor expansion of (* x y) in y
9.891 * [taylor]: Taking taylor expansion of x in y
9.891 * [backup-simplify]: Simplify x into x
9.891 * [taylor]: Taking taylor expansion of y in y
9.891 * [backup-simplify]: Simplify 0 into 0
9.891 * [backup-simplify]: Simplify 1 into 1
9.891 * [backup-simplify]: Simplify (* x 0) into 0
9.892 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
9.892 * [backup-simplify]: Simplify (/ z x) into (/ z x)
9.892 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
9.892 * [taylor]: Taking taylor expansion of z in z
9.892 * [backup-simplify]: Simplify 0 into 0
9.892 * [backup-simplify]: Simplify 1 into 1
9.892 * [taylor]: Taking taylor expansion of (* x y) in z
9.892 * [taylor]: Taking taylor expansion of x in z
9.892 * [backup-simplify]: Simplify x into x
9.892 * [taylor]: Taking taylor expansion of y in z
9.892 * [backup-simplify]: Simplify y into y
9.892 * [backup-simplify]: Simplify (* x y) into (* x y)
9.892 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
9.893 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
9.893 * [taylor]: Taking taylor expansion of z in z
9.893 * [backup-simplify]: Simplify 0 into 0
9.893 * [backup-simplify]: Simplify 1 into 1
9.893 * [taylor]: Taking taylor expansion of (* x y) in z
9.893 * [taylor]: Taking taylor expansion of x in z
9.893 * [backup-simplify]: Simplify x into x
9.893 * [taylor]: Taking taylor expansion of y in z
9.893 * [backup-simplify]: Simplify y into y
9.893 * [backup-simplify]: Simplify (* x y) into (* x y)
9.893 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
9.893 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
9.893 * [taylor]: Taking taylor expansion of (* x y) in y
9.893 * [taylor]: Taking taylor expansion of x in y
9.893 * [backup-simplify]: Simplify x into x
9.893 * [taylor]: Taking taylor expansion of y in y
9.893 * [backup-simplify]: Simplify 0 into 0
9.893 * [backup-simplify]: Simplify 1 into 1
9.893 * [backup-simplify]: Simplify (* x 0) into 0
9.894 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
9.894 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
9.894 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.894 * [taylor]: Taking taylor expansion of x in x
9.894 * [backup-simplify]: Simplify 0 into 0
9.894 * [backup-simplify]: Simplify 1 into 1
9.895 * [backup-simplify]: Simplify (/ 1 1) into 1
9.895 * [backup-simplify]: Simplify 1 into 1
9.895 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0
9.895 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0
9.895 * [taylor]: Taking taylor expansion of 0 in y
9.895 * [backup-simplify]: Simplify 0 into 0
9.896 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
9.896 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
9.896 * [taylor]: Taking taylor expansion of 0 in x
9.896 * [backup-simplify]: Simplify 0 into 0
9.897 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.897 * [backup-simplify]: Simplify 0 into 0
9.897 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0
9.897 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0
9.897 * [taylor]: Taking taylor expansion of 0 in y
9.897 * [backup-simplify]: Simplify 0 into 0
9.897 * [taylor]: Taking taylor expansion of 0 in x
9.897 * [backup-simplify]: Simplify 0 into 0
9.898 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
9.898 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
9.898 * [taylor]: Taking taylor expansion of 0 in x
9.898 * [backup-simplify]: Simplify 0 into 0
9.898 * [backup-simplify]: Simplify 0 into 0
9.899 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.899 * [backup-simplify]: Simplify 0 into 0
9.900 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
9.900 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0
9.900 * [taylor]: Taking taylor expansion of 0 in y
9.900 * [backup-simplify]: Simplify 0 into 0
9.900 * [taylor]: Taking taylor expansion of 0 in x
9.900 * [backup-simplify]: Simplify 0 into 0
9.900 * [taylor]: Taking taylor expansion of 0 in x
9.900 * [backup-simplify]: Simplify 0 into 0
9.901 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
9.901 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
9.901 * [taylor]: Taking taylor expansion of 0 in x
9.902 * [backup-simplify]: Simplify 0 into 0
9.902 * [backup-simplify]: Simplify 0 into 0
9.902 * [backup-simplify]: Simplify 0 into 0
9.902 * [backup-simplify]: Simplify 0 into 0
9.902 * [backup-simplify]: Simplify (* 1 (* (/ 1 (/ 1 x)) (* (/ 1 (/ 1 y)) (/ 1 z)))) into (/ (* x y) z)
9.902 * [backup-simplify]: Simplify (/ 1 (/ (/ (/ 1 (- z)) (/ 1 (- y))) (/ 1 (- x)))) into (* -1 (/ z (* x y)))
9.902 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (z y x) around 0
9.902 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
9.902 * [taylor]: Taking taylor expansion of -1 in x
9.902 * [backup-simplify]: Simplify -1 into -1
9.902 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
9.902 * [taylor]: Taking taylor expansion of z in x
9.902 * [backup-simplify]: Simplify z into z
9.902 * [taylor]: Taking taylor expansion of (* x y) in x
9.902 * [taylor]: Taking taylor expansion of x in x
9.902 * [backup-simplify]: Simplify 0 into 0
9.902 * [backup-simplify]: Simplify 1 into 1
9.902 * [taylor]: Taking taylor expansion of y in x
9.902 * [backup-simplify]: Simplify y into y
9.902 * [backup-simplify]: Simplify (* 0 y) into 0
9.903 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
9.903 * [backup-simplify]: Simplify (/ z y) into (/ z y)
9.903 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y
9.903 * [taylor]: Taking taylor expansion of -1 in y
9.903 * [backup-simplify]: Simplify -1 into -1
9.903 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
9.903 * [taylor]: Taking taylor expansion of z in y
9.903 * [backup-simplify]: Simplify z into z
9.903 * [taylor]: Taking taylor expansion of (* x y) in y
9.903 * [taylor]: Taking taylor expansion of x in y
9.903 * [backup-simplify]: Simplify x into x
9.903 * [taylor]: Taking taylor expansion of y in y
9.903 * [backup-simplify]: Simplify 0 into 0
9.903 * [backup-simplify]: Simplify 1 into 1
9.903 * [backup-simplify]: Simplify (* x 0) into 0
9.903 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
9.904 * [backup-simplify]: Simplify (/ z x) into (/ z x)
9.904 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z
9.904 * [taylor]: Taking taylor expansion of -1 in z
9.904 * [backup-simplify]: Simplify -1 into -1
9.904 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
9.904 * [taylor]: Taking taylor expansion of z in z
9.904 * [backup-simplify]: Simplify 0 into 0
9.904 * [backup-simplify]: Simplify 1 into 1
9.904 * [taylor]: Taking taylor expansion of (* x y) in z
9.904 * [taylor]: Taking taylor expansion of x in z
9.904 * [backup-simplify]: Simplify x into x
9.904 * [taylor]: Taking taylor expansion of y in z
9.904 * [backup-simplify]: Simplify y into y
9.904 * [backup-simplify]: Simplify (* x y) into (* x y)
9.904 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
9.904 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z
9.904 * [taylor]: Taking taylor expansion of -1 in z
9.904 * [backup-simplify]: Simplify -1 into -1
9.904 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
9.904 * [taylor]: Taking taylor expansion of z in z
9.904 * [backup-simplify]: Simplify 0 into 0
9.904 * [backup-simplify]: Simplify 1 into 1
9.904 * [taylor]: Taking taylor expansion of (* x y) in z
9.904 * [taylor]: Taking taylor expansion of x in z
9.904 * [backup-simplify]: Simplify x into x
9.904 * [taylor]: Taking taylor expansion of y in z
9.904 * [backup-simplify]: Simplify y into y
9.904 * [backup-simplify]: Simplify (* x y) into (* x y)
9.904 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
9.904 * [backup-simplify]: Simplify (* -1 (/ 1 (* x y))) into (/ -1 (* x y))
9.904 * [taylor]: Taking taylor expansion of (/ -1 (* x y)) in y
9.904 * [taylor]: Taking taylor expansion of -1 in y
9.904 * [backup-simplify]: Simplify -1 into -1
9.904 * [taylor]: Taking taylor expansion of (* x y) in y
9.904 * [taylor]: Taking taylor expansion of x in y
9.904 * [backup-simplify]: Simplify x into x
9.904 * [taylor]: Taking taylor expansion of y in y
9.904 * [backup-simplify]: Simplify 0 into 0
9.904 * [backup-simplify]: Simplify 1 into 1
9.904 * [backup-simplify]: Simplify (* x 0) into 0
9.905 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
9.905 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
9.905 * [taylor]: Taking taylor expansion of (/ -1 x) in x
9.905 * [taylor]: Taking taylor expansion of -1 in x
9.905 * [backup-simplify]: Simplify -1 into -1
9.905 * [taylor]: Taking taylor expansion of x in x
9.905 * [backup-simplify]: Simplify 0 into 0
9.905 * [backup-simplify]: Simplify 1 into 1
9.906 * [backup-simplify]: Simplify (/ -1 1) into -1
9.906 * [backup-simplify]: Simplify -1 into -1
9.906 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0
9.906 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0
9.906 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 (* x y)))) into 0
9.906 * [taylor]: Taking taylor expansion of 0 in y
9.906 * [backup-simplify]: Simplify 0 into 0
9.907 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
9.907 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
9.907 * [taylor]: Taking taylor expansion of 0 in x
9.907 * [backup-simplify]: Simplify 0 into 0
9.908 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
9.908 * [backup-simplify]: Simplify 0 into 0
9.909 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0
9.909 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0
9.910 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 (* x y))))) into 0
9.910 * [taylor]: Taking taylor expansion of 0 in y
9.910 * [backup-simplify]: Simplify 0 into 0
9.910 * [taylor]: Taking taylor expansion of 0 in x
9.910 * [backup-simplify]: Simplify 0 into 0
9.910 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
9.911 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
9.911 * [taylor]: Taking taylor expansion of 0 in x
9.911 * [backup-simplify]: Simplify 0 into 0
9.911 * [backup-simplify]: Simplify 0 into 0
9.911 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.912 * [backup-simplify]: Simplify 0 into 0
9.912 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
9.913 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0
9.914 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (* x y)))))) into 0
9.914 * [taylor]: Taking taylor expansion of 0 in y
9.914 * [backup-simplify]: Simplify 0 into 0
9.914 * [taylor]: Taking taylor expansion of 0 in x
9.914 * [backup-simplify]: Simplify 0 into 0
9.914 * [taylor]: Taking taylor expansion of 0 in x
9.914 * [backup-simplify]: Simplify 0 into 0
9.915 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
9.915 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
9.915 * [taylor]: Taking taylor expansion of 0 in x
9.915 * [backup-simplify]: Simplify 0 into 0
9.915 * [backup-simplify]: Simplify 0 into 0
9.915 * [backup-simplify]: Simplify 0 into 0
9.915 * [backup-simplify]: Simplify 0 into 0
9.916 * [backup-simplify]: Simplify (* -1 (* (/ 1 (/ 1 (- x))) (* (/ 1 (/ 1 (- y))) (/ 1 (- z))))) into (/ (* x y) z)
9.916 * * * [progress]: simplifying candidates
9.925 * [simplify]: Simplifying:
  (expm1 (/ (/ z y) x))
  (log1p (/ (/ z y) x))
  (- (- (log z) (log y)) (log x))
  (- (log (/ z y)) (log x))
  (log (/ (/ z y) x))
  (exp (/ (/ z y) x))
  (/ (/ (* (* z z) z) (* (* y y) y)) (* (* x x) x))
  (/ (* (* (/ z y) (/ z y)) (/ z y)) (* (* x x) x))
  (* (cbrt (/ (/ z y) x)) (cbrt (/ (/ z y) x)))
  (cbrt (/ (/ z y) x))
  (* (* (/ (/ z y) x) (/ (/ z y) x)) (/ (/ z y) x))
  (sqrt (/ (/ z y) x))
  (sqrt (/ (/ z y) x))
  (- (/ z y))
  (- x)
  (/ (* (cbrt (/ z y)) (cbrt (/ z y))) (* (cbrt x) (cbrt x)))
  (/ (cbrt (/ z y)) (cbrt x))
  (/ (* (cbrt (/ z y)) (cbrt (/ z y))) (sqrt x))
  (/ (cbrt (/ z y)) (sqrt x))
  (/ (* (cbrt (/ z y)) (cbrt (/ z y))) 1)
  (/ (cbrt (/ z y)) x)
  (/ (sqrt (/ z y)) (* (cbrt x) (cbrt x)))
  (/ (sqrt (/ z y)) (cbrt x))
  (/ (sqrt (/ z y)) (sqrt x))
  (/ (sqrt (/ z y)) (sqrt x))
  (/ (sqrt (/ z y)) 1)
  (/ (sqrt (/ z y)) x)
  (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) (* (cbrt x) (cbrt x)))
  (/ (/ (cbrt z) (cbrt y)) (cbrt x))
  (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) (sqrt x))
  (/ (/ (cbrt z) (cbrt y)) (sqrt x))
  (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) 1)
  (/ (/ (cbrt z) (cbrt y)) x)
  (/ (/ (* (cbrt z) (cbrt z)) (sqrt y)) (* (cbrt x) (cbrt x)))
  (/ (/ (cbrt z) (sqrt y)) (cbrt x))
  (/ (/ (* (cbrt z) (cbrt z)) (sqrt y)) (sqrt x))
  (/ (/ (cbrt z) (sqrt y)) (sqrt x))
  (/ (/ (* (cbrt z) (cbrt z)) (sqrt y)) 1)
  (/ (/ (cbrt z) (sqrt y)) x)
  (/ (/ (* (cbrt z) (cbrt z)) 1) (* (cbrt x) (cbrt x)))
  (/ (/ (cbrt z) y) (cbrt x))
  (/ (/ (* (cbrt z) (cbrt z)) 1) (sqrt x))
  (/ (/ (cbrt z) y) (sqrt x))
  (/ (/ (* (cbrt z) (cbrt z)) 1) 1)
  (/ (/ (cbrt z) y) x)
  (/ (/ (sqrt z) (* (cbrt y) (cbrt y))) (* (cbrt x) (cbrt x)))
  (/ (/ (sqrt z) (cbrt y)) (cbrt x))
  (/ (/ (sqrt z) (* (cbrt y) (cbrt y))) (sqrt x))
  (/ (/ (sqrt z) (cbrt y)) (sqrt x))
  (/ (/ (sqrt z) (* (cbrt y) (cbrt y))) 1)
  (/ (/ (sqrt z) (cbrt y)) x)
  (/ (/ (sqrt z) (sqrt y)) (* (cbrt x) (cbrt x)))
  (/ (/ (sqrt z) (sqrt y)) (cbrt x))
  (/ (/ (sqrt z) (sqrt y)) (sqrt x))
  (/ (/ (sqrt z) (sqrt y)) (sqrt x))
  (/ (/ (sqrt z) (sqrt y)) 1)
  (/ (/ (sqrt z) (sqrt y)) x)
  (/ (/ (sqrt z) 1) (* (cbrt x) (cbrt x)))
  (/ (/ (sqrt z) y) (cbrt x))
  (/ (/ (sqrt z) 1) (sqrt x))
  (/ (/ (sqrt z) y) (sqrt x))
  (/ (/ (sqrt z) 1) 1)
  (/ (/ (sqrt z) y) x)
  (/ (/ 1 (* (cbrt y) (cbrt y))) (* (cbrt x) (cbrt x)))
  (/ (/ z (cbrt y)) (cbrt x))
  (/ (/ 1 (* (cbrt y) (cbrt y))) (sqrt x))
  (/ (/ z (cbrt y)) (sqrt x))
  (/ (/ 1 (* (cbrt y) (cbrt y))) 1)
  (/ (/ z (cbrt y)) x)
  (/ (/ 1 (sqrt y)) (* (cbrt x) (cbrt x)))
  (/ (/ z (sqrt y)) (cbrt x))
  (/ (/ 1 (sqrt y)) (sqrt x))
  (/ (/ z (sqrt y)) (sqrt x))
  (/ (/ 1 (sqrt y)) 1)
  (/ (/ z (sqrt y)) x)
  (/ (/ 1 1) (* (cbrt x) (cbrt x)))
  (/ (/ z y) (cbrt x))
  (/ (/ 1 1) (sqrt x))
  (/ (/ z y) (sqrt x))
  (/ (/ 1 1) 1)
  (/ (/ z y) x)
  (/ 1 (* (cbrt x) (cbrt x)))
  (/ (/ z y) (cbrt x))
  (/ 1 (sqrt x))
  (/ (/ z y) (sqrt x))
  (/ 1 1)
  (/ (/ z y) x)
  (/ z (* (cbrt x) (cbrt x)))
  (/ (/ 1 y) (cbrt x))
  (/ z (sqrt x))
  (/ (/ 1 y) (sqrt x))
  (/ z 1)
  (/ (/ 1 y) x)
  (/ 1 x)
  (/ x (/ z y))
  (/ (/ z y) (* (cbrt x) (cbrt x)))
  (/ (/ z y) (sqrt x))
  (/ (/ z y) 1)
  (/ x (cbrt (/ z y)))
  (/ x (sqrt (/ z y)))
  (/ x (/ (cbrt z) (cbrt y)))
  (/ x (/ (cbrt z) (sqrt y)))
  (/ x (/ (cbrt z) y))
  (/ x (/ (sqrt z) (cbrt y)))
  (/ x (/ (sqrt z) (sqrt y)))
  (/ x (/ (sqrt z) y))
  (/ x (/ z (cbrt y)))
  (/ x (/ z (sqrt y)))
  (/ x (/ z y))
  (/ x (/ z y))
  (/ x (/ 1 y))
  (* x y)
  (expm1 (/ 1 (/ (/ z y) x)))
  (log1p (/ 1 (/ (/ z y) x)))
  (- 1)
  (- (- (- (log z) (log y)) (log x)))
  (- (- (log (/ z y)) (log x)))
  (- (log (/ (/ z y) x)))
  (- 0 (- (- (log z) (log y)) (log x)))
  (- 0 (- (log (/ z y)) (log x)))
  (- 0 (log (/ (/ z y) x)))
  (- (log 1) (- (- (log z) (log y)) (log x)))
  (- (log 1) (- (log (/ z y)) (log x)))
  (- (log 1) (log (/ (/ z y) x)))
  (log (/ 1 (/ (/ z y) x)))
  (exp (/ 1 (/ (/ z y) x)))
  (/ (* (* 1 1) 1) (/ (/ (* (* z z) z) (* (* y y) y)) (* (* x x) x)))
  (/ (* (* 1 1) 1) (/ (* (* (/ z y) (/ z y)) (/ z y)) (* (* x x) x)))
  (/ (* (* 1 1) 1) (* (* (/ (/ z y) x) (/ (/ z y) x)) (/ (/ z y) x)))
  (* (cbrt (/ 1 (/ (/ z y) x))) (cbrt (/ 1 (/ (/ z y) x))))
  (cbrt (/ 1 (/ (/ z y) x)))
  (* (* (/ 1 (/ (/ z y) x)) (/ 1 (/ (/ z y) x))) (/ 1 (/ (/ z y) x)))
  (sqrt (/ 1 (/ (/ z y) x)))
  (sqrt (/ 1 (/ (/ z y) x)))
  (- 1)
  (- (/ (/ z y) x))
  (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (/ (/ z y) x)) (cbrt (/ (/ z y) x))))
  (/ (cbrt 1) (cbrt (/ (/ z y) x)))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (/ (/ z y) x)))
  (/ (cbrt 1) (sqrt (/ (/ z y) x)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (/ z y)) (cbrt (/ z y))) (* (cbrt x) (cbrt x))))
  (/ (cbrt 1) (/ (cbrt (/ z y)) (cbrt x)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (/ z y)) (cbrt (/ z y))) (sqrt x)))
  (/ (cbrt 1) (/ (cbrt (/ z y)) (sqrt x)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (/ z y)) (cbrt (/ z y))) 1))
  (/ (cbrt 1) (/ (cbrt (/ z y)) x))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (/ z y)) (* (cbrt x) (cbrt x))))
  (/ (cbrt 1) (/ (sqrt (/ z y)) (cbrt x)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (/ z y)) (sqrt x)))
  (/ (cbrt 1) (/ (sqrt (/ z y)) (sqrt x)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (/ z y)) 1))
  (/ (cbrt 1) (/ (sqrt (/ z y)) x))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) (* (cbrt x) (cbrt x))))
  (/ (cbrt 1) (/ (/ (cbrt z) (cbrt y)) (cbrt x)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) (sqrt x)))
  (/ (cbrt 1) (/ (/ (cbrt z) (cbrt y)) (sqrt x)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) 1))
  (/ (cbrt 1) (/ (/ (cbrt z) (cbrt y)) x))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (* (cbrt z) (cbrt z)) (sqrt y)) (* (cbrt x) (cbrt x))))
  (/ (cbrt 1) (/ (/ (cbrt z) (sqrt y)) (cbrt x)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (* (cbrt z) (cbrt z)) (sqrt y)) (sqrt x)))
  (/ (cbrt 1) (/ (/ (cbrt z) (sqrt y)) (sqrt x)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (* (cbrt z) (cbrt z)) (sqrt y)) 1))
  (/ (cbrt 1) (/ (/ (cbrt z) (sqrt y)) x))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (* (cbrt z) (cbrt z)) 1) (* (cbrt x) (cbrt x))))
  (/ (cbrt 1) (/ (/ (cbrt z) y) (cbrt x)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (* (cbrt z) (cbrt z)) 1) (sqrt x)))
  (/ (cbrt 1) (/ (/ (cbrt z) y) (sqrt x)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (* (cbrt z) (cbrt z)) 1) 1))
  (/ (cbrt 1) (/ (/ (cbrt z) y) x))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (sqrt z) (* (cbrt y) (cbrt y))) (* (cbrt x) (cbrt x))))
  (/ (cbrt 1) (/ (/ (sqrt z) (cbrt y)) (cbrt x)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (sqrt z) (* (cbrt y) (cbrt y))) (sqrt x)))
  (/ (cbrt 1) (/ (/ (sqrt z) (cbrt y)) (sqrt x)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (sqrt z) (* (cbrt y) (cbrt y))) 1))
  (/ (cbrt 1) (/ (/ (sqrt z) (cbrt y)) x))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (sqrt z) (sqrt y)) (* (cbrt x) (cbrt x))))
  (/ (cbrt 1) (/ (/ (sqrt z) (sqrt y)) (cbrt x)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (sqrt z) (sqrt y)) (sqrt x)))
  (/ (cbrt 1) (/ (/ (sqrt z) (sqrt y)) (sqrt x)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (sqrt z) (sqrt y)) 1))
  (/ (cbrt 1) (/ (/ (sqrt z) (sqrt y)) x))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (sqrt z) 1) (* (cbrt x) (cbrt x))))
  (/ (cbrt 1) (/ (/ (sqrt z) y) (cbrt x)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (sqrt z) 1) (sqrt x)))
  (/ (cbrt 1) (/ (/ (sqrt z) y) (sqrt x)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (sqrt z) 1) 1))
  (/ (cbrt 1) (/ (/ (sqrt z) y) x))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ 1 (* (cbrt y) (cbrt y))) (* (cbrt x) (cbrt x))))
  (/ (cbrt 1) (/ (/ z (cbrt y)) (cbrt x)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ 1 (* (cbrt y) (cbrt y))) (sqrt x)))
  (/ (cbrt 1) (/ (/ z (cbrt y)) (sqrt x)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ 1 (* (cbrt y) (cbrt y))) 1))
  (/ (cbrt 1) (/ (/ z (cbrt y)) x))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ 1 (sqrt y)) (* (cbrt x) (cbrt x))))
  (/ (cbrt 1) (/ (/ z (sqrt y)) (cbrt x)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ 1 (sqrt y)) (sqrt x)))
  (/ (cbrt 1) (/ (/ z (sqrt y)) (sqrt x)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ 1 (sqrt y)) 1))
  (/ (cbrt 1) (/ (/ z (sqrt y)) x))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ 1 1) (* (cbrt x) (cbrt x))))
  (/ (cbrt 1) (/ (/ z y) (cbrt x)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ 1 1) (sqrt x)))
  (/ (cbrt 1) (/ (/ z y) (sqrt x)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ 1 1) 1))
  (/ (cbrt 1) (/ (/ z y) x))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 (* (cbrt x) (cbrt x))))
  (/ (cbrt 1) (/ (/ z y) (cbrt x)))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 (sqrt x)))
  (/ (cbrt 1) (/ (/ z y) (sqrt x)))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 1))
  (/ (cbrt 1) (/ (/ z y) x))
  (/ (* (cbrt 1) (cbrt 1)) (/ z (* (cbrt x) (cbrt x))))
  (/ (cbrt 1) (/ (/ 1 y) (cbrt x)))
  (/ (* (cbrt 1) (cbrt 1)) (/ z (sqrt x)))
  (/ (cbrt 1) (/ (/ 1 y) (sqrt x)))
  (/ (* (cbrt 1) (cbrt 1)) (/ z 1))
  (/ (cbrt 1) (/ (/ 1 y) x))
  (/ (* (cbrt 1) (cbrt 1)) 1)
  (/ (cbrt 1) (/ (/ z y) x))
  (/ (* (cbrt 1) (cbrt 1)) (/ z y))
  (/ (cbrt 1) (/ 1 x))
  (/ (sqrt 1) (* (cbrt (/ (/ z y) x)) (cbrt (/ (/ z y) x))))
  (/ (sqrt 1) (cbrt (/ (/ z y) x)))
  (/ (sqrt 1) (sqrt (/ (/ z y) x)))
  (/ (sqrt 1) (sqrt (/ (/ z y) x)))
  (/ (sqrt 1) (/ (* (cbrt (/ z y)) (cbrt (/ z y))) (* (cbrt x) (cbrt x))))
  (/ (sqrt 1) (/ (cbrt (/ z y)) (cbrt x)))
  (/ (sqrt 1) (/ (* (cbrt (/ z y)) (cbrt (/ z y))) (sqrt x)))
  (/ (sqrt 1) (/ (cbrt (/ z y)) (sqrt x)))
  (/ (sqrt 1) (/ (* (cbrt (/ z y)) (cbrt (/ z y))) 1))
  (/ (sqrt 1) (/ (cbrt (/ z y)) x))
  (/ (sqrt 1) (/ (sqrt (/ z y)) (* (cbrt x) (cbrt x))))
  (/ (sqrt 1) (/ (sqrt (/ z y)) (cbrt x)))
  (/ (sqrt 1) (/ (sqrt (/ z y)) (sqrt x)))
  (/ (sqrt 1) (/ (sqrt (/ z y)) (sqrt x)))
  (/ (sqrt 1) (/ (sqrt (/ z y)) 1))
  (/ (sqrt 1) (/ (sqrt (/ z y)) x))
  (/ (sqrt 1) (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) (* (cbrt x) (cbrt x))))
  (/ (sqrt 1) (/ (/ (cbrt z) (cbrt y)) (cbrt x)))
  (/ (sqrt 1) (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) (sqrt x)))
  (/ (sqrt 1) (/ (/ (cbrt z) (cbrt y)) (sqrt x)))
  (/ (sqrt 1) (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) 1))
  (/ (sqrt 1) (/ (/ (cbrt z) (cbrt y)) x))
  (/ (sqrt 1) (/ (/ (* (cbrt z) (cbrt z)) (sqrt y)) (* (cbrt x) (cbrt x))))
  (/ (sqrt 1) (/ (/ (cbrt z) (sqrt y)) (cbrt x)))
  (/ (sqrt 1) (/ (/ (* (cbrt z) (cbrt z)) (sqrt y)) (sqrt x)))
  (/ (sqrt 1) (/ (/ (cbrt z) (sqrt y)) (sqrt x)))
  (/ (sqrt 1) (/ (/ (* (cbrt z) (cbrt z)) (sqrt y)) 1))
  (/ (sqrt 1) (/ (/ (cbrt z) (sqrt y)) x))
  (/ (sqrt 1) (/ (/ (* (cbrt z) (cbrt z)) 1) (* (cbrt x) (cbrt x))))
  (/ (sqrt 1) (/ (/ (cbrt z) y) (cbrt x)))
  (/ (sqrt 1) (/ (/ (* (cbrt z) (cbrt z)) 1) (sqrt x)))
  (/ (sqrt 1) (/ (/ (cbrt z) y) (sqrt x)))
  (/ (sqrt 1) (/ (/ (* (cbrt z) (cbrt z)) 1) 1))
  (/ (sqrt 1) (/ (/ (cbrt z) y) x))
  (/ (sqrt 1) (/ (/ (sqrt z) (* (cbrt y) (cbrt y))) (* (cbrt x) (cbrt x))))
  (/ (sqrt 1) (/ (/ (sqrt z) (cbrt y)) (cbrt x)))
  (/ (sqrt 1) (/ (/ (sqrt z) (* (cbrt y) (cbrt y))) (sqrt x)))
  (/ (sqrt 1) (/ (/ (sqrt z) (cbrt y)) (sqrt x)))
  (/ (sqrt 1) (/ (/ (sqrt z) (* (cbrt y) (cbrt y))) 1))
  (/ (sqrt 1) (/ (/ (sqrt z) (cbrt y)) x))
  (/ (sqrt 1) (/ (/ (sqrt z) (sqrt y)) (* (cbrt x) (cbrt x))))
  (/ (sqrt 1) (/ (/ (sqrt z) (sqrt y)) (cbrt x)))
  (/ (sqrt 1) (/ (/ (sqrt z) (sqrt y)) (sqrt x)))
  (/ (sqrt 1) (/ (/ (sqrt z) (sqrt y)) (sqrt x)))
  (/ (sqrt 1) (/ (/ (sqrt z) (sqrt y)) 1))
  (/ (sqrt 1) (/ (/ (sqrt z) (sqrt y)) x))
  (/ (sqrt 1) (/ (/ (sqrt z) 1) (* (cbrt x) (cbrt x))))
  (/ (sqrt 1) (/ (/ (sqrt z) y) (cbrt x)))
  (/ (sqrt 1) (/ (/ (sqrt z) 1) (sqrt x)))
  (/ (sqrt 1) (/ (/ (sqrt z) y) (sqrt x)))
  (/ (sqrt 1) (/ (/ (sqrt z) 1) 1))
  (/ (sqrt 1) (/ (/ (sqrt z) y) x))
  (/ (sqrt 1) (/ (/ 1 (* (cbrt y) (cbrt y))) (* (cbrt x) (cbrt x))))
  (/ (sqrt 1) (/ (/ z (cbrt y)) (cbrt x)))
  (/ (sqrt 1) (/ (/ 1 (* (cbrt y) (cbrt y))) (sqrt x)))
  (/ (sqrt 1) (/ (/ z (cbrt y)) (sqrt x)))
  (/ (sqrt 1) (/ (/ 1 (* (cbrt y) (cbrt y))) 1))
  (/ (sqrt 1) (/ (/ z (cbrt y)) x))
  (/ (sqrt 1) (/ (/ 1 (sqrt y)) (* (cbrt x) (cbrt x))))
  (/ (sqrt 1) (/ (/ z (sqrt y)) (cbrt x)))
  (/ (sqrt 1) (/ (/ 1 (sqrt y)) (sqrt x)))
  (/ (sqrt 1) (/ (/ z (sqrt y)) (sqrt x)))
  (/ (sqrt 1) (/ (/ 1 (sqrt y)) 1))
  (/ (sqrt 1) (/ (/ z (sqrt y)) x))
  (/ (sqrt 1) (/ (/ 1 1) (* (cbrt x) (cbrt x))))
  (/ (sqrt 1) (/ (/ z y) (cbrt x)))
  (/ (sqrt 1) (/ (/ 1 1) (sqrt x)))
  (/ (sqrt 1) (/ (/ z y) (sqrt x)))
  (/ (sqrt 1) (/ (/ 1 1) 1))
  (/ (sqrt 1) (/ (/ z y) x))
  (/ (sqrt 1) (/ 1 (* (cbrt x) (cbrt x))))
  (/ (sqrt 1) (/ (/ z y) (cbrt x)))
  (/ (sqrt 1) (/ 1 (sqrt x)))
  (/ (sqrt 1) (/ (/ z y) (sqrt x)))
  (/ (sqrt 1) (/ 1 1))
  (/ (sqrt 1) (/ (/ z y) x))
  (/ (sqrt 1) (/ z (* (cbrt x) (cbrt x))))
  (/ (sqrt 1) (/ (/ 1 y) (cbrt x)))
  (/ (sqrt 1) (/ z (sqrt x)))
  (/ (sqrt 1) (/ (/ 1 y) (sqrt x)))
  (/ (sqrt 1) (/ z 1))
  (/ (sqrt 1) (/ (/ 1 y) x))
  (/ (sqrt 1) 1)
  (/ (sqrt 1) (/ (/ z y) x))
  (/ (sqrt 1) (/ z y))
  (/ (sqrt 1) (/ 1 x))
  (/ 1 (* (cbrt (/ (/ z y) x)) (cbrt (/ (/ z y) x))))
  (/ 1 (cbrt (/ (/ z y) x)))
  (/ 1 (sqrt (/ (/ z y) x)))
  (/ 1 (sqrt (/ (/ z y) x)))
  (/ 1 (/ (* (cbrt (/ z y)) (cbrt (/ z y))) (* (cbrt x) (cbrt x))))
  (/ 1 (/ (cbrt (/ z y)) (cbrt x)))
  (/ 1 (/ (* (cbrt (/ z y)) (cbrt (/ z y))) (sqrt x)))
  (/ 1 (/ (cbrt (/ z y)) (sqrt x)))
  (/ 1 (/ (* (cbrt (/ z y)) (cbrt (/ z y))) 1))
  (/ 1 (/ (cbrt (/ z y)) x))
  (/ 1 (/ (sqrt (/ z y)) (* (cbrt x) (cbrt x))))
  (/ 1 (/ (sqrt (/ z y)) (cbrt x)))
  (/ 1 (/ (sqrt (/ z y)) (sqrt x)))
  (/ 1 (/ (sqrt (/ z y)) (sqrt x)))
  (/ 1 (/ (sqrt (/ z y)) 1))
  (/ 1 (/ (sqrt (/ z y)) x))
  (/ 1 (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) (* (cbrt x) (cbrt x))))
  (/ 1 (/ (/ (cbrt z) (cbrt y)) (cbrt x)))
  (/ 1 (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) (sqrt x)))
  (/ 1 (/ (/ (cbrt z) (cbrt y)) (sqrt x)))
  (/ 1 (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) 1))
  (/ 1 (/ (/ (cbrt z) (cbrt y)) x))
  (/ 1 (/ (/ (* (cbrt z) (cbrt z)) (sqrt y)) (* (cbrt x) (cbrt x))))
  (/ 1 (/ (/ (cbrt z) (sqrt y)) (cbrt x)))
  (/ 1 (/ (/ (* (cbrt z) (cbrt z)) (sqrt y)) (sqrt x)))
  (/ 1 (/ (/ (cbrt z) (sqrt y)) (sqrt x)))
  (/ 1 (/ (/ (* (cbrt z) (cbrt z)) (sqrt y)) 1))
  (/ 1 (/ (/ (cbrt z) (sqrt y)) x))
  (/ 1 (/ (/ (* (cbrt z) (cbrt z)) 1) (* (cbrt x) (cbrt x))))
  (/ 1 (/ (/ (cbrt z) y) (cbrt x)))
  (/ 1 (/ (/ (* (cbrt z) (cbrt z)) 1) (sqrt x)))
  (/ 1 (/ (/ (cbrt z) y) (sqrt x)))
  (/ 1 (/ (/ (* (cbrt z) (cbrt z)) 1) 1))
  (/ 1 (/ (/ (cbrt z) y) x))
  (/ 1 (/ (/ (sqrt z) (* (cbrt y) (cbrt y))) (* (cbrt x) (cbrt x))))
  (/ 1 (/ (/ (sqrt z) (cbrt y)) (cbrt x)))
  (/ 1 (/ (/ (sqrt z) (* (cbrt y) (cbrt y))) (sqrt x)))
  (/ 1 (/ (/ (sqrt z) (cbrt y)) (sqrt x)))
  (/ 1 (/ (/ (sqrt z) (* (cbrt y) (cbrt y))) 1))
  (/ 1 (/ (/ (sqrt z) (cbrt y)) x))
  (/ 1 (/ (/ (sqrt z) (sqrt y)) (* (cbrt x) (cbrt x))))
  (/ 1 (/ (/ (sqrt z) (sqrt y)) (cbrt x)))
  (/ 1 (/ (/ (sqrt z) (sqrt y)) (sqrt x)))
  (/ 1 (/ (/ (sqrt z) (sqrt y)) (sqrt x)))
  (/ 1 (/ (/ (sqrt z) (sqrt y)) 1))
  (/ 1 (/ (/ (sqrt z) (sqrt y)) x))
  (/ 1 (/ (/ (sqrt z) 1) (* (cbrt x) (cbrt x))))
  (/ 1 (/ (/ (sqrt z) y) (cbrt x)))
  (/ 1 (/ (/ (sqrt z) 1) (sqrt x)))
  (/ 1 (/ (/ (sqrt z) y) (sqrt x)))
  (/ 1 (/ (/ (sqrt z) 1) 1))
  (/ 1 (/ (/ (sqrt z) y) x))
  (/ 1 (/ (/ 1 (* (cbrt y) (cbrt y))) (* (cbrt x) (cbrt x))))
  (/ 1 (/ (/ z (cbrt y)) (cbrt x)))
  (/ 1 (/ (/ 1 (* (cbrt y) (cbrt y))) (sqrt x)))
  (/ 1 (/ (/ z (cbrt y)) (sqrt x)))
  (/ 1 (/ (/ 1 (* (cbrt y) (cbrt y))) 1))
  (/ 1 (/ (/ z (cbrt y)) x))
  (/ 1 (/ (/ 1 (sqrt y)) (* (cbrt x) (cbrt x))))
  (/ 1 (/ (/ z (sqrt y)) (cbrt x)))
  (/ 1 (/ (/ 1 (sqrt y)) (sqrt x)))
  (/ 1 (/ (/ z (sqrt y)) (sqrt x)))
  (/ 1 (/ (/ 1 (sqrt y)) 1))
  (/ 1 (/ (/ z (sqrt y)) x))
  (/ 1 (/ (/ 1 1) (* (cbrt x) (cbrt x))))
  (/ 1 (/ (/ z y) (cbrt x)))
  (/ 1 (/ (/ 1 1) (sqrt x)))
  (/ 1 (/ (/ z y) (sqrt x)))
  (/ 1 (/ (/ 1 1) 1))
  (/ 1 (/ (/ z y) x))
  (/ 1 (/ 1 (* (cbrt x) (cbrt x))))
  (/ 1 (/ (/ z y) (cbrt x)))
  (/ 1 (/ 1 (sqrt x)))
  (/ 1 (/ (/ z y) (sqrt x)))
  (/ 1 (/ 1 1))
  (/ 1 (/ (/ z y) x))
  (/ 1 (/ z (* (cbrt x) (cbrt x))))
  (/ 1 (/ (/ 1 y) (cbrt x)))
  (/ 1 (/ z (sqrt x)))
  (/ 1 (/ (/ 1 y) (sqrt x)))
  (/ 1 (/ z 1))
  (/ 1 (/ (/ 1 y) x))
  (/ 1 1)
  (/ 1 (/ (/ z y) x))
  (/ 1 (/ z y))
  (/ 1 (/ 1 x))
  (/ 1 (/ (/ z y) x))
  (/ (/ (/ z y) x) 1)
  (/ 1 (* (cbrt (/ (/ z y) x)) (cbrt (/ (/ z y) x))))
  (/ 1 (sqrt (/ (/ z y) x)))
  (/ 1 (/ (* (cbrt (/ z y)) (cbrt (/ z y))) (* (cbrt x) (cbrt x))))
  (/ 1 (/ (* (cbrt (/ z y)) (cbrt (/ z y))) (sqrt x)))
  (/ 1 (/ (* (cbrt (/ z y)) (cbrt (/ z y))) 1))
  (/ 1 (/ (sqrt (/ z y)) (* (cbrt x) (cbrt x))))
  (/ 1 (/ (sqrt (/ z y)) (sqrt x)))
  (/ 1 (/ (sqrt (/ z y)) 1))
  (/ 1 (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) (* (cbrt x) (cbrt x))))
  (/ 1 (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) (sqrt x)))
  (/ 1 (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) 1))
  (/ 1 (/ (/ (* (cbrt z) (cbrt z)) (sqrt y)) (* (cbrt x) (cbrt x))))
  (/ 1 (/ (/ (* (cbrt z) (cbrt z)) (sqrt y)) (sqrt x)))
  (/ 1 (/ (/ (* (cbrt z) (cbrt z)) (sqrt y)) 1))
  (/ 1 (/ (/ (* (cbrt z) (cbrt z)) 1) (* (cbrt x) (cbrt x))))
  (/ 1 (/ (/ (* (cbrt z) (cbrt z)) 1) (sqrt x)))
  (/ 1 (/ (/ (* (cbrt z) (cbrt z)) 1) 1))
  (/ 1 (/ (/ (sqrt z) (* (cbrt y) (cbrt y))) (* (cbrt x) (cbrt x))))
  (/ 1 (/ (/ (sqrt z) (* (cbrt y) (cbrt y))) (sqrt x)))
  (/ 1 (/ (/ (sqrt z) (* (cbrt y) (cbrt y))) 1))
  (/ 1 (/ (/ (sqrt z) (sqrt y)) (* (cbrt x) (cbrt x))))
  (/ 1 (/ (/ (sqrt z) (sqrt y)) (sqrt x)))
  (/ 1 (/ (/ (sqrt z) (sqrt y)) 1))
  (/ 1 (/ (/ (sqrt z) 1) (* (cbrt x) (cbrt x))))
  (/ 1 (/ (/ (sqrt z) 1) (sqrt x)))
  (/ 1 (/ (/ (sqrt z) 1) 1))
  (/ 1 (/ (/ 1 (* (cbrt y) (cbrt y))) (* (cbrt x) (cbrt x))))
  (/ 1 (/ (/ 1 (* (cbrt y) (cbrt y))) (sqrt x)))
  (/ 1 (/ (/ 1 (* (cbrt y) (cbrt y))) 1))
  (/ 1 (/ (/ 1 (sqrt y)) (* (cbrt x) (cbrt x))))
  (/ 1 (/ (/ 1 (sqrt y)) (sqrt x)))
  (/ 1 (/ (/ 1 (sqrt y)) 1))
  (/ 1 (/ (/ 1 1) (* (cbrt x) (cbrt x))))
  (/ 1 (/ (/ 1 1) (sqrt x)))
  (/ 1 (/ (/ 1 1) 1))
  (/ 1 (/ 1 (* (cbrt x) (cbrt x))))
  (/ 1 (/ 1 (sqrt x)))
  (/ 1 (/ 1 1))
  (/ 1 (/ z (* (cbrt x) (cbrt x))))
  (/ 1 (/ z (sqrt x)))
  (/ 1 (/ z 1))
  (/ 1 1)
  (/ 1 (/ z y))
  (/ (/ (/ z y) x) (cbrt 1))
  (/ (/ (/ z y) x) (sqrt 1))
  (/ (/ (/ z y) x) 1)
  (/ 1 (/ z y))
  (/ z (* x y))
  (/ z (* x y))
  (/ z (* x y))
  (/ (* x y) z)
  (/ (* x y) z)
  (/ (* x y) z)
9.934 * * [simplify]: iteration 0: 425 enodes
10.343 * * [simplify]: iteration 1: 1159 enodes
10.960 * * [simplify]: iteration 2: 2929 enodes
12.201 * * [simplify]: iteration complete: 5001 enodes
12.202 * * [simplify]: Extracting #0: cost 173 inf + 0
12.205 * * [simplify]: Extracting #1: cost 971 inf + 45
12.212 * * [simplify]: Extracting #2: cost 1233 inf + 19513
12.235 * * [simplify]: Extracting #3: cost 505 inf + 134866
12.276 * * [simplify]: Extracting #4: cost 63 inf + 210235
12.336 * * [simplify]: Extracting #5: cost 0 inf + 224684
12.395 * * [simplify]: Extracting #6: cost 0 inf + 224604
12.467 * [simplify]: Simplified to:
  (expm1 (/ z (* x y)))
  (log1p (/ z (* x y)))
  (log (/ z (* x y)))
  (log (/ z (* x y)))
  (log (/ z (* x y)))
  (exp (/ z (* x y)))
  (* (* (/ z (* x y)) (/ z (* x y))) (/ z (* x y)))
  (* (* (/ z (* x y)) (/ z (* x y))) (/ z (* x y)))
  (* (cbrt (/ z (* x y))) (cbrt (/ z (* x y))))
  (cbrt (/ z (* x y)))
  (* (* (/ z (* x y)) (/ z (* x y))) (/ z (* x y)))
  (sqrt (/ z (* x y)))
  (sqrt (/ z (* x y)))
  (/ (- z) y)
  (- x)
  (* (/ (cbrt (/ z y)) (cbrt x)) (/ (cbrt (/ z y)) (cbrt x)))
  (/ (cbrt (/ z y)) (cbrt x))
  (/ (cbrt (/ z y)) (/ (sqrt x) (cbrt (/ z y))))
  (/ (cbrt (/ z y)) (sqrt x))
  (* (cbrt (/ z y)) (cbrt (/ z y)))
  (/ (cbrt (/ z y)) x)
  (/ (sqrt (/ z y)) (* (cbrt x) (cbrt x)))
  (/ (sqrt (/ z y)) (cbrt x))
  (/ (sqrt (/ z y)) (sqrt x))
  (/ (sqrt (/ z y)) (sqrt x))
  (sqrt (/ z y))
  (/ (sqrt (/ z y)) x)
  (* (/ (/ (cbrt z) (cbrt x)) (cbrt y)) (/ (/ (cbrt z) (cbrt x)) (cbrt y)))
  (/ (/ (cbrt z) (cbrt x)) (cbrt y))
  (/ (* (/ (cbrt z) (cbrt y)) (/ (cbrt z) (cbrt y))) (sqrt x))
  (/ (/ (cbrt z) (sqrt x)) (cbrt y))
  (* (/ (cbrt z) (cbrt y)) (/ (cbrt z) (cbrt y)))
  (/ (cbrt z) (* (cbrt y) x))
  (* (/ (cbrt z) (cbrt x)) (/ (/ (cbrt z) (cbrt x)) (sqrt y)))
  (/ (/ (cbrt z) (cbrt x)) (sqrt y))
  (* (cbrt z) (/ (/ (cbrt z) (sqrt x)) (sqrt y)))
  (/ (/ (cbrt z) (sqrt x)) (sqrt y))
  (* (/ (cbrt z) (sqrt y)) (cbrt z))
  (/ (/ (cbrt z) x) (sqrt y))
  (* (/ (cbrt z) (cbrt x)) (/ (cbrt z) (cbrt x)))
  (/ (cbrt z) (* y (cbrt x)))
  (/ (* (cbrt z) (cbrt z)) (sqrt x))
  (/ (/ (cbrt z) y) (sqrt x))
  (* (cbrt z) (cbrt z))
  (/ (/ (cbrt z) y) x)
  (/ (sqrt z) (* (* (cbrt x) (cbrt y)) (* (cbrt x) (cbrt y))))
  (/ (/ (sqrt z) (cbrt x)) (cbrt y))
  (/ (/ (sqrt z) (sqrt x)) (* (cbrt y) (cbrt y)))
  (/ (/ (sqrt z) (sqrt x)) (cbrt y))
  (/ (sqrt z) (* (cbrt y) (cbrt y)))
  (/ (/ (sqrt z) x) (cbrt y))
  (/ (sqrt z) (* (sqrt y) (* (cbrt x) (cbrt x))))
  (/ (/ (sqrt z) (sqrt y)) (cbrt x))
  (/ (/ (sqrt z) (sqrt x)) (sqrt y))
  (/ (/ (sqrt z) (sqrt x)) (sqrt y))
  (/ (sqrt z) (sqrt y))
  (/ (/ (sqrt z) x) (sqrt y))
  (/ (sqrt z) (* (cbrt x) (cbrt x)))
  (/ (/ (sqrt z) y) (cbrt x))
  (/ (sqrt z) (sqrt x))
  (/ (/ (sqrt z) y) (sqrt x))
  (sqrt z)
  (/ (/ (sqrt z) y) x)
  (* (/ 1 (* (cbrt x) (cbrt y))) (/ 1 (* (cbrt x) (cbrt y))))
  (/ (/ z (cbrt x)) (cbrt y))
  (/ (/ (/ 1 (cbrt y)) (cbrt y)) (sqrt x))
  (/ z (* (sqrt x) (cbrt y)))
  (/ (/ 1 (cbrt y)) (cbrt y))
  (/ (/ z x) (cbrt y))
  (/ 1 (* (sqrt y) (* (cbrt x) (cbrt x))))
  (/ (/ z (cbrt x)) (sqrt y))
  (/ (/ 1 (sqrt y)) (sqrt x))
  (/ (/ z (sqrt x)) (sqrt y))
  (/ 1 (sqrt y))
  (/ (/ z x) (sqrt y))
  (/ 1 (* (cbrt x) (cbrt x)))
  (/ (/ z (cbrt x)) y)
  (/ 1 (sqrt x))
  (/ (/ z (sqrt x)) y)
  1
  (/ z (* x y))
  (/ 1 (* (cbrt x) (cbrt x)))
  (/ (/ z (cbrt x)) y)
  (/ 1 (sqrt x))
  (/ (/ z (sqrt x)) y)
  1
  (/ z (* x y))
  (/ z (* (cbrt x) (cbrt x)))
  (/ (/ 1 (cbrt x)) y)
  (/ z (sqrt x))
  (/ 1 (* (sqrt x) y))
  z
  (/ 1 (* x y))
  (/ 1 x)
  (/ (* x y) z)
  (/ (/ (/ z y) (cbrt x)) (cbrt x))
  (/ (/ z (sqrt x)) y)
  (/ z y)
  (/ x (cbrt (/ z y)))
  (/ x (sqrt (/ z y)))
  (* (cbrt y) (/ x (cbrt z)))
  (* (sqrt y) (/ x (cbrt z)))
  (* (/ x (cbrt z)) y)
  (/ x (/ (sqrt z) (cbrt y)))
  (* (sqrt y) (/ x (sqrt z)))
  (* (/ x (sqrt z)) y)
  (* (/ x z) (cbrt y))
  (* (sqrt y) (/ x z))
  (/ (* x y) z)
  (/ (* x y) z)
  (* x y)
  (* x y)
  (expm1 (/ x (/ z y)))
  (log1p (/ x (/ z y)))
  -1
  (log (/ x (/ z y)))
  (log (/ x (/ z y)))
  (log (/ x (/ z y)))
  (log (/ x (/ z y)))
  (log (/ x (/ z y)))
  (log (/ x (/ z y)))
  (log (/ x (/ z y)))
  (log (/ x (/ z y)))
  (log (/ x (/ z y)))
  (log (/ x (/ z y)))
  (exp (/ x (/ z y)))
  (* (/ x (/ z y)) (* (/ x (/ z y)) (/ x (/ z y))))
  (* (/ x (/ z y)) (* (/ x (/ z y)) (/ x (/ z y))))
  (* (/ x (/ z y)) (* (/ x (/ z y)) (/ x (/ z y))))
  (* (cbrt (/ x (/ z y))) (cbrt (/ x (/ z y))))
  (cbrt (/ x (/ z y)))
  (* (/ x (/ z y)) (* (/ x (/ z y)) (/ x (/ z y))))
  (sqrt (/ x (/ z y)))
  (sqrt (/ x (/ z y)))
  -1
  (/ (/ (- z) y) x)
  (* (/ 1 (cbrt (/ z (* x y)))) (/ 1 (cbrt (/ z (* x y)))))
  (/ 1 (cbrt (/ z (* x y))))
  (/ 1 (sqrt (/ z (* x y))))
  (/ 1 (sqrt (/ z (* x y))))
  (/ (/ (cbrt x) (cbrt (/ z y))) (/ (cbrt (/ z y)) (cbrt x)))
  (/ (cbrt x) (cbrt (/ z y)))
  (/ (sqrt x) (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ (sqrt x) (cbrt (/ z y)))
  (/ (/ 1 (cbrt (/ z y))) (cbrt (/ z y)))
  (/ x (cbrt (/ z y)))
  (* (/ (cbrt x) (sqrt (/ z y))) (cbrt x))
  (/ (cbrt x) (sqrt (/ z y)))
  (/ (sqrt x) (sqrt (/ z y)))
  (/ (sqrt x) (sqrt (/ z y)))
  (/ 1 (sqrt (/ z y)))
  (/ x (sqrt (/ z y)))
  (* (/ (cbrt x) (/ (cbrt z) (cbrt y))) (/ (cbrt x) (/ (cbrt z) (cbrt y))))
  (/ (cbrt x) (/ (cbrt z) (cbrt y)))
  (/ (sqrt x) (* (/ (cbrt z) (cbrt y)) (/ (cbrt z) (cbrt y))))
  (/ (sqrt x) (/ (cbrt z) (cbrt y)))
  (/ (/ 1 (/ (cbrt z) (cbrt y))) (/ (cbrt z) (cbrt y)))
  (* (cbrt y) (/ x (cbrt z)))
  (/ (* (cbrt x) (cbrt x)) (* (/ (cbrt z) (sqrt y)) (cbrt z)))
  (/ (cbrt x) (/ (cbrt z) (sqrt y)))
  (/ (sqrt x) (* (/ (cbrt z) (sqrt y)) (cbrt z)))
  (/ (sqrt x) (/ (cbrt z) (sqrt y)))
  (* (/ 1 (cbrt z)) (/ (sqrt y) (cbrt z)))
  (* (sqrt y) (/ x (cbrt z)))
  (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z)))
  (/ (cbrt x) (/ (cbrt z) y))
  (/ (sqrt x) (* (cbrt z) (cbrt z)))
  (/ (sqrt x) (/ (cbrt z) y))
  (/ 1 (* (cbrt z) (cbrt z)))
  (* (/ x (cbrt z)) y)
  (/ (* (cbrt x) (cbrt x)) (/ (sqrt z) (* (cbrt y) (cbrt y))))
  (/ (cbrt x) (/ (sqrt z) (cbrt y)))
  (/ (sqrt x) (/ (sqrt z) (* (cbrt y) (cbrt y))))
  (/ (sqrt x) (/ (sqrt z) (cbrt y)))
  (* (/ 1 (sqrt z)) (* (cbrt y) (cbrt y)))
  (/ x (/ (sqrt z) (cbrt y)))
  (/ (* (cbrt x) (cbrt x)) (/ (sqrt z) (sqrt y)))
  (/ (cbrt x) (/ (sqrt z) (sqrt y)))
  (/ (sqrt x) (/ (sqrt z) (sqrt y)))
  (/ (sqrt x) (/ (sqrt z) (sqrt y)))
  (/ 1 (/ (sqrt z) (sqrt y)))
  (* (sqrt y) (/ x (sqrt z)))
  (/ (* (cbrt x) (cbrt x)) (sqrt z))
  (/ (cbrt x) (/ (sqrt z) y))
  (/ (sqrt x) (sqrt z))
  (/ (sqrt x) (/ (sqrt z) y))
  (/ 1 (sqrt z))
  (* (/ x (sqrt z)) y)
  (* (* (cbrt x) (cbrt y)) (* (cbrt x) (cbrt y)))
  (/ (cbrt x) (/ z (cbrt y)))
  (* (* (sqrt x) (cbrt y)) (cbrt y))
  (/ (sqrt x) (/ z (cbrt y)))
  (* (cbrt y) (cbrt y))
  (* (/ x z) (cbrt y))
  (* (sqrt y) (* (cbrt x) (cbrt x)))
  (/ (cbrt x) (/ z (sqrt y)))
  (* (sqrt x) (sqrt y))
  (/ (sqrt x) (/ z (sqrt y)))
  (sqrt y)
  (* (sqrt y) (/ x z))
  (* (cbrt x) (cbrt x))
  (/ (cbrt x) (/ z y))
  (sqrt x)
  (/ (sqrt x) (/ z y))
  1
  (/ x (/ z y))
  (* (cbrt x) (cbrt x))
  (/ (cbrt x) (/ z y))
  (sqrt x)
  (/ (sqrt x) (/ z y))
  1
  (/ x (/ z y))
  (/ (* (cbrt x) (cbrt x)) z)
  (* y (cbrt x))
  (/ (sqrt x) z)
  (* (sqrt x) y)
  (/ 1 z)
  (* x y)
  1
  (/ x (/ z y))
  (/ y z)
  x
  (* (/ 1 (cbrt (/ z (* x y)))) (/ 1 (cbrt (/ z (* x y)))))
  (/ 1 (cbrt (/ z (* x y))))
  (/ 1 (sqrt (/ z (* x y))))
  (/ 1 (sqrt (/ z (* x y))))
  (/ (/ (cbrt x) (cbrt (/ z y))) (/ (cbrt (/ z y)) (cbrt x)))
  (/ (cbrt x) (cbrt (/ z y)))
  (/ (sqrt x) (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ (sqrt x) (cbrt (/ z y)))
  (/ (/ 1 (cbrt (/ z y))) (cbrt (/ z y)))
  (/ x (cbrt (/ z y)))
  (* (/ (cbrt x) (sqrt (/ z y))) (cbrt x))
  (/ (cbrt x) (sqrt (/ z y)))
  (/ (sqrt x) (sqrt (/ z y)))
  (/ (sqrt x) (sqrt (/ z y)))
  (/ 1 (sqrt (/ z y)))
  (/ x (sqrt (/ z y)))
  (* (/ (cbrt x) (/ (cbrt z) (cbrt y))) (/ (cbrt x) (/ (cbrt z) (cbrt y))))
  (/ (cbrt x) (/ (cbrt z) (cbrt y)))
  (/ (sqrt x) (* (/ (cbrt z) (cbrt y)) (/ (cbrt z) (cbrt y))))
  (/ (sqrt x) (/ (cbrt z) (cbrt y)))
  (/ (/ 1 (/ (cbrt z) (cbrt y))) (/ (cbrt z) (cbrt y)))
  (* (cbrt y) (/ x (cbrt z)))
  (/ (* (cbrt x) (cbrt x)) (* (/ (cbrt z) (sqrt y)) (cbrt z)))
  (/ (cbrt x) (/ (cbrt z) (sqrt y)))
  (/ (sqrt x) (* (/ (cbrt z) (sqrt y)) (cbrt z)))
  (/ (sqrt x) (/ (cbrt z) (sqrt y)))
  (* (/ 1 (cbrt z)) (/ (sqrt y) (cbrt z)))
  (* (sqrt y) (/ x (cbrt z)))
  (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z)))
  (/ (cbrt x) (/ (cbrt z) y))
  (/ (sqrt x) (* (cbrt z) (cbrt z)))
  (/ (sqrt x) (/ (cbrt z) y))
  (/ 1 (* (cbrt z) (cbrt z)))
  (* (/ x (cbrt z)) y)
  (/ (* (cbrt x) (cbrt x)) (/ (sqrt z) (* (cbrt y) (cbrt y))))
  (/ (cbrt x) (/ (sqrt z) (cbrt y)))
  (/ (sqrt x) (/ (sqrt z) (* (cbrt y) (cbrt y))))
  (/ (sqrt x) (/ (sqrt z) (cbrt y)))
  (* (/ 1 (sqrt z)) (* (cbrt y) (cbrt y)))
  (/ x (/ (sqrt z) (cbrt y)))
  (/ (* (cbrt x) (cbrt x)) (/ (sqrt z) (sqrt y)))
  (/ (cbrt x) (/ (sqrt z) (sqrt y)))
  (/ (sqrt x) (/ (sqrt z) (sqrt y)))
  (/ (sqrt x) (/ (sqrt z) (sqrt y)))
  (/ 1 (/ (sqrt z) (sqrt y)))
  (* (sqrt y) (/ x (sqrt z)))
  (/ (* (cbrt x) (cbrt x)) (sqrt z))
  (/ (cbrt x) (/ (sqrt z) y))
  (/ (sqrt x) (sqrt z))
  (/ (sqrt x) (/ (sqrt z) y))
  (/ 1 (sqrt z))
  (* (/ x (sqrt z)) y)
  (* (* (cbrt x) (cbrt y)) (* (cbrt x) (cbrt y)))
  (/ (cbrt x) (/ z (cbrt y)))
  (* (* (sqrt x) (cbrt y)) (cbrt y))
  (/ (sqrt x) (/ z (cbrt y)))
  (* (cbrt y) (cbrt y))
  (* (/ x z) (cbrt y))
  (* (sqrt y) (* (cbrt x) (cbrt x)))
  (/ (cbrt x) (/ z (sqrt y)))
  (* (sqrt x) (sqrt y))
  (/ (sqrt x) (/ z (sqrt y)))
  (sqrt y)
  (* (sqrt y) (/ x z))
  (* (cbrt x) (cbrt x))
  (/ (cbrt x) (/ z y))
  (sqrt x)
  (/ (sqrt x) (/ z y))
  1
  (/ x (/ z y))
  (* (cbrt x) (cbrt x))
  (/ (cbrt x) (/ z y))
  (sqrt x)
  (/ (sqrt x) (/ z y))
  1
  (/ x (/ z y))
  (/ (* (cbrt x) (cbrt x)) z)
  (* y (cbrt x))
  (/ (sqrt x) z)
  (* (sqrt x) y)
  (/ 1 z)
  (* x y)
  1
  (/ x (/ z y))
  (/ y z)
  x
  (* (/ 1 (cbrt (/ z (* x y)))) (/ 1 (cbrt (/ z (* x y)))))
  (/ 1 (cbrt (/ z (* x y))))
  (/ 1 (sqrt (/ z (* x y))))
  (/ 1 (sqrt (/ z (* x y))))
  (/ (/ (cbrt x) (cbrt (/ z y))) (/ (cbrt (/ z y)) (cbrt x)))
  (/ (cbrt x) (cbrt (/ z y)))
  (/ (sqrt x) (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ (sqrt x) (cbrt (/ z y)))
  (/ (/ 1 (cbrt (/ z y))) (cbrt (/ z y)))
  (/ x (cbrt (/ z y)))
  (* (/ (cbrt x) (sqrt (/ z y))) (cbrt x))
  (/ (cbrt x) (sqrt (/ z y)))
  (/ (sqrt x) (sqrt (/ z y)))
  (/ (sqrt x) (sqrt (/ z y)))
  (/ 1 (sqrt (/ z y)))
  (/ x (sqrt (/ z y)))
  (* (/ (cbrt x) (/ (cbrt z) (cbrt y))) (/ (cbrt x) (/ (cbrt z) (cbrt y))))
  (/ (cbrt x) (/ (cbrt z) (cbrt y)))
  (/ (sqrt x) (* (/ (cbrt z) (cbrt y)) (/ (cbrt z) (cbrt y))))
  (/ (sqrt x) (/ (cbrt z) (cbrt y)))
  (/ (/ 1 (/ (cbrt z) (cbrt y))) (/ (cbrt z) (cbrt y)))
  (* (cbrt y) (/ x (cbrt z)))
  (/ (* (cbrt x) (cbrt x)) (* (/ (cbrt z) (sqrt y)) (cbrt z)))
  (/ (cbrt x) (/ (cbrt z) (sqrt y)))
  (/ (sqrt x) (* (/ (cbrt z) (sqrt y)) (cbrt z)))
  (/ (sqrt x) (/ (cbrt z) (sqrt y)))
  (* (/ 1 (cbrt z)) (/ (sqrt y) (cbrt z)))
  (* (sqrt y) (/ x (cbrt z)))
  (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z)))
  (/ (cbrt x) (/ (cbrt z) y))
  (/ (sqrt x) (* (cbrt z) (cbrt z)))
  (/ (sqrt x) (/ (cbrt z) y))
  (/ 1 (* (cbrt z) (cbrt z)))
  (* (/ x (cbrt z)) y)
  (/ (* (cbrt x) (cbrt x)) (/ (sqrt z) (* (cbrt y) (cbrt y))))
  (/ (cbrt x) (/ (sqrt z) (cbrt y)))
  (/ (sqrt x) (/ (sqrt z) (* (cbrt y) (cbrt y))))
  (/ (sqrt x) (/ (sqrt z) (cbrt y)))
  (* (/ 1 (sqrt z)) (* (cbrt y) (cbrt y)))
  (/ x (/ (sqrt z) (cbrt y)))
  (/ (* (cbrt x) (cbrt x)) (/ (sqrt z) (sqrt y)))
  (/ (cbrt x) (/ (sqrt z) (sqrt y)))
  (/ (sqrt x) (/ (sqrt z) (sqrt y)))
  (/ (sqrt x) (/ (sqrt z) (sqrt y)))
  (/ 1 (/ (sqrt z) (sqrt y)))
  (* (sqrt y) (/ x (sqrt z)))
  (/ (* (cbrt x) (cbrt x)) (sqrt z))
  (/ (cbrt x) (/ (sqrt z) y))
  (/ (sqrt x) (sqrt z))
  (/ (sqrt x) (/ (sqrt z) y))
  (/ 1 (sqrt z))
  (* (/ x (sqrt z)) y)
  (* (* (cbrt x) (cbrt y)) (* (cbrt x) (cbrt y)))
  (/ (cbrt x) (/ z (cbrt y)))
  (* (* (sqrt x) (cbrt y)) (cbrt y))
  (/ (sqrt x) (/ z (cbrt y)))
  (* (cbrt y) (cbrt y))
  (* (/ x z) (cbrt y))
  (* (sqrt y) (* (cbrt x) (cbrt x)))
  (/ (cbrt x) (/ z (sqrt y)))
  (* (sqrt x) (sqrt y))
  (/ (sqrt x) (/ z (sqrt y)))
  (sqrt y)
  (* (sqrt y) (/ x z))
  (* (cbrt x) (cbrt x))
  (/ (cbrt x) (/ z y))
  (sqrt x)
  (/ (sqrt x) (/ z y))
  1
  (/ x (/ z y))
  (* (cbrt x) (cbrt x))
  (/ (cbrt x) (/ z y))
  (sqrt x)
  (/ (sqrt x) (/ z y))
  1
  (/ x (/ z y))
  (/ (* (cbrt x) (cbrt x)) z)
  (* y (cbrt x))
  (/ (sqrt x) z)
  (* (sqrt x) y)
  (/ 1 z)
  (* x y)
  1
  (/ x (/ z y))
  (/ y z)
  x
  (/ x (/ z y))
  (/ z (* x y))
  (* (/ 1 (cbrt (/ z (* x y)))) (/ 1 (cbrt (/ z (* x y)))))
  (/ 1 (sqrt (/ z (* x y))))
  (/ (/ (cbrt x) (cbrt (/ z y))) (/ (cbrt (/ z y)) (cbrt x)))
  (/ (sqrt x) (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ (/ 1 (cbrt (/ z y))) (cbrt (/ z y)))
  (* (/ (cbrt x) (sqrt (/ z y))) (cbrt x))
  (/ (sqrt x) (sqrt (/ z y)))
  (/ 1 (sqrt (/ z y)))
  (* (/ (cbrt x) (/ (cbrt z) (cbrt y))) (/ (cbrt x) (/ (cbrt z) (cbrt y))))
  (/ (sqrt x) (* (/ (cbrt z) (cbrt y)) (/ (cbrt z) (cbrt y))))
  (/ (/ 1 (/ (cbrt z) (cbrt y))) (/ (cbrt z) (cbrt y)))
  (/ (* (cbrt x) (cbrt x)) (* (/ (cbrt z) (sqrt y)) (cbrt z)))
  (/ (sqrt x) (* (/ (cbrt z) (sqrt y)) (cbrt z)))
  (* (/ 1 (cbrt z)) (/ (sqrt y) (cbrt z)))
  (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z)))
  (/ (sqrt x) (* (cbrt z) (cbrt z)))
  (/ 1 (* (cbrt z) (cbrt z)))
  (/ (* (cbrt x) (cbrt x)) (/ (sqrt z) (* (cbrt y) (cbrt y))))
  (/ (sqrt x) (/ (sqrt z) (* (cbrt y) (cbrt y))))
  (* (/ 1 (sqrt z)) (* (cbrt y) (cbrt y)))
  (/ (* (cbrt x) (cbrt x)) (/ (sqrt z) (sqrt y)))
  (/ (sqrt x) (/ (sqrt z) (sqrt y)))
  (/ 1 (/ (sqrt z) (sqrt y)))
  (/ (* (cbrt x) (cbrt x)) (sqrt z))
  (/ (sqrt x) (sqrt z))
  (/ 1 (sqrt z))
  (* (* (cbrt x) (cbrt y)) (* (cbrt x) (cbrt y)))
  (* (* (sqrt x) (cbrt y)) (cbrt y))
  (* (cbrt y) (cbrt y))
  (* (sqrt y) (* (cbrt x) (cbrt x)))
  (* (sqrt x) (sqrt y))
  (sqrt y)
  (* (cbrt x) (cbrt x))
  (sqrt x)
  1
  (* (cbrt x) (cbrt x))
  (sqrt x)
  1
  (/ (* (cbrt x) (cbrt x)) z)
  (/ (sqrt x) z)
  (/ 1 z)
  1
  (/ y z)
  (/ z (* x y))
  (/ z (* x y))
  (/ z (* x y))
  (/ y z)
  (/ z (* x y))
  (/ z (* x y))
  (/ z (* x y))
  (* (/ x z) y)
  (* (/ x z) y)
  (* (/ x z) y)
12.494 * * * [progress]: adding candidates to table
13.768 * [progress]: [Phase 3 of 3] Extracting.
13.768 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t) (* x (/ y z)))> #<alt (λ (x y z t) (/ x (/ z y)))> #<alt (λ (x y z t) (/ (* x y) z))> #<alt (λ (x y z t) (* (* y (sqrt (/ x z))) (sqrt (/ x z))))> #<alt (λ (x y z t) (/ 1 (/ (/ z y) x)))> #<alt (λ (x y z t) (/ 1 (* (* (cbrt (/ (/ z y) x)) (cbrt (/ (/ z y) x))) (cbrt (/ (/ z y) x)))))> #<alt (λ (x y z t) (* (/ 1 z) (* x y)))> #<alt (λ (x y z t) (* y (/ x z)))>)
13.769 * * * [regime-changes]: Trying 5 branch expressions: ((/ y z) t z y x)
13.769 * * * * [regimes]: Trying to branch on (/ y z) from (#<alt (λ (x y z t) (* x (/ y z)))> #<alt (λ (x y z t) (/ x (/ z y)))> #<alt (λ (x y z t) (/ (* x y) z))> #<alt (λ (x y z t) (* (* y (sqrt (/ x z))) (sqrt (/ x z))))> #<alt (λ (x y z t) (/ 1 (/ (/ z y) x)))> #<alt (λ (x y z t) (/ 1 (* (* (cbrt (/ (/ z y) x)) (cbrt (/ (/ z y) x))) (cbrt (/ (/ z y) x)))))> #<alt (λ (x y z t) (* (/ 1 z) (* x y)))> #<alt (λ (x y z t) (* y (/ x z)))>)
13.901 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t) (* x (/ y z)))> #<alt (λ (x y z t) (/ x (/ z y)))> #<alt (λ (x y z t) (/ (* x y) z))> #<alt (λ (x y z t) (* (* y (sqrt (/ x z))) (sqrt (/ x z))))> #<alt (λ (x y z t) (/ 1 (/ (/ z y) x)))> #<alt (λ (x y z t) (/ 1 (* (* (cbrt (/ (/ z y) x)) (cbrt (/ (/ z y) x))) (cbrt (/ (/ z y) x)))))> #<alt (λ (x y z t) (* (/ 1 z) (* x y)))> #<alt (λ (x y z t) (* y (/ x z)))>)
14.013 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t) (* x (/ y z)))> #<alt (λ (x y z t) (/ x (/ z y)))> #<alt (λ (x y z t) (/ (* x y) z))> #<alt (λ (x y z t) (* (* y (sqrt (/ x z))) (sqrt (/ x z))))> #<alt (λ (x y z t) (/ 1 (/ (/ z y) x)))> #<alt (λ (x y z t) (/ 1 (* (* (cbrt (/ (/ z y) x)) (cbrt (/ (/ z y) x))) (cbrt (/ (/ z y) x)))))> #<alt (λ (x y z t) (* (/ 1 z) (* x y)))> #<alt (λ (x y z t) (* y (/ x z)))>)
14.099 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t) (* x (/ y z)))> #<alt (λ (x y z t) (/ x (/ z y)))> #<alt (λ (x y z t) (/ (* x y) z))> #<alt (λ (x y z t) (* (* y (sqrt (/ x z))) (sqrt (/ x z))))> #<alt (λ (x y z t) (/ 1 (/ (/ z y) x)))> #<alt (λ (x y z t) (/ 1 (* (* (cbrt (/ (/ z y) x)) (cbrt (/ (/ z y) x))) (cbrt (/ (/ z y) x)))))> #<alt (λ (x y z t) (* (/ 1 z) (* x y)))> #<alt (λ (x y z t) (* y (/ x z)))>)
14.269 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t) (* x (/ y z)))> #<alt (λ (x y z t) (/ x (/ z y)))> #<alt (λ (x y z t) (/ (* x y) z))> #<alt (λ (x y z t) (* (* y (sqrt (/ x z))) (sqrt (/ x z))))> #<alt (λ (x y z t) (/ 1 (/ (/ z y) x)))> #<alt (λ (x y z t) (/ 1 (* (* (cbrt (/ (/ z y) x)) (cbrt (/ (/ z y) x))) (cbrt (/ (/ z y) x)))))> #<alt (λ (x y z t) (* (/ 1 z) (* x y)))> #<alt (λ (x y z t) (* y (/ x z)))>)
14.379 * * * [regime]: Found split indices: #<option (#s(si 1 85) #s(si 2 135) #s(si 1 165) #s(si 7 229) #s(si 2 248) #s(si 7 255))>
14.380 * [binary-search]: Improving bounds with binary search for y and (#<alt (λ (x y z t) (* x (/ y z)))> #<alt (λ (x y z t) (/ x (/ z y)))> #<alt (λ (x y z t) (/ (* x y) z))> #<alt (λ (x y z t) (* (* y (sqrt (/ x z))) (sqrt (/ x z))))> #<alt (λ (x y z t) (/ 1 (/ (/ z y) x)))> #<alt (λ (x y z t) (/ 1 (* (* (cbrt (/ (/ z y) x)) (cbrt (/ (/ z y) x))) (cbrt (/ (/ z y) x)))))> #<alt (λ (x y z t) (* (/ 1 z) (* x y)))> #<alt (λ (x y z t) (* y (/ x z)))>)
14.678 * [regimes]: Found splitpoints: (#s(sp 1 y -5.71272481674453e-123) #s(sp 2 y -1.1686034740152128e-303) #s(sp 1 y 8.88211410145401e-160) #s(sp 7 y 3.615896835308015e+145) #s(sp 2 y 2.420727102112022e+244) #s(sp 7 y +nan.0)) , with alts (#<alt (λ (x y z t) (* x (/ y z)))> #<alt (λ (x y z t) (/ x (/ z y)))> #<alt (λ (x y z t) (/ (* x y) z))> #<alt (λ (x y z t) (* (* y (sqrt (/ x z))) (sqrt (/ x z))))> #<alt (λ (x y z t) (/ 1 (/ (/ z y) x)))> #<alt (λ (x y z t) (/ 1 (* (* (cbrt (/ (/ z y) x)) (cbrt (/ (/ z y) x))) (cbrt (/ (/ z y) x)))))> #<alt (λ (x y z t) (* (/ 1 z) (* x y)))> #<alt (λ (x y z t) (* y (/ x z)))>)
14.678 * [simplify]: Simplifying:
  (if (<= y -5.71272481674453e-123) (/ x (/ z y)) (if (<= y -1.1686034740152128e-303) (/ (* x y) z) (if (<= y 8.88211410145401e-160) (/ x (/ z y)) (if (<= y 3.615896835308015e+145) (* y (/ x z)) (if (<= y 2.420727102112022e+244) (/ (* x y) z) (* y (/ x z)))))))
14.678 * * [simplify]: iteration 0: 24 enodes
14.679 * * [simplify]: iteration 1: 29 enodes
14.680 * * [simplify]: iteration complete: 29 enodes
14.681 * * [simplify]: Extracting #0: cost 1 inf + 0
14.681 * * [simplify]: Extracting #1: cost 4 inf + 0
14.681 * * [simplify]: Extracting #2: cost 11 inf + 0
14.681 * * [simplify]: Extracting #3: cost 13 inf + 3
14.681 * * [simplify]: Extracting #4: cost 13 inf + 156
14.681 * * [simplify]: Extracting #5: cost 13 inf + 390
14.681 * * [simplify]: Extracting #6: cost 10 inf + 583
14.681 * * [simplify]: Extracting #7: cost 8 inf + 651
14.681 * * [simplify]: Extracting #8: cost 6 inf + 850
14.682 * * [simplify]: Extracting #9: cost 3 inf + 1822
14.682 * * [simplify]: Extracting #10: cost 2 inf + 2458
14.682 * * [simplify]: Extracting #11: cost 1 inf + 3225
14.683 * * [simplify]: Extracting #12: cost 0 inf + 4123
14.683 * [simplify]: Simplified to:
  (if (<= y -5.71272481674453e-123) (/ x (/ z y)) (if (<= y -1.1686034740152128e-303) (/ (* x y) z) (if (<= y 8.88211410145401e-160) (/ x (/ z y)) (if (<= y 3.615896835308015e+145) (* (/ x z) y) (if (<= y 2.420727102112022e+244) (/ (* x y) z) (* (/ x z) y))))))
17.527 * [regime-testing]: Baseline error score: 6.06007823950542
17.544 * [regime-testing]: Oracle error score: 0.010876359544943117
17.565 * [regime-testing]: End program error score: 6.079661018591438