17.304 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.041 * * * [progress]: [2/2] Setting up program.
0.047 * [progress]: [Phase 2 of 3] Improving.
0.047 * [simplify]: Simplifying:
  (+ (* x y) (* (- x 1.0) z))
0.047 * * [simplify]: iteration 0: 8 enodes
0.050 * * [simplify]: iteration 1: 13 enodes
0.054 * * [simplify]: iteration 2: 20 enodes
0.060 * * [simplify]: iteration 3: 34 enodes
0.069 * * [simplify]: iteration 4: 55 enodes
0.083 * * [simplify]: iteration 5: 65 enodes
0.096 * * [simplify]: iteration 6: 71 enodes
0.111 * * [simplify]: iteration 7: 88 enodes
0.132 * * [simplify]: iteration 8: 122 enodes
0.177 * * [simplify]: iteration 9: 305 enodes
0.281 * * [simplify]: iteration 10: 1249 enodes
0.823 * * [simplify]: iteration complete: 5000 enodes
0.823 * * [simplify]: Extracting #0: cost 1 inf + 0
0.824 * * [simplify]: Extracting #1: cost 504 inf + 0
0.828 * * [simplify]: Extracting #2: cost 2126 inf + 0
0.835 * * [simplify]: Extracting #3: cost 1881 inf + 704
0.842 * * [simplify]: Extracting #4: cost 822 inf + 6837
0.849 * * [simplify]: Extracting #5: cost 67 inf + 13718
0.856 * * [simplify]: Extracting #6: cost 0 inf + 14542
0.863 * [simplify]: Simplified to:
  (- (* x (+ y z)) (* 1.0 z))
0.867 * * [progress]: iteration 1 / 4
0.867 * * * [progress]: picking best candidate
0.873 * * * * [pick]: Picked  #<alt (λ (x y z) (- (* x (+ y z)) (* 1.0 z)))>
0.873 * * * [progress]: localizing error
0.885 * * * [progress]: generating rewritten candidates
0.886 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1)
0.906 * * * [progress]: generating series expansions
0.906 * * * * [progress]: [ 1 / 1 ] generating series at (2 1)
0.906 * [backup-simplify]: Simplify (* x (+ y z)) into (* x (+ z y))
0.906 * [approximate]: Taking taylor expansion of (* x (+ z y)) in (x y z) around 0
0.907 * [taylor]: Taking taylor expansion of (* x (+ z y)) in z
0.907 * [taylor]: Taking taylor expansion of x in z
0.907 * [backup-simplify]: Simplify x into x
0.907 * [taylor]: Taking taylor expansion of (+ z y) in z
0.907 * [taylor]: Taking taylor expansion of z in z
0.907 * [backup-simplify]: Simplify 0 into 0
0.907 * [backup-simplify]: Simplify 1 into 1
0.907 * [taylor]: Taking taylor expansion of y in z
0.907 * [backup-simplify]: Simplify y into y
0.907 * [taylor]: Taking taylor expansion of (* x (+ z y)) in y
0.907 * [taylor]: Taking taylor expansion of x in y
0.907 * [backup-simplify]: Simplify x into x
0.907 * [taylor]: Taking taylor expansion of (+ z y) in y
0.907 * [taylor]: Taking taylor expansion of z in y
0.907 * [backup-simplify]: Simplify z into z
0.907 * [taylor]: Taking taylor expansion of y in y
0.907 * [backup-simplify]: Simplify 0 into 0
0.907 * [backup-simplify]: Simplify 1 into 1
0.907 * [taylor]: Taking taylor expansion of (* x (+ z y)) in x
0.907 * [taylor]: Taking taylor expansion of x in x
0.907 * [backup-simplify]: Simplify 0 into 0
0.907 * [backup-simplify]: Simplify 1 into 1
0.907 * [taylor]: Taking taylor expansion of (+ z y) in x
0.907 * [taylor]: Taking taylor expansion of z in x
0.907 * [backup-simplify]: Simplify z into z
0.907 * [taylor]: Taking taylor expansion of y in x
0.907 * [backup-simplify]: Simplify y into y
0.907 * [taylor]: Taking taylor expansion of (* x (+ z y)) in x
0.907 * [taylor]: Taking taylor expansion of x in x
0.907 * [backup-simplify]: Simplify 0 into 0
0.907 * [backup-simplify]: Simplify 1 into 1
0.907 * [taylor]: Taking taylor expansion of (+ z y) in x
0.907 * [taylor]: Taking taylor expansion of z in x
0.907 * [backup-simplify]: Simplify z into z
0.907 * [taylor]: Taking taylor expansion of y in x
0.907 * [backup-simplify]: Simplify y into y
0.908 * [backup-simplify]: Simplify (+ z y) into (+ z y)
0.908 * [backup-simplify]: Simplify (* 0 (+ z y)) into 0
0.908 * [taylor]: Taking taylor expansion of 0 in y
0.908 * [backup-simplify]: Simplify 0 into 0
0.908 * [taylor]: Taking taylor expansion of 0 in z
0.908 * [backup-simplify]: Simplify 0 into 0
0.908 * [backup-simplify]: Simplify 0 into 0
0.909 * [backup-simplify]: Simplify (+ 0 0) into 0
0.909 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (+ z y))) into (+ z y)
0.909 * [taylor]: Taking taylor expansion of (+ z y) in y
0.909 * [taylor]: Taking taylor expansion of z in y
0.909 * [backup-simplify]: Simplify z into z
0.909 * [taylor]: Taking taylor expansion of y in y
0.909 * [backup-simplify]: Simplify 0 into 0
0.909 * [backup-simplify]: Simplify 1 into 1
0.910 * [backup-simplify]: Simplify (+ z 0) into z
0.910 * [taylor]: Taking taylor expansion of z in z
0.910 * [backup-simplify]: Simplify 0 into 0
0.910 * [backup-simplify]: Simplify 1 into 1
0.910 * [backup-simplify]: Simplify 0 into 0
0.910 * [taylor]: Taking taylor expansion of 0 in z
0.910 * [backup-simplify]: Simplify 0 into 0
0.910 * [backup-simplify]: Simplify 0 into 0
0.910 * [backup-simplify]: Simplify 0 into 0
0.910 * [backup-simplify]: Simplify (+ 0 0) into 0
0.912 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (+ z y)))) into 0
0.912 * [taylor]: Taking taylor expansion of 0 in y
0.912 * [backup-simplify]: Simplify 0 into 0
0.912 * [taylor]: Taking taylor expansion of 0 in z
0.912 * [backup-simplify]: Simplify 0 into 0
0.912 * [backup-simplify]: Simplify 0 into 0
0.912 * [backup-simplify]: Simplify (+ 0 1) into 1
0.912 * [taylor]: Taking taylor expansion of 1 in z
0.912 * [backup-simplify]: Simplify 1 into 1
0.912 * [backup-simplify]: Simplify 1 into 1
0.912 * [taylor]: Taking taylor expansion of 0 in z
0.912 * [backup-simplify]: Simplify 0 into 0
0.913 * [backup-simplify]: Simplify 0 into 0
0.913 * [backup-simplify]: Simplify 1 into 1
0.913 * [backup-simplify]: Simplify 0 into 0
0.913 * [backup-simplify]: Simplify 0 into 0
0.913 * [backup-simplify]: Simplify (+ 0 0) into 0
0.915 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (+ z y))))) into 0
0.915 * [taylor]: Taking taylor expansion of 0 in y
0.915 * [backup-simplify]: Simplify 0 into 0
0.915 * [taylor]: Taking taylor expansion of 0 in z
0.915 * [backup-simplify]: Simplify 0 into 0
0.915 * [backup-simplify]: Simplify 0 into 0
0.915 * [taylor]: Taking taylor expansion of 0 in z
0.915 * [backup-simplify]: Simplify 0 into 0
0.915 * [backup-simplify]: Simplify 0 into 0
0.915 * [backup-simplify]: Simplify (+ 0 0) into 0
0.915 * [taylor]: Taking taylor expansion of 0 in z
0.915 * [backup-simplify]: Simplify 0 into 0
0.915 * [backup-simplify]: Simplify 0 into 0
0.916 * [taylor]: Taking taylor expansion of 0 in z
0.916 * [backup-simplify]: Simplify 0 into 0
0.916 * [backup-simplify]: Simplify 0 into 0
0.916 * [backup-simplify]: Simplify (+ (* 1 (* z (* 1 x))) (* 1 (* 1 (* y x)))) into (+ (* x y) (* x z))
0.916 * [backup-simplify]: Simplify (* (/ 1 x) (+ (/ 1 y) (/ 1 z))) into (/ (+ (/ 1 z) (/ 1 y)) x)
0.916 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in (x y z) around 0
0.916 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in z
0.916 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z
0.916 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.916 * [taylor]: Taking taylor expansion of z in z
0.916 * [backup-simplify]: Simplify 0 into 0
0.916 * [backup-simplify]: Simplify 1 into 1
0.917 * [backup-simplify]: Simplify (/ 1 1) into 1
0.917 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.917 * [taylor]: Taking taylor expansion of y in z
0.917 * [backup-simplify]: Simplify y into y
0.917 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.917 * [taylor]: Taking taylor expansion of x in z
0.917 * [backup-simplify]: Simplify x into x
0.917 * [backup-simplify]: Simplify (+ 1 0) into 1
0.918 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.918 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in y
0.918 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
0.918 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.918 * [taylor]: Taking taylor expansion of z in y
0.918 * [backup-simplify]: Simplify z into z
0.918 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.918 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.918 * [taylor]: Taking taylor expansion of y in y
0.918 * [backup-simplify]: Simplify 0 into 0
0.918 * [backup-simplify]: Simplify 1 into 1
0.918 * [backup-simplify]: Simplify (/ 1 1) into 1
0.918 * [taylor]: Taking taylor expansion of x in y
0.918 * [backup-simplify]: Simplify x into x
0.919 * [backup-simplify]: Simplify (+ 0 1) into 1
0.919 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.919 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in x
0.919 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
0.919 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.919 * [taylor]: Taking taylor expansion of z in x
0.919 * [backup-simplify]: Simplify z into z
0.919 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.919 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.919 * [taylor]: Taking taylor expansion of y in x
0.919 * [backup-simplify]: Simplify y into y
0.919 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.919 * [taylor]: Taking taylor expansion of x in x
0.919 * [backup-simplify]: Simplify 0 into 0
0.919 * [backup-simplify]: Simplify 1 into 1
0.920 * [backup-simplify]: Simplify (+ (/ 1 z) (/ 1 y)) into (+ (/ 1 y) (/ 1 z))
0.920 * [backup-simplify]: Simplify (/ (+ (/ 1 y) (/ 1 z)) 1) into (+ (/ 1 z) (/ 1 y))
0.920 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in x
0.920 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
0.920 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.920 * [taylor]: Taking taylor expansion of z in x
0.920 * [backup-simplify]: Simplify z into z
0.920 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.920 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.920 * [taylor]: Taking taylor expansion of y in x
0.920 * [backup-simplify]: Simplify y into y
0.920 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.920 * [taylor]: Taking taylor expansion of x in x
0.920 * [backup-simplify]: Simplify 0 into 0
0.920 * [backup-simplify]: Simplify 1 into 1
0.920 * [backup-simplify]: Simplify (+ (/ 1 z) (/ 1 y)) into (+ (/ 1 y) (/ 1 z))
0.920 * [backup-simplify]: Simplify (/ (+ (/ 1 y) (/ 1 z)) 1) into (+ (/ 1 z) (/ 1 y))
0.921 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
0.921 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.921 * [taylor]: Taking taylor expansion of z in y
0.921 * [backup-simplify]: Simplify z into z
0.921 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.921 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.921 * [taylor]: Taking taylor expansion of y in y
0.921 * [backup-simplify]: Simplify 0 into 0
0.921 * [backup-simplify]: Simplify 1 into 1
0.921 * [backup-simplify]: Simplify (/ 1 1) into 1
0.922 * [backup-simplify]: Simplify (+ 0 1) into 1
0.922 * [taylor]: Taking taylor expansion of 1 in z
0.922 * [backup-simplify]: Simplify 1 into 1
0.922 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
0.922 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.923 * [backup-simplify]: Simplify (+ 0 0) into 0
0.924 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 z) (/ 1 y)) (/ 0 1)))) into 0
0.924 * [taylor]: Taking taylor expansion of 0 in y
0.924 * [backup-simplify]: Simplify 0 into 0
0.925 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.925 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
0.925 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.925 * [taylor]: Taking taylor expansion of z in z
0.925 * [backup-simplify]: Simplify 0 into 0
0.925 * [backup-simplify]: Simplify 1 into 1
0.926 * [backup-simplify]: Simplify (/ 1 1) into 1
0.926 * [backup-simplify]: Simplify 1 into 1
0.926 * [backup-simplify]: Simplify 1 into 1
0.926 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
0.926 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.927 * [backup-simplify]: Simplify (+ 0 0) into 0
0.928 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 z) (/ 1 y)) (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.928 * [taylor]: Taking taylor expansion of 0 in y
0.928 * [backup-simplify]: Simplify 0 into 0
0.929 * [taylor]: Taking taylor expansion of 0 in z
0.929 * [backup-simplify]: Simplify 0 into 0
0.929 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
0.930 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.930 * [backup-simplify]: Simplify (+ 0 0) into 0
0.930 * [taylor]: Taking taylor expansion of 0 in z
0.930 * [backup-simplify]: Simplify 0 into 0
0.931 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.931 * [backup-simplify]: Simplify 0 into 0
0.931 * [backup-simplify]: Simplify 0 into 0
0.932 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
0.932 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.932 * [backup-simplify]: Simplify (+ 0 0) into 0
0.935 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 z) (/ 1 y)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.935 * [taylor]: Taking taylor expansion of 0 in y
0.935 * [backup-simplify]: Simplify 0 into 0
0.935 * [taylor]: Taking taylor expansion of 0 in z
0.935 * [backup-simplify]: Simplify 0 into 0
0.935 * [taylor]: Taking taylor expansion of 0 in z
0.935 * [backup-simplify]: Simplify 0 into 0
0.935 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
0.936 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.937 * [backup-simplify]: Simplify (+ 0 0) into 0
0.937 * [taylor]: Taking taylor expansion of 0 in z
0.937 * [backup-simplify]: Simplify 0 into 0
0.937 * [backup-simplify]: Simplify 0 into 0
0.937 * [backup-simplify]: Simplify 0 into 0
0.938 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.938 * [backup-simplify]: Simplify 0 into 0
0.938 * [backup-simplify]: Simplify 0 into 0
0.939 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) (* 1 (* (/ 1 (/ 1 z)) (* 1 (/ 1 (/ 1 x)))))) into (+ (* x z) (* x y))
0.939 * [backup-simplify]: Simplify (* (/ 1 (- x)) (+ (/ 1 (- y)) (/ 1 (- z)))) into (/ (+ (/ 1 z) (/ 1 y)) x)
0.939 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in (x y z) around 0
0.939 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in z
0.939 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z
0.939 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.939 * [taylor]: Taking taylor expansion of z in z
0.939 * [backup-simplify]: Simplify 0 into 0
0.939 * [backup-simplify]: Simplify 1 into 1
0.940 * [backup-simplify]: Simplify (/ 1 1) into 1
0.940 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.940 * [taylor]: Taking taylor expansion of y in z
0.940 * [backup-simplify]: Simplify y into y
0.940 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.940 * [taylor]: Taking taylor expansion of x in z
0.940 * [backup-simplify]: Simplify x into x
0.941 * [backup-simplify]: Simplify (+ 1 0) into 1
0.941 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.941 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in y
0.941 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
0.941 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.941 * [taylor]: Taking taylor expansion of z in y
0.941 * [backup-simplify]: Simplify z into z
0.941 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.941 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.941 * [taylor]: Taking taylor expansion of y in y
0.941 * [backup-simplify]: Simplify 0 into 0
0.941 * [backup-simplify]: Simplify 1 into 1
0.942 * [backup-simplify]: Simplify (/ 1 1) into 1
0.942 * [taylor]: Taking taylor expansion of x in y
0.942 * [backup-simplify]: Simplify x into x
0.942 * [backup-simplify]: Simplify (+ 0 1) into 1
0.942 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.942 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in x
0.942 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
0.942 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.942 * [taylor]: Taking taylor expansion of z in x
0.942 * [backup-simplify]: Simplify z into z
0.942 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.943 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.943 * [taylor]: Taking taylor expansion of y in x
0.943 * [backup-simplify]: Simplify y into y
0.943 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.943 * [taylor]: Taking taylor expansion of x in x
0.943 * [backup-simplify]: Simplify 0 into 0
0.943 * [backup-simplify]: Simplify 1 into 1
0.943 * [backup-simplify]: Simplify (+ (/ 1 z) (/ 1 y)) into (+ (/ 1 y) (/ 1 z))
0.943 * [backup-simplify]: Simplify (/ (+ (/ 1 y) (/ 1 z)) 1) into (+ (/ 1 z) (/ 1 y))
0.943 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in x
0.943 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
0.943 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.943 * [taylor]: Taking taylor expansion of z in x
0.943 * [backup-simplify]: Simplify z into z
0.943 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.943 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.943 * [taylor]: Taking taylor expansion of y in x
0.943 * [backup-simplify]: Simplify y into y
0.943 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.943 * [taylor]: Taking taylor expansion of x in x
0.944 * [backup-simplify]: Simplify 0 into 0
0.944 * [backup-simplify]: Simplify 1 into 1
0.944 * [backup-simplify]: Simplify (+ (/ 1 z) (/ 1 y)) into (+ (/ 1 y) (/ 1 z))
0.944 * [backup-simplify]: Simplify (/ (+ (/ 1 y) (/ 1 z)) 1) into (+ (/ 1 z) (/ 1 y))
0.944 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
0.944 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.944 * [taylor]: Taking taylor expansion of z in y
0.944 * [backup-simplify]: Simplify z into z
0.944 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.944 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.944 * [taylor]: Taking taylor expansion of y in y
0.944 * [backup-simplify]: Simplify 0 into 0
0.944 * [backup-simplify]: Simplify 1 into 1
0.945 * [backup-simplify]: Simplify (/ 1 1) into 1
0.946 * [backup-simplify]: Simplify (+ 0 1) into 1
0.946 * [taylor]: Taking taylor expansion of 1 in z
0.946 * [backup-simplify]: Simplify 1 into 1
0.946 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
0.947 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.947 * [backup-simplify]: Simplify (+ 0 0) into 0
0.948 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 z) (/ 1 y)) (/ 0 1)))) into 0
0.948 * [taylor]: Taking taylor expansion of 0 in y
0.948 * [backup-simplify]: Simplify 0 into 0
0.949 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.949 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
0.950 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.950 * [taylor]: Taking taylor expansion of z in z
0.950 * [backup-simplify]: Simplify 0 into 0
0.950 * [backup-simplify]: Simplify 1 into 1
0.950 * [backup-simplify]: Simplify (/ 1 1) into 1
0.950 * [backup-simplify]: Simplify 1 into 1
0.950 * [backup-simplify]: Simplify 1 into 1
0.950 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
0.951 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.951 * [backup-simplify]: Simplify (+ 0 0) into 0
0.953 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 z) (/ 1 y)) (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.953 * [taylor]: Taking taylor expansion of 0 in y
0.953 * [backup-simplify]: Simplify 0 into 0
0.953 * [taylor]: Taking taylor expansion of 0 in z
0.953 * [backup-simplify]: Simplify 0 into 0
0.953 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
0.954 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.955 * [backup-simplify]: Simplify (+ 0 0) into 0
0.955 * [taylor]: Taking taylor expansion of 0 in z
0.955 * [backup-simplify]: Simplify 0 into 0
0.956 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.956 * [backup-simplify]: Simplify 0 into 0
0.956 * [backup-simplify]: Simplify 0 into 0
0.956 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
0.956 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.957 * [backup-simplify]: Simplify (+ 0 0) into 0
0.959 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 z) (/ 1 y)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.959 * [taylor]: Taking taylor expansion of 0 in y
0.959 * [backup-simplify]: Simplify 0 into 0
0.959 * [taylor]: Taking taylor expansion of 0 in z
0.960 * [backup-simplify]: Simplify 0 into 0
0.960 * [taylor]: Taking taylor expansion of 0 in z
0.960 * [backup-simplify]: Simplify 0 into 0
0.960 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
0.961 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.961 * [backup-simplify]: Simplify (+ 0 0) into 0
0.961 * [taylor]: Taking taylor expansion of 0 in z
0.962 * [backup-simplify]: Simplify 0 into 0
0.962 * [backup-simplify]: Simplify 0 into 0
0.962 * [backup-simplify]: Simplify 0 into 0
0.963 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.963 * [backup-simplify]: Simplify 0 into 0
0.963 * [backup-simplify]: Simplify 0 into 0
0.963 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) (* 1 (* (/ 1 (/ 1 (- z))) (* 1 (/ 1 (/ 1 (- x))))))) into (+ (* x z) (* x y))
0.963 * * * [progress]: simplifying candidates
0.964 * [simplify]: Simplifying:
  (* x (+ y z))
  (+ (log x) (log (+ y z)))
  (log (* x (+ y z)))
  (exp (* x (+ y z)))
  (* (* (* x x) x) (* (* (+ y z) (+ y z)) (+ y 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)))
  (* (sqrt x) (sqrt (+ y z)))
  (* (sqrt x) (sqrt (+ y z)))
  (* x y)
  (* x z)
  (* y x)
  (* z x)
  (* x (* (cbrt (+ y z)) (cbrt (+ y z))))
  (* x (sqrt (+ y z)))
  (* x 1)
  (* x 1)
  (* (cbrt x) (+ y z))
  (* (sqrt x) (+ y z))
  (* x (+ y z))
  (* x (+ (pow y 3) (pow z 3)))
  (* x (- (* y y) (* z z)))
  (+ (* x y) (* x z))
  (+ (* x z) (* x y))
  (+ (* x z) (* x y))
0.965 * * [simplify]: iteration 0: 47 enodes
0.983 * * [simplify]: iteration 1: 141 enodes
1.048 * * [simplify]: iteration 2: 536 enodes
2.098 * * [simplify]: iteration 3: 3532 enodes
3.070 * * [simplify]: iteration complete: 5000 enodes
3.071 * * [simplify]: Extracting #0: cost 17 inf + 0
3.071 * * [simplify]: Extracting #1: cost 141 inf + 1
3.075 * * [simplify]: Extracting #2: cost 865 inf + 87
3.084 * * [simplify]: Extracting #3: cost 1139 inf + 2760
3.095 * * [simplify]: Extracting #4: cost 334 inf + 11275
3.106 * * [simplify]: Extracting #5: cost 47 inf + 14563
3.116 * * [simplify]: Extracting #6: cost 3 inf + 14759
3.132 * * [simplify]: Extracting #7: cost 0 inf + 14774
3.137 * [simplify]: Simplified to:
  (* (+ y z) x)
  (log (* (+ y z) x))
  (log (* (+ y z) x))
  (pow (exp x) (+ y z))
  (pow (* (+ y z) x) 3)
  (* (cbrt (* (+ y z) x)) (cbrt (* (+ y z) x)))
  (cbrt (* (+ y z) x))
  (pow (* (+ y z) x) 3)
  (sqrt (* (+ y z) x))
  (sqrt (* (+ y z) x))
  (* (sqrt x) (sqrt (+ y z)))
  (* (sqrt x) (sqrt (+ y z)))
  (* x y)
  (* x z)
  (* x y)
  (* x z)
  (* x (* (cbrt (+ y z)) (cbrt (+ y z))))
  (* (sqrt (+ y z)) x)
  x
  x
  (* (+ y z) (cbrt x))
  (* (sqrt x) (+ y z))
  (* (+ y z) x)
  (* x (+ (pow z 3) (pow y 3)))
  (* (* (+ y z) x) (- y z))
  (* (+ y z) x)
  (* (+ y z) x)
  (* (+ y z) x)
3.137 * * * [progress]: adding candidates to table
3.260 * * [progress]: iteration 2 / 4
3.260 * * * [progress]: picking best candidate
3.263 * * * * [pick]: Picked  #<alt (λ (x y z) (- (+ (* x y) (* x z)) (* 1.0 z)))>
3.263 * * * [progress]: localizing error
3.277 * * * [progress]: generating rewritten candidates
3.278 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1)
3.291 * * * [progress]: generating series expansions
3.291 * * * * [progress]: [ 1 / 1 ] generating series at (2 1)
3.291 * [backup-simplify]: Simplify (+ (* x y) (* x z)) into (+ (* x z) (* x y))
3.291 * [approximate]: Taking taylor expansion of (+ (* x z) (* x y)) in (x y z) around 0
3.291 * [taylor]: Taking taylor expansion of (+ (* x z) (* x y)) in z
3.291 * [taylor]: Taking taylor expansion of (* x z) in z
3.291 * [taylor]: Taking taylor expansion of x in z
3.291 * [backup-simplify]: Simplify x into x
3.291 * [taylor]: Taking taylor expansion of z in z
3.291 * [backup-simplify]: Simplify 0 into 0
3.291 * [backup-simplify]: Simplify 1 into 1
3.291 * [taylor]: Taking taylor expansion of (* x y) in z
3.292 * [taylor]: Taking taylor expansion of x in z
3.292 * [backup-simplify]: Simplify x into x
3.292 * [taylor]: Taking taylor expansion of y in z
3.292 * [backup-simplify]: Simplify y into y
3.292 * [taylor]: Taking taylor expansion of (+ (* x z) (* x y)) in y
3.292 * [taylor]: Taking taylor expansion of (* x z) in y
3.292 * [taylor]: Taking taylor expansion of x in y
3.292 * [backup-simplify]: Simplify x into x
3.292 * [taylor]: Taking taylor expansion of z in y
3.292 * [backup-simplify]: Simplify z into z
3.292 * [taylor]: Taking taylor expansion of (* x y) in y
3.292 * [taylor]: Taking taylor expansion of x in y
3.292 * [backup-simplify]: Simplify x into x
3.292 * [taylor]: Taking taylor expansion of y in y
3.292 * [backup-simplify]: Simplify 0 into 0
3.292 * [backup-simplify]: Simplify 1 into 1
3.292 * [taylor]: Taking taylor expansion of (+ (* x z) (* x y)) in x
3.292 * [taylor]: Taking taylor expansion of (* x z) in x
3.292 * [taylor]: Taking taylor expansion of x in x
3.292 * [backup-simplify]: Simplify 0 into 0
3.292 * [backup-simplify]: Simplify 1 into 1
3.292 * [taylor]: Taking taylor expansion of z in x
3.292 * [backup-simplify]: Simplify z into z
3.292 * [taylor]: Taking taylor expansion of (* x y) in x
3.292 * [taylor]: Taking taylor expansion of x in x
3.292 * [backup-simplify]: Simplify 0 into 0
3.292 * [backup-simplify]: Simplify 1 into 1
3.292 * [taylor]: Taking taylor expansion of y in x
3.292 * [backup-simplify]: Simplify y into y
3.292 * [taylor]: Taking taylor expansion of (+ (* x z) (* x y)) in x
3.292 * [taylor]: Taking taylor expansion of (* x z) in x
3.292 * [taylor]: Taking taylor expansion of x in x
3.292 * [backup-simplify]: Simplify 0 into 0
3.292 * [backup-simplify]: Simplify 1 into 1
3.292 * [taylor]: Taking taylor expansion of z in x
3.292 * [backup-simplify]: Simplify z into z
3.292 * [taylor]: Taking taylor expansion of (* x y) in x
3.292 * [taylor]: Taking taylor expansion of x in x
3.292 * [backup-simplify]: Simplify 0 into 0
3.292 * [backup-simplify]: Simplify 1 into 1
3.292 * [taylor]: Taking taylor expansion of y in x
3.293 * [backup-simplify]: Simplify y into y
3.293 * [backup-simplify]: Simplify (* 0 z) into 0
3.293 * [backup-simplify]: Simplify (* 0 y) into 0
3.293 * [backup-simplify]: Simplify (+ 0 0) into 0
3.294 * [taylor]: Taking taylor expansion of 0 in y
3.294 * [backup-simplify]: Simplify 0 into 0
3.294 * [taylor]: Taking taylor expansion of 0 in z
3.294 * [backup-simplify]: Simplify 0 into 0
3.294 * [backup-simplify]: Simplify 0 into 0
3.294 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
3.295 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
3.295 * [backup-simplify]: Simplify (+ z y) into (+ z y)
3.295 * [taylor]: Taking taylor expansion of (+ z y) in y
3.295 * [taylor]: Taking taylor expansion of z in y
3.295 * [backup-simplify]: Simplify z into z
3.295 * [taylor]: Taking taylor expansion of y in y
3.295 * [backup-simplify]: Simplify 0 into 0
3.295 * [backup-simplify]: Simplify 1 into 1
3.295 * [backup-simplify]: Simplify (+ z 0) into z
3.295 * [taylor]: Taking taylor expansion of z in z
3.295 * [backup-simplify]: Simplify 0 into 0
3.295 * [backup-simplify]: Simplify 1 into 1
3.295 * [backup-simplify]: Simplify 0 into 0
3.295 * [taylor]: Taking taylor expansion of 0 in z
3.295 * [backup-simplify]: Simplify 0 into 0
3.295 * [backup-simplify]: Simplify 0 into 0
3.295 * [backup-simplify]: Simplify 0 into 0
3.296 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0
3.297 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
3.298 * [backup-simplify]: Simplify (+ 0 0) into 0
3.298 * [taylor]: Taking taylor expansion of 0 in y
3.298 * [backup-simplify]: Simplify 0 into 0
3.298 * [taylor]: Taking taylor expansion of 0 in z
3.298 * [backup-simplify]: Simplify 0 into 0
3.298 * [backup-simplify]: Simplify 0 into 0
3.299 * [backup-simplify]: Simplify (+ 0 1) into 1
3.299 * [taylor]: Taking taylor expansion of 1 in z
3.299 * [backup-simplify]: Simplify 1 into 1
3.299 * [backup-simplify]: Simplify 1 into 1
3.299 * [taylor]: Taking taylor expansion of 0 in z
3.299 * [backup-simplify]: Simplify 0 into 0
3.299 * [backup-simplify]: Simplify 0 into 0
3.299 * [backup-simplify]: Simplify 1 into 1
3.299 * [backup-simplify]: Simplify 0 into 0
3.299 * [backup-simplify]: Simplify 0 into 0
3.300 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 z)))) into 0
3.302 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
3.302 * [backup-simplify]: Simplify (+ 0 0) into 0
3.302 * [taylor]: Taking taylor expansion of 0 in y
3.302 * [backup-simplify]: Simplify 0 into 0
3.302 * [taylor]: Taking taylor expansion of 0 in z
3.302 * [backup-simplify]: Simplify 0 into 0
3.302 * [backup-simplify]: Simplify 0 into 0
3.302 * [taylor]: Taking taylor expansion of 0 in z
3.302 * [backup-simplify]: Simplify 0 into 0
3.302 * [backup-simplify]: Simplify 0 into 0
3.303 * [backup-simplify]: Simplify (+ 0 0) into 0
3.303 * [taylor]: Taking taylor expansion of 0 in z
3.303 * [backup-simplify]: Simplify 0 into 0
3.303 * [backup-simplify]: Simplify 0 into 0
3.303 * [taylor]: Taking taylor expansion of 0 in z
3.303 * [backup-simplify]: Simplify 0 into 0
3.303 * [backup-simplify]: Simplify 0 into 0
3.303 * [backup-simplify]: Simplify (+ (* 1 (* z (* 1 x))) (* 1 (* 1 (* y x)))) into (+ (* x y) (* x z))
3.304 * [backup-simplify]: Simplify (+ (* (/ 1 x) (/ 1 y)) (* (/ 1 x) (/ 1 z))) into (+ (/ 1 (* x z)) (/ 1 (* x y)))
3.304 * [approximate]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in (x y z) around 0
3.304 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in z
3.304 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
3.304 * [taylor]: Taking taylor expansion of (* x z) in z
3.304 * [taylor]: Taking taylor expansion of x in z
3.304 * [backup-simplify]: Simplify x into x
3.304 * [taylor]: Taking taylor expansion of z in z
3.304 * [backup-simplify]: Simplify 0 into 0
3.304 * [backup-simplify]: Simplify 1 into 1
3.304 * [backup-simplify]: Simplify (* x 0) into 0
3.304 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
3.304 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.304 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
3.304 * [taylor]: Taking taylor expansion of (* x y) in z
3.304 * [taylor]: Taking taylor expansion of x in z
3.304 * [backup-simplify]: Simplify x into x
3.304 * [taylor]: Taking taylor expansion of y in z
3.304 * [backup-simplify]: Simplify y into y
3.304 * [backup-simplify]: Simplify (* x y) into (* x y)
3.304 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
3.304 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in y
3.304 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
3.305 * [taylor]: Taking taylor expansion of (* x z) in y
3.305 * [taylor]: Taking taylor expansion of x in y
3.305 * [backup-simplify]: Simplify x into x
3.305 * [taylor]: Taking taylor expansion of z in y
3.305 * [backup-simplify]: Simplify z into z
3.305 * [backup-simplify]: Simplify (* x z) into (* x z)
3.305 * [backup-simplify]: Simplify (/ 1 (* x z)) into (/ 1 (* x z))
3.305 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
3.305 * [taylor]: Taking taylor expansion of (* x y) in y
3.305 * [taylor]: Taking taylor expansion of x in y
3.305 * [backup-simplify]: Simplify x into x
3.305 * [taylor]: Taking taylor expansion of y in y
3.305 * [backup-simplify]: Simplify 0 into 0
3.305 * [backup-simplify]: Simplify 1 into 1
3.305 * [backup-simplify]: Simplify (* x 0) into 0
3.305 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
3.305 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.305 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in x
3.305 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
3.305 * [taylor]: Taking taylor expansion of (* x z) in x
3.305 * [taylor]: Taking taylor expansion of x in x
3.305 * [backup-simplify]: Simplify 0 into 0
3.305 * [backup-simplify]: Simplify 1 into 1
3.305 * [taylor]: Taking taylor expansion of z in x
3.305 * [backup-simplify]: Simplify z into z
3.305 * [backup-simplify]: Simplify (* 0 z) into 0
3.306 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
3.306 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.306 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
3.306 * [taylor]: Taking taylor expansion of (* x y) in x
3.306 * [taylor]: Taking taylor expansion of x in x
3.306 * [backup-simplify]: Simplify 0 into 0
3.306 * [backup-simplify]: Simplify 1 into 1
3.306 * [taylor]: Taking taylor expansion of y in x
3.306 * [backup-simplify]: Simplify y into y
3.306 * [backup-simplify]: Simplify (* 0 y) into 0
3.306 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
3.306 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.306 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in x
3.306 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
3.306 * [taylor]: Taking taylor expansion of (* x z) in x
3.306 * [taylor]: Taking taylor expansion of x in x
3.306 * [backup-simplify]: Simplify 0 into 0
3.306 * [backup-simplify]: Simplify 1 into 1
3.306 * [taylor]: Taking taylor expansion of z in x
3.306 * [backup-simplify]: Simplify z into z
3.306 * [backup-simplify]: Simplify (* 0 z) into 0
3.307 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
3.307 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.307 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
3.307 * [taylor]: Taking taylor expansion of (* x y) in x
3.307 * [taylor]: Taking taylor expansion of x in x
3.307 * [backup-simplify]: Simplify 0 into 0
3.307 * [backup-simplify]: Simplify 1 into 1
3.307 * [taylor]: Taking taylor expansion of y in x
3.307 * [backup-simplify]: Simplify y into y
3.307 * [backup-simplify]: Simplify (* 0 y) into 0
3.307 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
3.307 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.307 * [backup-simplify]: Simplify (+ (/ 1 z) (/ 1 y)) into (+ (/ 1 y) (/ 1 z))
3.307 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
3.307 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.307 * [taylor]: Taking taylor expansion of y in y
3.307 * [backup-simplify]: Simplify 0 into 0
3.307 * [backup-simplify]: Simplify 1 into 1
3.308 * [backup-simplify]: Simplify (/ 1 1) into 1
3.308 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.308 * [taylor]: Taking taylor expansion of z in y
3.308 * [backup-simplify]: Simplify z into z
3.308 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.308 * [backup-simplify]: Simplify (+ 1 0) into 1
3.308 * [taylor]: Taking taylor expansion of 1 in z
3.308 * [backup-simplify]: Simplify 1 into 1
3.309 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0
3.309 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
3.309 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
3.310 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
3.310 * [backup-simplify]: Simplify (+ 0 0) into 0
3.310 * [taylor]: Taking taylor expansion of 0 in y
3.310 * [backup-simplify]: Simplify 0 into 0
3.310 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.310 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z)
3.310 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.310 * [taylor]: Taking taylor expansion of z in z
3.310 * [backup-simplify]: Simplify 0 into 0
3.310 * [backup-simplify]: Simplify 1 into 1
3.311 * [backup-simplify]: Simplify (/ 1 1) into 1
3.311 * [backup-simplify]: Simplify 1 into 1
3.311 * [backup-simplify]: Simplify 1 into 1
3.312 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 z)))) into 0
3.312 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
3.312 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
3.313 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.313 * [backup-simplify]: Simplify (+ 0 0) into 0
3.313 * [taylor]: Taking taylor expansion of 0 in y
3.313 * [backup-simplify]: Simplify 0 into 0
3.313 * [taylor]: Taking taylor expansion of 0 in z
3.313 * [backup-simplify]: Simplify 0 into 0
3.313 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.314 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
3.314 * [backup-simplify]: Simplify (+ 0 0) into 0
3.314 * [taylor]: Taking taylor expansion of 0 in z
3.314 * [backup-simplify]: Simplify 0 into 0
3.314 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.314 * [backup-simplify]: Simplify 0 into 0
3.314 * [backup-simplify]: Simplify 0 into 0
3.315 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 z))))) into 0
3.316 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
3.317 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
3.317 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.317 * [backup-simplify]: Simplify (+ 0 0) into 0
3.317 * [taylor]: Taking taylor expansion of 0 in y
3.317 * [backup-simplify]: Simplify 0 into 0
3.317 * [taylor]: Taking taylor expansion of 0 in z
3.317 * [backup-simplify]: Simplify 0 into 0
3.317 * [taylor]: Taking taylor expansion of 0 in z
3.317 * [backup-simplify]: Simplify 0 into 0
3.318 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.318 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
3.318 * [backup-simplify]: Simplify (+ 0 0) into 0
3.318 * [taylor]: Taking taylor expansion of 0 in z
3.318 * [backup-simplify]: Simplify 0 into 0
3.318 * [backup-simplify]: Simplify 0 into 0
3.319 * [backup-simplify]: Simplify 0 into 0
3.319 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.319 * [backup-simplify]: Simplify 0 into 0
3.319 * [backup-simplify]: Simplify 0 into 0
3.319 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) (* 1 (* (/ 1 (/ 1 z)) (* 1 (/ 1 (/ 1 x)))))) into (+ (* x z) (* x y))
3.320 * [backup-simplify]: Simplify (+ (* (/ 1 (- x)) (/ 1 (- y))) (* (/ 1 (- x)) (/ 1 (- z)))) into (+ (/ 1 (* x z)) (/ 1 (* x y)))
3.320 * [approximate]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in (x y z) around 0
3.320 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in z
3.320 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
3.320 * [taylor]: Taking taylor expansion of (* x z) in z
3.320 * [taylor]: Taking taylor expansion of x in z
3.320 * [backup-simplify]: Simplify x into x
3.320 * [taylor]: Taking taylor expansion of z in z
3.320 * [backup-simplify]: Simplify 0 into 0
3.320 * [backup-simplify]: Simplify 1 into 1
3.320 * [backup-simplify]: Simplify (* x 0) into 0
3.320 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
3.320 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.320 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
3.320 * [taylor]: Taking taylor expansion of (* x y) in z
3.320 * [taylor]: Taking taylor expansion of x in z
3.320 * [backup-simplify]: Simplify x into x
3.320 * [taylor]: Taking taylor expansion of y in z
3.320 * [backup-simplify]: Simplify y into y
3.320 * [backup-simplify]: Simplify (* x y) into (* x y)
3.320 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
3.320 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in y
3.320 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
3.320 * [taylor]: Taking taylor expansion of (* x z) in y
3.320 * [taylor]: Taking taylor expansion of x in y
3.320 * [backup-simplify]: Simplify x into x
3.320 * [taylor]: Taking taylor expansion of z in y
3.320 * [backup-simplify]: Simplify z into z
3.321 * [backup-simplify]: Simplify (* x z) into (* x z)
3.321 * [backup-simplify]: Simplify (/ 1 (* x z)) into (/ 1 (* x z))
3.321 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
3.321 * [taylor]: Taking taylor expansion of (* x y) in y
3.321 * [taylor]: Taking taylor expansion of x in y
3.321 * [backup-simplify]: Simplify x into x
3.321 * [taylor]: Taking taylor expansion of y in y
3.321 * [backup-simplify]: Simplify 0 into 0
3.321 * [backup-simplify]: Simplify 1 into 1
3.321 * [backup-simplify]: Simplify (* x 0) into 0
3.321 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
3.321 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.321 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in x
3.321 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
3.321 * [taylor]: Taking taylor expansion of (* x z) in x
3.321 * [taylor]: Taking taylor expansion of x in x
3.321 * [backup-simplify]: Simplify 0 into 0
3.321 * [backup-simplify]: Simplify 1 into 1
3.321 * [taylor]: Taking taylor expansion of z in x
3.321 * [backup-simplify]: Simplify z into z
3.322 * [backup-simplify]: Simplify (* 0 z) into 0
3.322 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
3.322 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.322 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
3.322 * [taylor]: Taking taylor expansion of (* x y) in x
3.322 * [taylor]: Taking taylor expansion of x in x
3.322 * [backup-simplify]: Simplify 0 into 0
3.322 * [backup-simplify]: Simplify 1 into 1
3.322 * [taylor]: Taking taylor expansion of y in x
3.322 * [backup-simplify]: Simplify y into y
3.322 * [backup-simplify]: Simplify (* 0 y) into 0
3.322 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
3.322 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.322 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in x
3.323 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
3.323 * [taylor]: Taking taylor expansion of (* x z) in x
3.323 * [taylor]: Taking taylor expansion of x in x
3.323 * [backup-simplify]: Simplify 0 into 0
3.323 * [backup-simplify]: Simplify 1 into 1
3.323 * [taylor]: Taking taylor expansion of z in x
3.323 * [backup-simplify]: Simplify z into z
3.323 * [backup-simplify]: Simplify (* 0 z) into 0
3.323 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
3.323 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.323 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
3.323 * [taylor]: Taking taylor expansion of (* x y) in x
3.323 * [taylor]: Taking taylor expansion of x in x
3.323 * [backup-simplify]: Simplify 0 into 0
3.323 * [backup-simplify]: Simplify 1 into 1
3.323 * [taylor]: Taking taylor expansion of y in x
3.323 * [backup-simplify]: Simplify y into y
3.323 * [backup-simplify]: Simplify (* 0 y) into 0
3.323 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
3.323 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.324 * [backup-simplify]: Simplify (+ (/ 1 z) (/ 1 y)) into (+ (/ 1 y) (/ 1 z))
3.324 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
3.324 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.324 * [taylor]: Taking taylor expansion of y in y
3.324 * [backup-simplify]: Simplify 0 into 0
3.324 * [backup-simplify]: Simplify 1 into 1
3.324 * [backup-simplify]: Simplify (/ 1 1) into 1
3.324 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.324 * [taylor]: Taking taylor expansion of z in y
3.324 * [backup-simplify]: Simplify z into z
3.324 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.324 * [backup-simplify]: Simplify (+ 1 0) into 1
3.324 * [taylor]: Taking taylor expansion of 1 in z
3.324 * [backup-simplify]: Simplify 1 into 1
3.325 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0
3.325 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
3.326 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
3.326 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
3.326 * [backup-simplify]: Simplify (+ 0 0) into 0
3.326 * [taylor]: Taking taylor expansion of 0 in y
3.326 * [backup-simplify]: Simplify 0 into 0
3.327 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.327 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z)
3.327 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.327 * [taylor]: Taking taylor expansion of z in z
3.327 * [backup-simplify]: Simplify 0 into 0
3.327 * [backup-simplify]: Simplify 1 into 1
3.327 * [backup-simplify]: Simplify (/ 1 1) into 1
3.327 * [backup-simplify]: Simplify 1 into 1
3.327 * [backup-simplify]: Simplify 1 into 1
3.328 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 z)))) into 0
3.328 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
3.329 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
3.329 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.329 * [backup-simplify]: Simplify (+ 0 0) into 0
3.329 * [taylor]: Taking taylor expansion of 0 in y
3.329 * [backup-simplify]: Simplify 0 into 0
3.329 * [taylor]: Taking taylor expansion of 0 in z
3.329 * [backup-simplify]: Simplify 0 into 0
3.330 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.330 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
3.330 * [backup-simplify]: Simplify (+ 0 0) into 0
3.330 * [taylor]: Taking taylor expansion of 0 in z
3.330 * [backup-simplify]: Simplify 0 into 0
3.331 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.331 * [backup-simplify]: Simplify 0 into 0
3.331 * [backup-simplify]: Simplify 0 into 0
3.332 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 z))))) into 0
3.332 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
3.334 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
3.334 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.335 * [backup-simplify]: Simplify (+ 0 0) into 0
3.335 * [taylor]: Taking taylor expansion of 0 in y
3.335 * [backup-simplify]: Simplify 0 into 0
3.335 * [taylor]: Taking taylor expansion of 0 in z
3.335 * [backup-simplify]: Simplify 0 into 0
3.335 * [taylor]: Taking taylor expansion of 0 in z
3.335 * [backup-simplify]: Simplify 0 into 0
3.336 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.336 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
3.337 * [backup-simplify]: Simplify (+ 0 0) into 0
3.337 * [taylor]: Taking taylor expansion of 0 in z
3.337 * [backup-simplify]: Simplify 0 into 0
3.337 * [backup-simplify]: Simplify 0 into 0
3.337 * [backup-simplify]: Simplify 0 into 0
3.338 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.338 * [backup-simplify]: Simplify 0 into 0
3.338 * [backup-simplify]: Simplify 0 into 0
3.338 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) (* 1 (* (/ 1 (/ 1 (- z))) (* 1 (/ 1 (/ 1 (- x))))))) into (+ (* x z) (* x y))
3.339 * * * [progress]: simplifying candidates
3.339 * [simplify]: Simplifying:
  (* (exp (* x y)) (exp (* x z)))
  (log (+ (* x y) (* x z)))
  (exp (+ (* x y) (* x z)))
  (* (cbrt (+ (* x y) (* x z))) (cbrt (+ (* x y) (* x z))))
  (cbrt (+ (* x y) (* x z)))
  (* (* (+ (* x y) (* x z)) (+ (* x y) (* x z))) (+ (* x y) (* x z)))
  (sqrt (+ (* x y) (* x z)))
  (sqrt (+ (* x y) (* x z)))
  (+ (pow (* x y) 3) (pow (* x z) 3))
  (+ (* (* x y) (* x y)) (- (* (* x z) (* x z)) (* (* x y) (* x z))))
  (- (* (* x y) (* x y)) (* (* x z) (* x z)))
  (- (* x y) (* x z))
  (+ y z)
  (+ (* x y) (* x z))
  (+ (* x z) (* x y))
  (+ (* x z) (* x y))
3.340 * * [simplify]: iteration 0: 29 enodes
3.357 * * [simplify]: iteration 1: 99 enodes
3.403 * * [simplify]: iteration 2: 369 enodes
3.678 * * [simplify]: iteration 3: 1416 enodes
5.421 * * [simplify]: iteration complete: 5000 enodes
5.422 * * [simplify]: Extracting #0: cost 12 inf + 0
5.422 * * [simplify]: Extracting #1: cost 234 inf + 0
5.425 * * [simplify]: Extracting #2: cost 877 inf + 253
5.430 * * [simplify]: Extracting #3: cost 691 inf + 5797
5.435 * * [simplify]: Extracting #4: cost 158 inf + 12317
5.440 * * [simplify]: Extracting #5: cost 31 inf + 12506
5.447 * * [simplify]: Extracting #6: cost 0 inf + 12849
5.456 * [simplify]: Simplified to:
  (pow (exp (+ y z)) x)
  (log (* (+ y z) x))
  (pow (exp (+ y z)) x)
  (* (cbrt (* (+ y z) x)) (cbrt (* (+ y z) x)))
  (cbrt (* (+ y z) x))
  (pow (* (+ y z) x) 3)
  (sqrt (* (+ y z) x))
  (sqrt (* (+ y z) x))
  (+ (pow (* x y) 3) (pow (* z x) 3))
  (* x (* x (+ (* z (- z y)) (* y y))))
  (* (* x x) (- (* y y) (* z z)))
  (* (- y z) x)
  (+ y z)
  (* (+ y z) x)
  (* (+ y z) x)
  (* (+ y z) x)
5.456 * * * [progress]: adding candidates to table
5.535 * [progress]: [Phase 3 of 3] Extracting.
5.535 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (- (+ (* x y) (* x z)) (* 1.0 z)))> #<alt (λ (x y z) (- (* x (+ y z)) (* 1.0 z)))>)
5.536 * * * [regime-changes]: Trying 3 branch expressions: (z y x)
5.536 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (- (+ (* x y) (* x z)) (* 1.0 z)))> #<alt (λ (x y z) (- (* x (+ y z)) (* 1.0 z)))>)
5.599 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (- (+ (* x y) (* x z)) (* 1.0 z)))> #<alt (λ (x y z) (- (* x (+ y z)) (* 1.0 z)))>)
5.649 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (- (+ (* x y) (* x z)) (* 1.0 z)))> #<alt (λ (x y z) (- (* x (+ y z)) (* 1.0 z)))>)
5.694 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
5.694 * [simplify]: Simplifying:
  (- (+ (* x y) (* x z)) (* 1.0 z))
5.695 * * [simplify]: iteration 0: 9 enodes
5.695 * * [simplify]: iteration 1: 13 enodes
5.695 * * [simplify]: iteration complete: 13 enodes
5.695 * * [simplify]: Extracting #0: cost 1 inf + 0
5.695 * * [simplify]: Extracting #1: cost 3 inf + 0
5.695 * * [simplify]: Extracting #2: cost 7 inf + 0
5.696 * * [simplify]: Extracting #3: cost 6 inf + 5
5.696 * * [simplify]: Extracting #4: cost 4 inf + 7
5.696 * * [simplify]: Extracting #5: cost 0 inf + 31
5.696 * [simplify]: Simplified to:
  (- (+ (* x y) (* z x)) (* z 1.0))
7.636 * [regime-testing]: Baseline error score: 0.013824848418642476
7.640 * [regime-testing]: Oracle error score: 0.009251156394549319
7.648 * [regime-testing]: End program error score: 0.013824848418642476