81.354 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.036 * * * [progress]: [2/2] Setting up program.
0.039 * [progress]: [Phase 2 of 3] Improving.
0.039 * [simplify]: Simplifying:
  (/ (+ x (* y (- z x))) z)
0.039 * [simplify]: Sending expressions to egg_math:
 (/ (+ h1 (* h2 (- h0 h1))) h0)
0.818 * * [progress]: iteration 1 / 4
0.818 * * * [progress]: picking best candidate
0.820 * * * * [pick]: Picked  #<alt (λ (x y z) (/ (+ x (* y (- z x))) z))>
0.820 * * * [progress]: localizing error
0.835 * * * [progress]: generating rewritten candidates
0.835 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
0.872 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
0.880 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2)
0.902 * * * [progress]: generating series expansions
0.902 * * * * [progress]: [ 1 / 3 ] generating series at (2)
0.903 * [backup-simplify]: Simplify (/ (+ x (* y (- z x))) z) into (/ (- (+ (* z y) x) (* x y)) z)
0.903 * [approximate]: Taking taylor expansion of (/ (- (+ (* z y) x) (* x y)) z) in (x y z) around 0
0.903 * [taylor]: Taking taylor expansion of (/ (- (+ (* z y) x) (* x y)) z) in z
0.903 * [taylor]: Taking taylor expansion of (- (+ (* z y) x) (* x y)) in z
0.903 * [taylor]: Taking taylor expansion of (+ (* z y) x) in z
0.903 * [taylor]: Taking taylor expansion of (* z y) in z
0.903 * [taylor]: Taking taylor expansion of z in z
0.903 * [backup-simplify]: Simplify 0 into 0
0.903 * [backup-simplify]: Simplify 1 into 1
0.903 * [taylor]: Taking taylor expansion of y in z
0.903 * [backup-simplify]: Simplify y into y
0.903 * [taylor]: Taking taylor expansion of x in z
0.903 * [backup-simplify]: Simplify x into x
0.903 * [taylor]: Taking taylor expansion of (* x y) in z
0.903 * [taylor]: Taking taylor expansion of x in z
0.903 * [backup-simplify]: Simplify x into x
0.903 * [taylor]: Taking taylor expansion of y in z
0.903 * [backup-simplify]: Simplify y into y
0.903 * [taylor]: Taking taylor expansion of z in z
0.903 * [backup-simplify]: Simplify 0 into 0
0.903 * [backup-simplify]: Simplify 1 into 1
0.903 * [backup-simplify]: Simplify (* 0 y) into 0
0.903 * [backup-simplify]: Simplify (+ 0 x) into x
0.903 * [backup-simplify]: Simplify (* x y) into (* x y)
0.903 * [backup-simplify]: Simplify (- (* x y)) into (- (* x y))
0.903 * [backup-simplify]: Simplify (+ x (- (* x y))) into (- x (* x y))
0.903 * [backup-simplify]: Simplify (/ (- x (* x y)) 1) into (- x (* x y))
0.903 * [taylor]: Taking taylor expansion of (/ (- (+ (* z y) x) (* x y)) z) in y
0.903 * [taylor]: Taking taylor expansion of (- (+ (* z y) x) (* x y)) in y
0.903 * [taylor]: Taking taylor expansion of (+ (* z y) x) in y
0.903 * [taylor]: Taking taylor expansion of (* z y) in y
0.903 * [taylor]: Taking taylor expansion of z in y
0.903 * [backup-simplify]: Simplify z into z
0.903 * [taylor]: Taking taylor expansion of y in y
0.903 * [backup-simplify]: Simplify 0 into 0
0.903 * [backup-simplify]: Simplify 1 into 1
0.903 * [taylor]: Taking taylor expansion of x in y
0.903 * [backup-simplify]: Simplify x into x
0.903 * [taylor]: Taking taylor expansion of (* x y) in y
0.903 * [taylor]: Taking taylor expansion of x in y
0.903 * [backup-simplify]: Simplify x into x
0.903 * [taylor]: Taking taylor expansion of y in y
0.903 * [backup-simplify]: Simplify 0 into 0
0.903 * [backup-simplify]: Simplify 1 into 1
0.904 * [taylor]: Taking taylor expansion of z in y
0.904 * [backup-simplify]: Simplify z into z
0.904 * [backup-simplify]: Simplify (* z 0) into 0
0.904 * [backup-simplify]: Simplify (+ 0 x) into x
0.904 * [backup-simplify]: Simplify (* x 0) into 0
0.904 * [backup-simplify]: Simplify (- 0) into 0
0.904 * [backup-simplify]: Simplify (+ x 0) into x
0.904 * [backup-simplify]: Simplify (/ x z) into (/ x z)
0.904 * [taylor]: Taking taylor expansion of (/ (- (+ (* z y) x) (* x y)) z) in x
0.904 * [taylor]: Taking taylor expansion of (- (+ (* z y) x) (* x y)) in x
0.904 * [taylor]: Taking taylor expansion of (+ (* z y) x) in x
0.904 * [taylor]: Taking taylor expansion of (* z y) in x
0.904 * [taylor]: Taking taylor expansion of z in x
0.904 * [backup-simplify]: Simplify z into z
0.904 * [taylor]: Taking taylor expansion of y in x
0.904 * [backup-simplify]: Simplify y into y
0.905 * [taylor]: Taking taylor expansion of x in x
0.905 * [backup-simplify]: Simplify 0 into 0
0.905 * [backup-simplify]: Simplify 1 into 1
0.905 * [taylor]: Taking taylor expansion of (* x y) in x
0.905 * [taylor]: Taking taylor expansion of x in x
0.905 * [backup-simplify]: Simplify 0 into 0
0.905 * [backup-simplify]: Simplify 1 into 1
0.905 * [taylor]: Taking taylor expansion of y in x
0.905 * [backup-simplify]: Simplify y into y
0.905 * [taylor]: Taking taylor expansion of z in x
0.905 * [backup-simplify]: Simplify z into z
0.905 * [backup-simplify]: Simplify (* z y) into (* z y)
0.905 * [backup-simplify]: Simplify (+ (* z y) 0) into (* z y)
0.905 * [backup-simplify]: Simplify (* 0 y) into 0
0.905 * [backup-simplify]: Simplify (- 0) into 0
0.905 * [backup-simplify]: Simplify (+ (* z y) 0) into (* z y)
0.905 * [backup-simplify]: Simplify (/ (* z y) z) into y
0.905 * [taylor]: Taking taylor expansion of (/ (- (+ (* z y) x) (* x y)) z) in x
0.905 * [taylor]: Taking taylor expansion of (- (+ (* z y) x) (* x y)) in x
0.905 * [taylor]: Taking taylor expansion of (+ (* z y) x) in x
0.905 * [taylor]: Taking taylor expansion of (* z y) in x
0.905 * [taylor]: Taking taylor expansion of z in x
0.905 * [backup-simplify]: Simplify z into z
0.905 * [taylor]: Taking taylor expansion of y in x
0.905 * [backup-simplify]: Simplify y into y
0.905 * [taylor]: Taking taylor expansion of x in x
0.905 * [backup-simplify]: Simplify 0 into 0
0.905 * [backup-simplify]: Simplify 1 into 1
0.905 * [taylor]: Taking taylor expansion of (* x y) in x
0.905 * [taylor]: Taking taylor expansion of x in x
0.905 * [backup-simplify]: Simplify 0 into 0
0.905 * [backup-simplify]: Simplify 1 into 1
0.905 * [taylor]: Taking taylor expansion of y in x
0.905 * [backup-simplify]: Simplify y into y
0.906 * [taylor]: Taking taylor expansion of z in x
0.906 * [backup-simplify]: Simplify z into z
0.906 * [backup-simplify]: Simplify (* z y) into (* z y)
0.906 * [backup-simplify]: Simplify (+ (* z y) 0) into (* z y)
0.906 * [backup-simplify]: Simplify (* 0 y) into 0
0.906 * [backup-simplify]: Simplify (- 0) into 0
0.906 * [backup-simplify]: Simplify (+ (* z y) 0) into (* z y)
0.906 * [backup-simplify]: Simplify (/ (* z y) z) into y
0.906 * [taylor]: Taking taylor expansion of y in y
0.906 * [backup-simplify]: Simplify 0 into 0
0.906 * [backup-simplify]: Simplify 1 into 1
0.906 * [taylor]: Taking taylor expansion of 0 in z
0.906 * [backup-simplify]: Simplify 0 into 0
0.906 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
0.907 * [backup-simplify]: Simplify (+ 0 1) into 1
0.907 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
0.907 * [backup-simplify]: Simplify (- y) into (- y)
0.907 * [backup-simplify]: Simplify (+ 1 (- y)) into (- 1 y)
0.907 * [backup-simplify]: Simplify (- (/ (- 1 y) z) (+ (* y (/ 0 z)))) into (- (/ 1 z) (/ y z))
0.907 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ y z)) in y
0.907 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.907 * [taylor]: Taking taylor expansion of z in y
0.907 * [backup-simplify]: Simplify z into z
0.907 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.907 * [taylor]: Taking taylor expansion of (/ y z) in y
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 z in y
0.907 * [backup-simplify]: Simplify z into z
0.907 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.907 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
0.907 * [taylor]: Taking taylor expansion of (/ 1 z) 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.908 * [backup-simplify]: Simplify (/ 1 1) into 1
0.908 * [backup-simplify]: Simplify 1 into 1
0.908 * [taylor]: Taking taylor expansion of 1 in z
0.908 * [backup-simplify]: Simplify 1 into 1
0.908 * [backup-simplify]: Simplify 0 into 0
0.908 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0
0.908 * [backup-simplify]: Simplify (+ 0 0) into 0
0.909 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
0.909 * [backup-simplify]: Simplify (- 0) into 0
0.909 * [backup-simplify]: Simplify (+ 0 0) into 0
0.913 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* y (/ 0 z)) (* (- (/ 1 z) (/ y z)) (/ 0 z)))) into 0
0.913 * [taylor]: Taking taylor expansion of 0 in y
0.913 * [backup-simplify]: Simplify 0 into 0
0.913 * [taylor]: Taking taylor expansion of 0 in z
0.913 * [backup-simplify]: Simplify 0 into 0
0.913 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
0.913 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
0.914 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z))
0.914 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
0.914 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.914 * [taylor]: Taking taylor expansion of z in z
0.914 * [backup-simplify]: Simplify 0 into 0
0.914 * [backup-simplify]: Simplify 1 into 1
0.915 * [backup-simplify]: Simplify (/ 1 1) into 1
0.915 * [backup-simplify]: Simplify (- 1) into -1
0.915 * [backup-simplify]: Simplify -1 into -1
0.916 * [taylor]: Taking taylor expansion of 0 in z
0.916 * [backup-simplify]: Simplify 0 into 0
0.916 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.916 * [backup-simplify]: Simplify 0 into 0
0.916 * [backup-simplify]: Simplify 1 into 1
0.916 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* y 1))) (+ (* -1 (* (/ 1 z) (* y x))) (* 1 (* (/ 1 z) (* 1 x))))) into (- (+ (/ x z) y) (/ (* x y) z))
0.917 * [backup-simplify]: Simplify (/ (+ (/ 1 x) (* (/ 1 y) (- (/ 1 z) (/ 1 x)))) (/ 1 z)) into (* z (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x y))))
0.917 * [approximate]: Taking taylor expansion of (* z (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x y)))) in (x y z) around 0
0.917 * [taylor]: Taking taylor expansion of (* z (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x y)))) in z
0.917 * [taylor]: Taking taylor expansion of z in z
0.917 * [backup-simplify]: Simplify 0 into 0
0.917 * [backup-simplify]: Simplify 1 into 1
0.917 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x y))) in z
0.917 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in z
0.917 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
0.917 * [taylor]: Taking taylor expansion of (* z y) in z
0.917 * [taylor]: Taking taylor expansion of z in z
0.917 * [backup-simplify]: Simplify 0 into 0
0.917 * [backup-simplify]: Simplify 1 into 1
0.917 * [taylor]: Taking taylor expansion of y in z
0.917 * [backup-simplify]: Simplify y into y
0.917 * [backup-simplify]: Simplify (* 0 y) into 0
0.917 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
0.917 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.918 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.918 * [taylor]: Taking taylor expansion of x in z
0.918 * [backup-simplify]: Simplify x into x
0.918 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.918 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.918 * [taylor]: Taking taylor expansion of (* x y) in z
0.918 * [taylor]: Taking taylor expansion of x in z
0.918 * [backup-simplify]: Simplify x into x
0.918 * [taylor]: Taking taylor expansion of y in z
0.918 * [backup-simplify]: Simplify y into y
0.918 * [backup-simplify]: Simplify (* x y) into (* x y)
0.918 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
0.918 * [taylor]: Taking taylor expansion of (* z (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x y)))) in y
0.918 * [taylor]: Taking taylor expansion of z in y
0.918 * [backup-simplify]: Simplify z into z
0.918 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x y))) in y
0.918 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in y
0.918 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.918 * [taylor]: Taking taylor expansion of (* z y) in y
0.918 * [taylor]: Taking taylor expansion of z in y
0.918 * [backup-simplify]: Simplify z into z
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 (* z 0) into 0
0.918 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
0.918 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.918 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.918 * [taylor]: Taking taylor expansion of x in y
0.918 * [backup-simplify]: Simplify x into x
0.919 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.919 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.919 * [taylor]: Taking taylor expansion of (* x y) in y
0.919 * [taylor]: Taking taylor expansion of x in y
0.919 * [backup-simplify]: Simplify x into x
0.919 * [taylor]: Taking taylor expansion of y in y
0.919 * [backup-simplify]: Simplify 0 into 0
0.919 * [backup-simplify]: Simplify 1 into 1
0.919 * [backup-simplify]: Simplify (* x 0) into 0
0.919 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
0.919 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.919 * [taylor]: Taking taylor expansion of (* z (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x y)))) in x
0.919 * [taylor]: Taking taylor expansion of z in x
0.919 * [backup-simplify]: Simplify z into z
0.919 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x y))) in x
0.919 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x
0.919 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.919 * [taylor]: Taking taylor expansion of (* z y) in x
0.919 * [taylor]: Taking taylor expansion of z in x
0.919 * [backup-simplify]: Simplify z into z
0.919 * [taylor]: Taking taylor expansion of y in x
0.919 * [backup-simplify]: Simplify y into y
0.919 * [backup-simplify]: Simplify (* z y) into (* z y)
0.919 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
0.919 * [taylor]: Taking taylor expansion of (/ 1 x) in x
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 1) into 1
0.920 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.920 * [taylor]: Taking taylor expansion of (* x y) in x
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 * [taylor]: Taking taylor expansion of y in x
0.920 * [backup-simplify]: Simplify y into y
0.920 * [backup-simplify]: Simplify (* 0 y) into 0
0.920 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
0.920 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.920 * [taylor]: Taking taylor expansion of (* z (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x y)))) in x
0.920 * [taylor]: Taking taylor expansion of z in x
0.920 * [backup-simplify]: Simplify z into z
0.920 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x y))) in x
0.920 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x
0.920 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.920 * [taylor]: Taking taylor expansion of (* z y) in x
0.920 * [taylor]: Taking taylor expansion of z in x
0.920 * [backup-simplify]: Simplify z into z
0.920 * [taylor]: Taking taylor expansion of y in x
0.920 * [backup-simplify]: Simplify y into y
0.920 * [backup-simplify]: Simplify (* z y) into (* z y)
0.920 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
0.920 * [taylor]: Taking taylor expansion of (/ 1 x) in x
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.921 * [backup-simplify]: Simplify (/ 1 1) into 1
0.921 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.921 * [taylor]: Taking taylor expansion of (* x y) in x
0.921 * [taylor]: Taking taylor expansion of x in x
0.921 * [backup-simplify]: Simplify 0 into 0
0.921 * [backup-simplify]: Simplify 1 into 1
0.921 * [taylor]: Taking taylor expansion of y in x
0.921 * [backup-simplify]: Simplify y into y
0.921 * [backup-simplify]: Simplify (* 0 y) into 0
0.921 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
0.921 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.921 * [backup-simplify]: Simplify (+ 0 1) into 1
0.921 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
0.922 * [backup-simplify]: Simplify (+ 1 (- (/ 1 y))) into (- 1 (/ 1 y))
0.922 * [backup-simplify]: Simplify (* z (- 1 (/ 1 y))) into (* (- 1 (/ 1 y)) z)
0.922 * [taylor]: Taking taylor expansion of (* (- 1 (/ 1 y)) z) in y
0.922 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y
0.922 * [taylor]: Taking taylor expansion of 1 in y
0.922 * [backup-simplify]: Simplify 1 into 1
0.922 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.922 * [taylor]: Taking taylor expansion of y in y
0.922 * [backup-simplify]: Simplify 0 into 0
0.922 * [backup-simplify]: Simplify 1 into 1
0.922 * [backup-simplify]: Simplify (/ 1 1) into 1
0.922 * [taylor]: Taking taylor expansion of z in y
0.922 * [backup-simplify]: Simplify z into z
0.922 * [backup-simplify]: Simplify (- 1) into -1
0.923 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.923 * [backup-simplify]: Simplify (* -1 z) into (* -1 z)
0.923 * [taylor]: Taking taylor expansion of (* -1 z) in z
0.923 * [taylor]: Taking taylor expansion of -1 in z
0.923 * [backup-simplify]: Simplify -1 into -1
0.923 * [taylor]: Taking taylor expansion of z in z
0.923 * [backup-simplify]: Simplify 0 into 0
0.923 * [backup-simplify]: Simplify 1 into 1
0.923 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.923 * [backup-simplify]: Simplify (+ (/ 1 (* z y)) 0) into (/ 1 (* z y))
0.924 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
0.924 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.924 * [backup-simplify]: Simplify (- 0) into 0
0.924 * [backup-simplify]: Simplify (+ (/ 1 (* z y)) 0) into (/ 1 (* z y))
0.924 * [backup-simplify]: Simplify (+ (* z (/ 1 (* z y))) (* 0 (- 1 (/ 1 y)))) into (/ 1 y)
0.924 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.924 * [taylor]: Taking taylor expansion of y in y
0.924 * [backup-simplify]: Simplify 0 into 0
0.924 * [backup-simplify]: Simplify 1 into 1
0.925 * [backup-simplify]: Simplify (/ 1 1) into 1
0.925 * [taylor]: Taking taylor expansion of 1 in z
0.925 * [backup-simplify]: Simplify 1 into 1
0.925 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.925 * [backup-simplify]: Simplify (- 0) into 0
0.925 * [backup-simplify]: Simplify (+ 1 0) into 1
0.926 * [backup-simplify]: Simplify (+ (* -1 0) (* 1 z)) into z
0.926 * [taylor]: Taking taylor expansion of z in z
0.926 * [backup-simplify]: Simplify 0 into 0
0.926 * [backup-simplify]: Simplify 1 into 1
0.926 * [backup-simplify]: Simplify (* -1 0) into 0
0.926 * [backup-simplify]: Simplify 0 into 0
0.926 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
0.926 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))))) into 0
0.927 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.927 * [backup-simplify]: Simplify (+ 0 0) into 0
0.928 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
0.928 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.928 * [backup-simplify]: Simplify (- 0) into 0
0.929 * [backup-simplify]: Simplify (+ 0 0) into 0
0.929 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 (/ 1 (* z y))) (* 0 (- 1 (/ 1 y))))) into 0
0.929 * [taylor]: Taking taylor expansion of 0 in y
0.929 * [backup-simplify]: Simplify 0 into 0
0.929 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.929 * [taylor]: Taking taylor expansion of 0 in z
0.929 * [backup-simplify]: Simplify 0 into 0
0.930 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.930 * [backup-simplify]: Simplify (- 0) into 0
0.931 * [backup-simplify]: Simplify (+ 0 0) into 0
0.931 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 1 0) (* 0 z))) into 0
0.931 * [taylor]: Taking taylor expansion of 0 in z
0.931 * [backup-simplify]: Simplify 0 into 0
0.931 * [backup-simplify]: Simplify 1 into 1
0.931 * [backup-simplify]: Simplify 0 into 0
0.932 * [backup-simplify]: Simplify (+ (* -1 1) (* 0 0)) into -1
0.932 * [backup-simplify]: Simplify -1 into -1
0.932 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0
0.932 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))) (* 0 (/ 0 (* z y))))) into 0
0.933 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.933 * [backup-simplify]: Simplify (+ 0 0) into 0
0.934 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
0.934 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.934 * [backup-simplify]: Simplify (- 0) into 0
0.935 * [backup-simplify]: Simplify (+ 0 0) into 0
0.935 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 (/ 1 (* z y))) (* 0 (- 1 (/ 1 y)))))) 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.936 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.936 * [taylor]: Taking taylor expansion of 0 in z
0.936 * [backup-simplify]: Simplify 0 into 0
0.936 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.936 * [backup-simplify]: Simplify (- 0) into 0
0.937 * [backup-simplify]: Simplify (+ 0 0) into 0
0.937 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 1 0) (+ (* 0 0) (* 0 z)))) into 0
0.937 * [taylor]: Taking taylor expansion of 0 in z
0.937 * [backup-simplify]: Simplify 0 into 0
0.938 * [backup-simplify]: Simplify 0 into 0
0.938 * [backup-simplify]: Simplify 0 into 0
0.938 * [backup-simplify]: Simplify 0 into 0
0.938 * [backup-simplify]: Simplify 1 into 1
0.938 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 z) (* 1 (/ 1 (/ 1 x))))) (+ (* -1 (* (/ 1 z) (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) (* 1 (* 1 (* (/ 1 (/ 1 y)) 1))))) into (- (+ (/ x z) y) (/ (* x y) z))
0.938 * [backup-simplify]: Simplify (/ (+ (/ 1 (- x)) (* (/ 1 (- y)) (- (/ 1 (- z)) (/ 1 (- x))))) (/ 1 (- z))) into (* -1 (* (- (/ 1 (* z y)) (+ (/ 1 (* x y)) (/ 1 x))) z))
0.938 * [approximate]: Taking taylor expansion of (* -1 (* (- (/ 1 (* z y)) (+ (/ 1 (* x y)) (/ 1 x))) z)) in (x y z) around 0
0.938 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 (* z y)) (+ (/ 1 (* x y)) (/ 1 x))) z)) in z
0.938 * [taylor]: Taking taylor expansion of -1 in z
0.938 * [backup-simplify]: Simplify -1 into -1
0.938 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* z y)) (+ (/ 1 (* x y)) (/ 1 x))) z) in z
0.938 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (+ (/ 1 (* x y)) (/ 1 x))) in z
0.938 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
0.938 * [taylor]: Taking taylor expansion of (* z y) in z
0.938 * [taylor]: Taking taylor expansion of z in z
0.938 * [backup-simplify]: Simplify 0 into 0
0.938 * [backup-simplify]: Simplify 1 into 1
0.938 * [taylor]: Taking taylor expansion of y in z
0.938 * [backup-simplify]: Simplify y into y
0.939 * [backup-simplify]: Simplify (* 0 y) into 0
0.939 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
0.939 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.939 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in z
0.939 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.939 * [taylor]: Taking taylor expansion of (* x y) in z
0.939 * [taylor]: Taking taylor expansion of x in z
0.939 * [backup-simplify]: Simplify x into x
0.939 * [taylor]: Taking taylor expansion of y in z
0.939 * [backup-simplify]: Simplify y into y
0.939 * [backup-simplify]: Simplify (* x y) into (* x y)
0.939 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
0.939 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.939 * [taylor]: Taking taylor expansion of x in z
0.939 * [backup-simplify]: Simplify x into x
0.939 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
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.939 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 (* z y)) (+ (/ 1 (* x y)) (/ 1 x))) z)) in y
0.939 * [taylor]: Taking taylor expansion of -1 in y
0.939 * [backup-simplify]: Simplify -1 into -1
0.939 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* z y)) (+ (/ 1 (* x y)) (/ 1 x))) z) in y
0.939 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (+ (/ 1 (* x y)) (/ 1 x))) in y
0.939 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.939 * [taylor]: Taking taylor expansion of (* z y) in y
0.939 * [taylor]: Taking taylor expansion of z in y
0.939 * [backup-simplify]: Simplify z into z
0.939 * [taylor]: Taking taylor expansion of y in y
0.939 * [backup-simplify]: Simplify 0 into 0
0.939 * [backup-simplify]: Simplify 1 into 1
0.939 * [backup-simplify]: Simplify (* z 0) into 0
0.940 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
0.940 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.940 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in y
0.940 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.940 * [taylor]: Taking taylor expansion of (* x y) in y
0.940 * [taylor]: Taking taylor expansion of x in y
0.940 * [backup-simplify]: Simplify x into x
0.940 * [taylor]: Taking taylor expansion of y in y
0.940 * [backup-simplify]: Simplify 0 into 0
0.940 * [backup-simplify]: Simplify 1 into 1
0.940 * [backup-simplify]: Simplify (* x 0) into 0
0.940 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
0.940 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.940 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.940 * [taylor]: Taking taylor expansion of x in y
0.940 * [backup-simplify]: Simplify x into x
0.940 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.940 * [taylor]: Taking taylor expansion of z in y
0.940 * [backup-simplify]: Simplify z into z
0.940 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 (* z y)) (+ (/ 1 (* x y)) (/ 1 x))) z)) in x
0.940 * [taylor]: Taking taylor expansion of -1 in x
0.940 * [backup-simplify]: Simplify -1 into -1
0.940 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* z y)) (+ (/ 1 (* x y)) (/ 1 x))) z) in x
0.940 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (+ (/ 1 (* x y)) (/ 1 x))) in x
0.940 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.940 * [taylor]: Taking taylor expansion of (* z y) in x
0.940 * [taylor]: Taking taylor expansion of z in x
0.940 * [backup-simplify]: Simplify z into z
0.940 * [taylor]: Taking taylor expansion of y in x
0.940 * [backup-simplify]: Simplify y into y
0.941 * [backup-simplify]: Simplify (* z y) into (* z y)
0.941 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
0.941 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x
0.941 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.941 * [taylor]: Taking taylor expansion of (* x y) in x
0.941 * [taylor]: Taking taylor expansion of x in x
0.941 * [backup-simplify]: Simplify 0 into 0
0.941 * [backup-simplify]: Simplify 1 into 1
0.941 * [taylor]: Taking taylor expansion of y in x
0.941 * [backup-simplify]: Simplify y into y
0.941 * [backup-simplify]: Simplify (* 0 y) into 0
0.941 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
0.941 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.941 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.941 * [taylor]: Taking taylor expansion of x in x
0.941 * [backup-simplify]: Simplify 0 into 0
0.941 * [backup-simplify]: Simplify 1 into 1
0.941 * [backup-simplify]: Simplify (/ 1 1) into 1
0.941 * [taylor]: Taking taylor expansion of z in x
0.941 * [backup-simplify]: Simplify z into z
0.941 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 (* z y)) (+ (/ 1 (* x y)) (/ 1 x))) z)) in x
0.941 * [taylor]: Taking taylor expansion of -1 in x
0.941 * [backup-simplify]: Simplify -1 into -1
0.941 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* z y)) (+ (/ 1 (* x y)) (/ 1 x))) z) in x
0.941 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (+ (/ 1 (* x y)) (/ 1 x))) in x
0.941 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.941 * [taylor]: Taking taylor expansion of (* z y) in x
0.942 * [taylor]: Taking taylor expansion of z in x
0.942 * [backup-simplify]: Simplify z into z
0.942 * [taylor]: Taking taylor expansion of y in x
0.942 * [backup-simplify]: Simplify y into y
0.942 * [backup-simplify]: Simplify (* z y) into (* z y)
0.942 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
0.942 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x
0.942 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.942 * [taylor]: Taking taylor expansion of (* x y) in x
0.942 * [taylor]: Taking taylor expansion of x in x
0.942 * [backup-simplify]: Simplify 0 into 0
0.942 * [backup-simplify]: Simplify 1 into 1
0.942 * [taylor]: Taking taylor expansion of y in x
0.942 * [backup-simplify]: Simplify y into y
0.942 * [backup-simplify]: Simplify (* 0 y) into 0
0.942 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
0.942 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.942 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.942 * [taylor]: Taking taylor expansion of x in x
0.942 * [backup-simplify]: Simplify 0 into 0
0.942 * [backup-simplify]: Simplify 1 into 1
0.942 * [backup-simplify]: Simplify (/ 1 1) into 1
0.942 * [taylor]: Taking taylor expansion of z in x
0.942 * [backup-simplify]: Simplify z into z
0.943 * [backup-simplify]: Simplify (+ (/ 1 y) 1) into (+ (/ 1 y) 1)
0.943 * [backup-simplify]: Simplify (- (+ (/ 1 y) 1)) into (- (+ (/ 1 y) 1))
0.943 * [backup-simplify]: Simplify (+ 0 (- (+ (/ 1 y) 1))) into (- (+ (/ 1 y) 1))
0.943 * [backup-simplify]: Simplify (* (- (+ (/ 1 y) 1)) z) into (* -1 (* (+ (/ 1 y) 1) z))
0.943 * [backup-simplify]: Simplify (* -1 (* -1 (* (+ (/ 1 y) 1) z))) into (* (+ (/ 1 y) 1) z)
0.943 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) 1) z) in y
0.943 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y
0.943 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.943 * [taylor]: Taking taylor expansion of y in y
0.943 * [backup-simplify]: Simplify 0 into 0
0.943 * [backup-simplify]: Simplify 1 into 1
0.943 * [backup-simplify]: Simplify (/ 1 1) into 1
0.943 * [taylor]: Taking taylor expansion of 1 in y
0.943 * [backup-simplify]: Simplify 1 into 1
0.943 * [taylor]: Taking taylor expansion of z in y
0.943 * [backup-simplify]: Simplify z into z
0.944 * [backup-simplify]: Simplify (+ 1 0) into 1
0.944 * [backup-simplify]: Simplify (* 1 z) into z
0.944 * [taylor]: Taking taylor expansion of z in z
0.944 * [backup-simplify]: Simplify 0 into 0
0.944 * [backup-simplify]: Simplify 1 into 1
0.944 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
0.944 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.945 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.945 * [backup-simplify]: Simplify (+ 0 0) into 0
0.945 * [backup-simplify]: Simplify (- 0) into 0
0.945 * [backup-simplify]: Simplify (+ (/ 1 (* z y)) 0) into (/ 1 (* z y))
0.945 * [backup-simplify]: Simplify (+ (* (- (+ (/ 1 y) 1)) 0) (* (/ 1 (* z y)) z)) into (/ 1 y)
0.945 * [backup-simplify]: Simplify (+ (* -1 (/ 1 y)) (* 0 (* -1 (* (+ (/ 1 y) 1) z)))) into (- (/ 1 y))
0.946 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
0.946 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.946 * [taylor]: Taking taylor expansion of y in y
0.946 * [backup-simplify]: Simplify 0 into 0
0.946 * [backup-simplify]: Simplify 1 into 1
0.946 * [backup-simplify]: Simplify (/ 1 1) into 1
0.946 * [backup-simplify]: Simplify (- 1) into -1
0.946 * [taylor]: Taking taylor expansion of -1 in z
0.946 * [backup-simplify]: Simplify -1 into -1
0.947 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.947 * [backup-simplify]: Simplify (+ 0 1) into 1
0.947 * [backup-simplify]: Simplify (+ (* 1 0) (* 1 z)) into z
0.947 * [taylor]: Taking taylor expansion of z in z
0.947 * [backup-simplify]: Simplify 0 into 0
0.947 * [backup-simplify]: Simplify 1 into 1
0.947 * [backup-simplify]: Simplify 0 into 0
0.947 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
0.947 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))))) into 0
0.948 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
0.948 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.949 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.950 * [backup-simplify]: Simplify (+ 0 0) into 0
0.950 * [backup-simplify]: Simplify (- 0) into 0
0.950 * [backup-simplify]: Simplify (+ 0 0) into 0
0.950 * [backup-simplify]: Simplify (+ (* (- (+ (/ 1 y) 1)) 0) (+ (* (/ 1 (* z y)) 0) (* 0 z))) into 0
0.951 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ 1 y)) (* 0 (* -1 (* (+ (/ 1 y) 1) z))))) into 0
0.951 * [taylor]: Taking taylor expansion of 0 in y
0.951 * [backup-simplify]: Simplify 0 into 0
0.952 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.952 * [backup-simplify]: Simplify (- 0) into 0
0.952 * [taylor]: Taking taylor expansion of 0 in z
0.952 * [backup-simplify]: Simplify 0 into 0
0.953 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.954 * [backup-simplify]: Simplify (+ 0 0) into 0
0.954 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 1 0) (* 0 z))) into 0
0.954 * [taylor]: Taking taylor expansion of 0 in z
0.955 * [backup-simplify]: Simplify 0 into 0
0.955 * [backup-simplify]: Simplify -1 into -1
0.955 * [backup-simplify]: Simplify 0 into 0
0.955 * [backup-simplify]: Simplify 1 into 1
0.955 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0
0.955 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))) (* 0 (/ 0 (* z y))))) into 0
0.957 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
0.957 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.958 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.958 * [backup-simplify]: Simplify (+ 0 0) into 0
0.959 * [backup-simplify]: Simplify (- 0) into 0
0.959 * [backup-simplify]: Simplify (+ 0 0) into 0
0.960 * [backup-simplify]: Simplify (+ (* (- (+ (/ 1 y) 1)) 0) (+ (* (/ 1 (* z y)) 0) (+ (* 0 0) (* 0 z)))) into 0
0.961 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 (* -1 (* (+ (/ 1 y) 1) z)))))) into 0
0.961 * [taylor]: Taking taylor expansion of 0 in y
0.961 * [backup-simplify]: Simplify 0 into 0
0.961 * [taylor]: Taking taylor expansion of 0 in z
0.961 * [backup-simplify]: Simplify 0 into 0
0.962 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.962 * [backup-simplify]: Simplify (- 0) into 0
0.962 * [taylor]: Taking taylor expansion of 0 in z
0.962 * [backup-simplify]: Simplify 0 into 0
0.963 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.964 * [backup-simplify]: Simplify (+ 0 0) into 0
0.964 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 0) (* 0 z)))) into 0
0.965 * [taylor]: Taking taylor expansion of 0 in z
0.965 * [backup-simplify]: Simplify 0 into 0
0.965 * [backup-simplify]: Simplify 0 into 0
0.965 * [backup-simplify]: Simplify 0 into 0
0.965 * [backup-simplify]: Simplify 0 into 0
0.965 * [backup-simplify]: Simplify 1 into 1
0.965 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (- z)) (* 1 (/ 1 (/ 1 (- x)))))) (+ (* 1 (* (/ 1 (- z)) (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) (* -1 (* 1 (* (/ 1 (/ 1 (- y))) 1))))) into (- (+ (/ x z) y) (/ (* x y) z))
0.965 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
0.965 * [backup-simplify]: Simplify (+ x (* y (- z x))) into (- (+ (* z y) x) (* x y))
0.965 * [approximate]: Taking taylor expansion of (- (+ (* z y) x) (* x y)) in (x y z) around 0
0.965 * [taylor]: Taking taylor expansion of (- (+ (* z y) x) (* x y)) in z
0.965 * [taylor]: Taking taylor expansion of (+ (* z y) x) in z
0.965 * [taylor]: Taking taylor expansion of (* z y) in z
0.965 * [taylor]: Taking taylor expansion of z in z
0.965 * [backup-simplify]: Simplify 0 into 0
0.965 * [backup-simplify]: Simplify 1 into 1
0.965 * [taylor]: Taking taylor expansion of y in z
0.965 * [backup-simplify]: Simplify y into y
0.965 * [taylor]: Taking taylor expansion of x in z
0.965 * [backup-simplify]: Simplify x into x
0.965 * [taylor]: Taking taylor expansion of (* x y) in z
0.965 * [taylor]: Taking taylor expansion of x in z
0.965 * [backup-simplify]: Simplify x into x
0.965 * [taylor]: Taking taylor expansion of y in z
0.965 * [backup-simplify]: Simplify y into y
0.965 * [taylor]: Taking taylor expansion of (- (+ (* z y) x) (* x y)) in y
0.965 * [taylor]: Taking taylor expansion of (+ (* z y) x) in y
0.966 * [taylor]: Taking taylor expansion of (* z y) in y
0.966 * [taylor]: Taking taylor expansion of z in y
0.966 * [backup-simplify]: Simplify z into z
0.966 * [taylor]: Taking taylor expansion of y in y
0.966 * [backup-simplify]: Simplify 0 into 0
0.966 * [backup-simplify]: Simplify 1 into 1
0.966 * [taylor]: Taking taylor expansion of x in y
0.966 * [backup-simplify]: Simplify x into x
0.966 * [taylor]: Taking taylor expansion of (* x y) in y
0.966 * [taylor]: Taking taylor expansion of x in y
0.966 * [backup-simplify]: Simplify x into x
0.966 * [taylor]: Taking taylor expansion of y in y
0.966 * [backup-simplify]: Simplify 0 into 0
0.966 * [backup-simplify]: Simplify 1 into 1
0.966 * [taylor]: Taking taylor expansion of (- (+ (* z y) x) (* x y)) in x
0.966 * [taylor]: Taking taylor expansion of (+ (* z y) x) in x
0.966 * [taylor]: Taking taylor expansion of (* z y) in x
0.966 * [taylor]: Taking taylor expansion of z in x
0.966 * [backup-simplify]: Simplify z into z
0.966 * [taylor]: Taking taylor expansion of y in x
0.966 * [backup-simplify]: Simplify y into y
0.966 * [taylor]: Taking taylor expansion of x in x
0.966 * [backup-simplify]: Simplify 0 into 0
0.966 * [backup-simplify]: Simplify 1 into 1
0.966 * [taylor]: Taking taylor expansion of (* x y) in x
0.966 * [taylor]: Taking taylor expansion of x in x
0.966 * [backup-simplify]: Simplify 0 into 0
0.966 * [backup-simplify]: Simplify 1 into 1
0.966 * [taylor]: Taking taylor expansion of y in x
0.966 * [backup-simplify]: Simplify y into y
0.966 * [taylor]: Taking taylor expansion of (- (+ (* z y) x) (* x y)) in x
0.966 * [taylor]: Taking taylor expansion of (+ (* z y) x) in x
0.966 * [taylor]: Taking taylor expansion of (* z y) in x
0.966 * [taylor]: Taking taylor expansion of z in x
0.966 * [backup-simplify]: Simplify z into z
0.966 * [taylor]: Taking taylor expansion of y in x
0.966 * [backup-simplify]: Simplify y into y
0.966 * [taylor]: Taking taylor expansion of x in x
0.966 * [backup-simplify]: Simplify 0 into 0
0.966 * [backup-simplify]: Simplify 1 into 1
0.966 * [taylor]: Taking taylor expansion of (* x y) in x
0.966 * [taylor]: Taking taylor expansion of x in x
0.966 * [backup-simplify]: Simplify 0 into 0
0.966 * [backup-simplify]: Simplify 1 into 1
0.966 * [taylor]: Taking taylor expansion of y in x
0.966 * [backup-simplify]: Simplify y into y
0.966 * [backup-simplify]: Simplify (* z y) into (* z y)
0.966 * [backup-simplify]: Simplify (+ (* z y) 0) into (* z y)
0.966 * [backup-simplify]: Simplify (* 0 y) into 0
0.967 * [backup-simplify]: Simplify (- 0) into 0
0.967 * [backup-simplify]: Simplify (+ (* z y) 0) into (* z y)
0.967 * [taylor]: Taking taylor expansion of (* z y) in y
0.967 * [taylor]: Taking taylor expansion of z in y
0.967 * [backup-simplify]: Simplify z into z
0.967 * [taylor]: Taking taylor expansion of y in y
0.967 * [backup-simplify]: Simplify 0 into 0
0.967 * [backup-simplify]: Simplify 1 into 1
0.967 * [backup-simplify]: Simplify (* z 0) into 0
0.967 * [taylor]: Taking taylor expansion of 0 in z
0.967 * [backup-simplify]: Simplify 0 into 0
0.967 * [backup-simplify]: Simplify 0 into 0
0.967 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
0.967 * [backup-simplify]: Simplify (+ 0 1) into 1
0.967 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
0.967 * [backup-simplify]: Simplify (- y) into (- y)
0.967 * [backup-simplify]: Simplify (+ 1 (- y)) into (- 1 y)
0.967 * [taylor]: Taking taylor expansion of (- 1 y) in y
0.967 * [taylor]: Taking taylor expansion of 1 in y
0.968 * [backup-simplify]: Simplify 1 into 1
0.968 * [taylor]: Taking taylor expansion of y in y
0.968 * [backup-simplify]: Simplify 0 into 0
0.968 * [backup-simplify]: Simplify 1 into 1
0.968 * [backup-simplify]: Simplify (- 0) into 0
0.968 * [backup-simplify]: Simplify (+ 1 0) into 1
0.968 * [taylor]: Taking taylor expansion of 1 in z
0.968 * [backup-simplify]: Simplify 1 into 1
0.968 * [backup-simplify]: Simplify 1 into 1
0.968 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
0.968 * [taylor]: Taking taylor expansion of z in z
0.968 * [backup-simplify]: Simplify 0 into 0
0.968 * [backup-simplify]: Simplify 1 into 1
0.968 * [backup-simplify]: Simplify 0 into 0
0.968 * [backup-simplify]: Simplify 0 into 0
0.969 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0
0.969 * [backup-simplify]: Simplify (+ 0 0) into 0
0.969 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
0.970 * [backup-simplify]: Simplify (- 0) into 0
0.970 * [backup-simplify]: Simplify (+ 0 0) into 0
0.970 * [taylor]: Taking taylor expansion of 0 in y
0.970 * [backup-simplify]: Simplify 0 into 0
0.970 * [taylor]: Taking taylor expansion of 0 in z
0.970 * [backup-simplify]: Simplify 0 into 0
0.970 * [backup-simplify]: Simplify 0 into 0
0.970 * [backup-simplify]: Simplify (- 1) into -1
0.970 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.971 * [taylor]: Taking taylor expansion of -1 in z
0.971 * [backup-simplify]: Simplify -1 into -1
0.971 * [backup-simplify]: Simplify -1 into -1
0.971 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
0.971 * [taylor]: Taking taylor expansion of 0 in z
0.971 * [backup-simplify]: Simplify 0 into 0
0.971 * [backup-simplify]: Simplify 0 into 0
0.971 * [backup-simplify]: Simplify 0 into 0
0.971 * [backup-simplify]: Simplify 1 into 1
0.971 * [backup-simplify]: Simplify (+ (* 1 (* z (* y 1))) (+ (* -1 (* 1 (* y x))) (* 1 (* 1 (* 1 x))))) into (- (+ (* z y) x) (* x y))
0.971 * [backup-simplify]: Simplify (+ (/ 1 x) (* (/ 1 y) (- (/ 1 z) (/ 1 x)))) into (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x y)))
0.971 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x y))) in (x y z) around 0
0.971 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x y))) in z
0.972 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in z
0.972 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
0.972 * [taylor]: Taking taylor expansion of (* z y) in z
0.972 * [taylor]: Taking taylor expansion of z in z
0.972 * [backup-simplify]: Simplify 0 into 0
0.972 * [backup-simplify]: Simplify 1 into 1
0.972 * [taylor]: Taking taylor expansion of y in z
0.972 * [backup-simplify]: Simplify y into y
0.972 * [backup-simplify]: Simplify (* 0 y) into 0
0.972 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
0.972 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.972 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.972 * [taylor]: Taking taylor expansion of x in z
0.972 * [backup-simplify]: Simplify x into x
0.972 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.972 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.972 * [taylor]: Taking taylor expansion of (* x y) in z
0.972 * [taylor]: Taking taylor expansion of x in z
0.972 * [backup-simplify]: Simplify x into x
0.972 * [taylor]: Taking taylor expansion of y in z
0.972 * [backup-simplify]: Simplify y into y
0.972 * [backup-simplify]: Simplify (* x y) into (* x y)
0.972 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
0.972 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x y))) in y
0.972 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in y
0.972 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.972 * [taylor]: Taking taylor expansion of (* z y) in y
0.972 * [taylor]: Taking taylor expansion of z in y
0.972 * [backup-simplify]: Simplify z into z
0.972 * [taylor]: Taking taylor expansion of y in y
0.972 * [backup-simplify]: Simplify 0 into 0
0.972 * [backup-simplify]: Simplify 1 into 1
0.972 * [backup-simplify]: Simplify (* z 0) into 0
0.973 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
0.973 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.973 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.973 * [taylor]: Taking taylor expansion of x in y
0.973 * [backup-simplify]: Simplify x into x
0.973 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.973 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.973 * [taylor]: Taking taylor expansion of (* x y) in y
0.973 * [taylor]: Taking taylor expansion of x in y
0.973 * [backup-simplify]: Simplify x into x
0.973 * [taylor]: Taking taylor expansion of y in y
0.973 * [backup-simplify]: Simplify 0 into 0
0.973 * [backup-simplify]: Simplify 1 into 1
0.973 * [backup-simplify]: Simplify (* x 0) into 0
0.973 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
0.973 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.973 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x y))) in x
0.973 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x
0.973 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.973 * [taylor]: Taking taylor expansion of (* z y) in x
0.973 * [taylor]: Taking taylor expansion of z in x
0.973 * [backup-simplify]: Simplify z into z
0.973 * [taylor]: Taking taylor expansion of y in x
0.973 * [backup-simplify]: Simplify y into y
0.973 * [backup-simplify]: Simplify (* z y) into (* z y)
0.973 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
0.974 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.974 * [taylor]: Taking taylor expansion of x in x
0.974 * [backup-simplify]: Simplify 0 into 0
0.974 * [backup-simplify]: Simplify 1 into 1
0.974 * [backup-simplify]: Simplify (/ 1 1) into 1
0.974 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.974 * [taylor]: Taking taylor expansion of (* x y) in x
0.974 * [taylor]: Taking taylor expansion of x in x
0.974 * [backup-simplify]: Simplify 0 into 0
0.974 * [backup-simplify]: Simplify 1 into 1
0.974 * [taylor]: Taking taylor expansion of y in x
0.974 * [backup-simplify]: Simplify y into y
0.974 * [backup-simplify]: Simplify (* 0 y) into 0
0.974 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
0.974 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.974 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x y))) in x
0.974 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x
0.974 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.974 * [taylor]: Taking taylor expansion of (* z y) in x
0.974 * [taylor]: Taking taylor expansion of z in x
0.974 * [backup-simplify]: Simplify z into z
0.974 * [taylor]: Taking taylor expansion of y in x
0.974 * [backup-simplify]: Simplify y into y
0.974 * [backup-simplify]: Simplify (* z y) into (* z y)
0.974 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
0.974 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.974 * [taylor]: Taking taylor expansion of x in x
0.975 * [backup-simplify]: Simplify 0 into 0
0.975 * [backup-simplify]: Simplify 1 into 1
0.975 * [backup-simplify]: Simplify (/ 1 1) into 1
0.975 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.975 * [taylor]: Taking taylor expansion of (* x y) in x
0.975 * [taylor]: Taking taylor expansion of x in x
0.975 * [backup-simplify]: Simplify 0 into 0
0.975 * [backup-simplify]: Simplify 1 into 1
0.975 * [taylor]: Taking taylor expansion of y in x
0.975 * [backup-simplify]: Simplify y into y
0.975 * [backup-simplify]: Simplify (* 0 y) into 0
0.975 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
0.975 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.975 * [backup-simplify]: Simplify (+ 0 1) into 1
0.976 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
0.976 * [backup-simplify]: Simplify (+ 1 (- (/ 1 y))) into (- 1 (/ 1 y))
0.976 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y
0.976 * [taylor]: Taking taylor expansion of 1 in y
0.976 * [backup-simplify]: Simplify 1 into 1
0.976 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.976 * [taylor]: Taking taylor expansion of y in y
0.976 * [backup-simplify]: Simplify 0 into 0
0.976 * [backup-simplify]: Simplify 1 into 1
0.976 * [backup-simplify]: Simplify (/ 1 1) into 1
0.976 * [backup-simplify]: Simplify (- 1) into -1
0.976 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.976 * [taylor]: Taking taylor expansion of -1 in z
0.977 * [backup-simplify]: Simplify -1 into -1
0.977 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.977 * [backup-simplify]: Simplify (+ (/ 1 (* z y)) 0) into (/ 1 (* z y))
0.978 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
0.978 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.978 * [backup-simplify]: Simplify (- 0) into 0
0.978 * [backup-simplify]: Simplify (+ (/ 1 (* z y)) 0) into (/ 1 (* z y))
0.978 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.978 * [taylor]: Taking taylor expansion of (* z y) in y
0.978 * [taylor]: Taking taylor expansion of z in y
0.978 * [backup-simplify]: Simplify z into z
0.978 * [taylor]: Taking taylor expansion of y in y
0.978 * [backup-simplify]: Simplify 0 into 0
0.978 * [backup-simplify]: Simplify 1 into 1
0.978 * [backup-simplify]: Simplify (* z 0) into 0
0.979 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
0.979 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.979 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.979 * [taylor]: Taking taylor expansion of z in z
0.979 * [backup-simplify]: Simplify 0 into 0
0.979 * [backup-simplify]: Simplify 1 into 1
0.979 * [backup-simplify]: Simplify (/ 1 1) into 1
0.979 * [backup-simplify]: Simplify 1 into 1
0.979 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.980 * [backup-simplify]: Simplify (- 0) into 0
0.980 * [backup-simplify]: Simplify (+ 1 0) into 1
0.980 * [taylor]: Taking taylor expansion of 1 in z
0.980 * [backup-simplify]: Simplify 1 into 1
0.980 * [backup-simplify]: Simplify -1 into -1
0.980 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
0.980 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))))) into 0
0.981 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.981 * [backup-simplify]: Simplify (+ 0 0) into 0
0.981 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
0.982 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.982 * [backup-simplify]: Simplify (- 0) into 0
0.982 * [backup-simplify]: Simplify (+ 0 0) into 0
0.982 * [taylor]: Taking taylor expansion of 0 in y
0.982 * [backup-simplify]: Simplify 0 into 0
0.982 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
0.983 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
0.983 * [taylor]: Taking taylor expansion of 0 in z
0.983 * [backup-simplify]: Simplify 0 into 0
0.983 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.983 * [backup-simplify]: Simplify (- 0) into 0
0.984 * [backup-simplify]: Simplify (+ 0 0) into 0
0.984 * [taylor]: Taking taylor expansion of 0 in z
0.984 * [backup-simplify]: Simplify 0 into 0
0.984 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.984 * [backup-simplify]: Simplify 0 into 0
0.984 * [backup-simplify]: Simplify 1 into 1
0.984 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (/ 1 (/ 1 x))))) (+ (* -1 (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) (* 1 (* (/ 1 (/ 1 z)) (* (/ 1 (/ 1 y)) 1))))) into (- (+ (* z y) x) (* x y))
0.985 * [backup-simplify]: Simplify (+ (/ 1 (- x)) (* (/ 1 (- y)) (- (/ 1 (- z)) (/ 1 (- x))))) into (- (/ 1 (* z y)) (+ (/ 1 (* x y)) (/ 1 x)))
0.985 * [approximate]: Taking taylor expansion of (- (/ 1 (* z y)) (+ (/ 1 (* x y)) (/ 1 x))) in (x y z) around 0
0.985 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (+ (/ 1 (* x y)) (/ 1 x))) in z
0.985 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
0.985 * [taylor]: Taking taylor expansion of (* z y) in z
0.985 * [taylor]: Taking taylor expansion of z in z
0.985 * [backup-simplify]: Simplify 0 into 0
0.985 * [backup-simplify]: Simplify 1 into 1
0.985 * [taylor]: Taking taylor expansion of y in z
0.985 * [backup-simplify]: Simplify y into y
0.985 * [backup-simplify]: Simplify (* 0 y) into 0
0.985 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
0.985 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.985 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in z
0.985 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.985 * [taylor]: Taking taylor expansion of (* x y) in z
0.985 * [taylor]: Taking taylor expansion of x in z
0.985 * [backup-simplify]: Simplify x into x
0.985 * [taylor]: Taking taylor expansion of y in z
0.985 * [backup-simplify]: Simplify y into y
0.985 * [backup-simplify]: Simplify (* x y) into (* x y)
0.985 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
0.985 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.985 * [taylor]: Taking taylor expansion of x in z
0.985 * [backup-simplify]: Simplify x into x
0.985 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.985 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (+ (/ 1 (* x y)) (/ 1 x))) in y
0.985 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.986 * [taylor]: Taking taylor expansion of (* z y) in y
0.986 * [taylor]: Taking taylor expansion of z in y
0.986 * [backup-simplify]: Simplify z into z
0.986 * [taylor]: Taking taylor expansion of y in y
0.986 * [backup-simplify]: Simplify 0 into 0
0.986 * [backup-simplify]: Simplify 1 into 1
0.986 * [backup-simplify]: Simplify (* z 0) into 0
0.986 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
0.986 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.986 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in y
0.986 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.986 * [taylor]: Taking taylor expansion of (* x y) in y
0.986 * [taylor]: Taking taylor expansion of x in y
0.986 * [backup-simplify]: Simplify x into x
0.986 * [taylor]: Taking taylor expansion of y in y
0.986 * [backup-simplify]: Simplify 0 into 0
0.986 * [backup-simplify]: Simplify 1 into 1
0.986 * [backup-simplify]: Simplify (* x 0) into 0
0.986 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
0.986 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.986 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.986 * [taylor]: Taking taylor expansion of x in y
0.986 * [backup-simplify]: Simplify x into x
0.986 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.986 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (+ (/ 1 (* x y)) (/ 1 x))) in x
0.987 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.987 * [taylor]: Taking taylor expansion of (* z y) in x
0.987 * [taylor]: Taking taylor expansion of z in x
0.987 * [backup-simplify]: Simplify z into z
0.987 * [taylor]: Taking taylor expansion of y in x
0.987 * [backup-simplify]: Simplify y into y
0.987 * [backup-simplify]: Simplify (* z y) into (* z y)
0.987 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
0.987 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x
0.987 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.987 * [taylor]: Taking taylor expansion of (* x y) in x
0.987 * [taylor]: Taking taylor expansion of x in x
0.987 * [backup-simplify]: Simplify 0 into 0
0.987 * [backup-simplify]: Simplify 1 into 1
0.987 * [taylor]: Taking taylor expansion of y in x
0.987 * [backup-simplify]: Simplify y into y
0.987 * [backup-simplify]: Simplify (* 0 y) into 0
0.987 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
0.987 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.987 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.987 * [taylor]: Taking taylor expansion of x in x
0.987 * [backup-simplify]: Simplify 0 into 0
0.987 * [backup-simplify]: Simplify 1 into 1
0.987 * [backup-simplify]: Simplify (/ 1 1) into 1
0.988 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (+ (/ 1 (* x y)) (/ 1 x))) in x
0.988 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.988 * [taylor]: Taking taylor expansion of (* z y) in x
0.988 * [taylor]: Taking taylor expansion of z in x
0.988 * [backup-simplify]: Simplify z into z
0.988 * [taylor]: Taking taylor expansion of y in x
0.988 * [backup-simplify]: Simplify y into y
0.988 * [backup-simplify]: Simplify (* z y) into (* z y)
0.988 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y))
0.988 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x
0.988 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.988 * [taylor]: Taking taylor expansion of (* x y) in x
0.988 * [taylor]: Taking taylor expansion of x in x
0.988 * [backup-simplify]: Simplify 0 into 0
0.988 * [backup-simplify]: Simplify 1 into 1
0.988 * [taylor]: Taking taylor expansion of y in x
0.988 * [backup-simplify]: Simplify y into y
0.988 * [backup-simplify]: Simplify (* 0 y) into 0
0.988 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
0.988 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.988 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.988 * [taylor]: Taking taylor expansion of x in x
0.988 * [backup-simplify]: Simplify 0 into 0
0.988 * [backup-simplify]: Simplify 1 into 1
0.989 * [backup-simplify]: Simplify (/ 1 1) into 1
0.989 * [backup-simplify]: Simplify (+ (/ 1 y) 1) into (+ (/ 1 y) 1)
0.989 * [backup-simplify]: Simplify (- (+ (/ 1 y) 1)) into (- (+ (/ 1 y) 1))
0.989 * [backup-simplify]: Simplify (+ 0 (- (+ (/ 1 y) 1))) into (- (+ (/ 1 y) 1))
0.989 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1)) in y
0.989 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y
0.989 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.989 * [taylor]: Taking taylor expansion of y in y
0.989 * [backup-simplify]: Simplify 0 into 0
0.989 * [backup-simplify]: Simplify 1 into 1
0.989 * [backup-simplify]: Simplify (/ 1 1) into 1
0.989 * [taylor]: Taking taylor expansion of 1 in y
0.989 * [backup-simplify]: Simplify 1 into 1
0.990 * [backup-simplify]: Simplify (+ 1 0) into 1
0.990 * [backup-simplify]: Simplify (- 1) into -1
0.990 * [taylor]: Taking taylor expansion of -1 in z
0.990 * [backup-simplify]: Simplify -1 into -1
0.990 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
0.990 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.991 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.991 * [backup-simplify]: Simplify (+ 0 0) into 0
0.991 * [backup-simplify]: Simplify (- 0) into 0
0.991 * [backup-simplify]: Simplify (+ (/ 1 (* z y)) 0) into (/ 1 (* z y))
0.991 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.991 * [taylor]: Taking taylor expansion of (* z y) in y
0.991 * [taylor]: Taking taylor expansion of z in y
0.991 * [backup-simplify]: Simplify z into z
0.991 * [taylor]: Taking taylor expansion of y in y
0.991 * [backup-simplify]: Simplify 0 into 0
0.991 * [backup-simplify]: Simplify 1 into 1
0.991 * [backup-simplify]: Simplify (* z 0) into 0
0.992 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
0.992 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.992 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.992 * [taylor]: Taking taylor expansion of z in z
0.992 * [backup-simplify]: Simplify 0 into 0
0.992 * [backup-simplify]: Simplify 1 into 1
0.992 * [backup-simplify]: Simplify (/ 1 1) into 1
0.992 * [backup-simplify]: Simplify 1 into 1
0.993 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.993 * [backup-simplify]: Simplify (+ 0 1) into 1
0.993 * [backup-simplify]: Simplify (- 1) into -1
0.993 * [taylor]: Taking taylor expansion of -1 in z
0.993 * [backup-simplify]: Simplify -1 into -1
0.993 * [backup-simplify]: Simplify -1 into -1
0.993 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
0.993 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))))) into 0
0.994 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
0.994 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.995 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.995 * [backup-simplify]: Simplify (+ 0 0) into 0
0.995 * [backup-simplify]: Simplify (- 0) into 0
0.995 * [backup-simplify]: Simplify (+ 0 0) into 0
0.995 * [taylor]: Taking taylor expansion of 0 in y
0.995 * [backup-simplify]: Simplify 0 into 0
0.996 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
0.996 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
0.996 * [taylor]: Taking taylor expansion of 0 in z
0.996 * [backup-simplify]: Simplify 0 into 0
0.996 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.997 * [backup-simplify]: Simplify (+ 0 0) into 0
0.997 * [backup-simplify]: Simplify (- 0) into 0
0.997 * [taylor]: Taking taylor expansion of 0 in z
0.997 * [backup-simplify]: Simplify 0 into 0
0.997 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.997 * [backup-simplify]: Simplify 0 into 0
0.997 * [backup-simplify]: Simplify -1 into -1
0.998 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* 1 (/ 1 (/ 1 (- x)))))) (+ (* -1 (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) (* 1 (* (/ 1 (/ 1 (- z))) (* (/ 1 (/ 1 (- y))) 1))))) into (- (+ (* z y) x) (* x y))
0.998 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2)
0.998 * [backup-simplify]: Simplify (* y (- z x)) into (* y (- z x))
0.998 * [approximate]: Taking taylor expansion of (* y (- z x)) in (y z x) around 0
0.998 * [taylor]: Taking taylor expansion of (* y (- z x)) in x
0.998 * [taylor]: Taking taylor expansion of y in x
0.998 * [backup-simplify]: Simplify y into y
0.998 * [taylor]: Taking taylor expansion of (- z x) in x
0.998 * [taylor]: Taking taylor expansion of z in x
0.998 * [backup-simplify]: Simplify z into z
0.998 * [taylor]: Taking taylor expansion of x in x
0.998 * [backup-simplify]: Simplify 0 into 0
0.998 * [backup-simplify]: Simplify 1 into 1
0.998 * [taylor]: Taking taylor expansion of (* y (- z x)) in z
0.998 * [taylor]: Taking taylor expansion of y in z
0.998 * [backup-simplify]: Simplify y into y
0.998 * [taylor]: Taking taylor expansion of (- z x) in z
0.998 * [taylor]: Taking taylor expansion of z in z
0.998 * [backup-simplify]: Simplify 0 into 0
0.998 * [backup-simplify]: Simplify 1 into 1
0.998 * [taylor]: Taking taylor expansion of x in z
0.998 * [backup-simplify]: Simplify x into x
0.998 * [taylor]: Taking taylor expansion of (* y (- z x)) in y
0.998 * [taylor]: Taking taylor expansion of y in y
0.998 * [backup-simplify]: Simplify 0 into 0
0.998 * [backup-simplify]: Simplify 1 into 1
0.998 * [taylor]: Taking taylor expansion of (- z x) in y
0.998 * [taylor]: Taking taylor expansion of z in y
0.998 * [backup-simplify]: Simplify z into z
0.998 * [taylor]: Taking taylor expansion of x in y
0.998 * [backup-simplify]: Simplify x into x
0.998 * [taylor]: Taking taylor expansion of (* y (- z x)) in y
0.998 * [taylor]: Taking taylor expansion of y in y
0.998 * [backup-simplify]: Simplify 0 into 0
0.998 * [backup-simplify]: Simplify 1 into 1
0.998 * [taylor]: Taking taylor expansion of (- z x) in y
0.998 * [taylor]: Taking taylor expansion of z in y
0.998 * [backup-simplify]: Simplify z into z
0.998 * [taylor]: Taking taylor expansion of x in y
0.998 * [backup-simplify]: Simplify x into x
0.998 * [backup-simplify]: Simplify (- x) into (- x)
0.999 * [backup-simplify]: Simplify (+ z (- x)) into (- z x)
0.999 * [backup-simplify]: Simplify (* 0 (- z x)) into 0
0.999 * [taylor]: Taking taylor expansion of 0 in z
0.999 * [backup-simplify]: Simplify 0 into 0
0.999 * [taylor]: Taking taylor expansion of 0 in x
0.999 * [backup-simplify]: Simplify 0 into 0
0.999 * [backup-simplify]: Simplify 0 into 0
0.999 * [backup-simplify]: Simplify (- 0) into 0
0.999 * [backup-simplify]: Simplify (+ 0 0) into 0
0.999 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- z x))) into (- z x)
0.999 * [taylor]: Taking taylor expansion of (- z x) in z
0.999 * [taylor]: Taking taylor expansion of z in z
0.999 * [backup-simplify]: Simplify 0 into 0
0.999 * [backup-simplify]: Simplify 1 into 1
0.999 * [taylor]: Taking taylor expansion of x in z
1.000 * [backup-simplify]: Simplify x into x
1.000 * [backup-simplify]: Simplify (- x) into (- x)
1.000 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x)
1.000 * [taylor]: Taking taylor expansion of (- x) in x
1.000 * [taylor]: Taking taylor expansion of x in x
1.000 * [backup-simplify]: Simplify 0 into 0
1.000 * [backup-simplify]: Simplify 1 into 1
1.000 * [backup-simplify]: Simplify (- 0) into 0
1.000 * [backup-simplify]: Simplify 0 into 0
1.000 * [taylor]: Taking taylor expansion of 0 in x
1.000 * [backup-simplify]: Simplify 0 into 0
1.000 * [backup-simplify]: Simplify 0 into 0
1.000 * [backup-simplify]: Simplify 0 into 0
1.000 * [backup-simplify]: Simplify (- 0) into 0
1.000 * [backup-simplify]: Simplify (+ 0 0) into 0
1.001 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- z x)))) into 0
1.001 * [taylor]: Taking taylor expansion of 0 in z
1.001 * [backup-simplify]: Simplify 0 into 0
1.001 * [taylor]: Taking taylor expansion of 0 in x
1.001 * [backup-simplify]: Simplify 0 into 0
1.001 * [backup-simplify]: Simplify 0 into 0
1.001 * [backup-simplify]: Simplify (- 0) into 0
1.002 * [backup-simplify]: Simplify (+ 1 0) into 1
1.002 * [taylor]: Taking taylor expansion of 1 in x
1.002 * [backup-simplify]: Simplify 1 into 1
1.002 * [backup-simplify]: Simplify 1 into 1
1.002 * [taylor]: Taking taylor expansion of 0 in x
1.002 * [backup-simplify]: Simplify 0 into 0
1.002 * [backup-simplify]: Simplify 0 into 0
1.002 * [backup-simplify]: Simplify (- 1) into -1
1.002 * [backup-simplify]: Simplify -1 into -1
1.002 * [backup-simplify]: Simplify 0 into 0
1.002 * [backup-simplify]: Simplify 0 into 0
1.002 * [backup-simplify]: Simplify (- 0) into 0
1.002 * [backup-simplify]: Simplify (+ 0 0) into 0
1.003 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (- z x))))) into 0
1.003 * [taylor]: Taking taylor expansion of 0 in z
1.003 * [backup-simplify]: Simplify 0 into 0
1.003 * [taylor]: Taking taylor expansion of 0 in x
1.003 * [backup-simplify]: Simplify 0 into 0
1.003 * [backup-simplify]: Simplify 0 into 0
1.003 * [taylor]: Taking taylor expansion of 0 in x
1.003 * [backup-simplify]: Simplify 0 into 0
1.003 * [backup-simplify]: Simplify 0 into 0
1.004 * [backup-simplify]: Simplify (- 0) into 0
1.004 * [backup-simplify]: Simplify (+ 0 0) into 0
1.004 * [taylor]: Taking taylor expansion of 0 in x
1.004 * [backup-simplify]: Simplify 0 into 0
1.004 * [backup-simplify]: Simplify 0 into 0
1.004 * [taylor]: Taking taylor expansion of 0 in x
1.004 * [backup-simplify]: Simplify 0 into 0
1.004 * [backup-simplify]: Simplify 0 into 0
1.004 * [backup-simplify]: Simplify (+ (* -1 (* x (* 1 y))) (* 1 (* 1 (* z y)))) into (- (* z y) (* x y))
1.004 * [backup-simplify]: Simplify (* (/ 1 y) (- (/ 1 z) (/ 1 x))) into (/ (- (/ 1 z) (/ 1 x)) y)
1.004 * [approximate]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in (y z x) around 0
1.004 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x
1.004 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
1.004 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.004 * [taylor]: Taking taylor expansion of z in x
1.004 * [backup-simplify]: Simplify z into z
1.004 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.004 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.004 * [taylor]: Taking taylor expansion of x in x
1.004 * [backup-simplify]: Simplify 0 into 0
1.004 * [backup-simplify]: Simplify 1 into 1
1.005 * [backup-simplify]: Simplify (/ 1 1) into 1
1.005 * [taylor]: Taking taylor expansion of y in x
1.005 * [backup-simplify]: Simplify y into y
1.005 * [backup-simplify]: Simplify (- 1) into -1
1.005 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.005 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
1.005 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in z
1.005 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
1.005 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.005 * [taylor]: Taking taylor expansion of z in z
1.005 * [backup-simplify]: Simplify 0 into 0
1.005 * [backup-simplify]: Simplify 1 into 1
1.006 * [backup-simplify]: Simplify (/ 1 1) into 1
1.006 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.006 * [taylor]: Taking taylor expansion of x in z
1.006 * [backup-simplify]: Simplify x into x
1.006 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.006 * [taylor]: Taking taylor expansion of y in z
1.006 * [backup-simplify]: Simplify y into y
1.006 * [backup-simplify]: Simplify (+ 1 0) into 1
1.006 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.006 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y
1.006 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
1.006 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.006 * [taylor]: Taking taylor expansion of z in y
1.006 * [backup-simplify]: Simplify z into z
1.006 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.006 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.006 * [taylor]: Taking taylor expansion of x in y
1.006 * [backup-simplify]: Simplify x into x
1.006 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.006 * [taylor]: Taking taylor expansion of y in y
1.006 * [backup-simplify]: Simplify 0 into 0
1.006 * [backup-simplify]: Simplify 1 into 1
1.006 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
1.006 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 x))) into (- (/ 1 z) (/ 1 x))
1.006 * [backup-simplify]: Simplify (/ (- (/ 1 z) (/ 1 x)) 1) into (- (/ 1 z) (/ 1 x))
1.006 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y
1.006 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
1.007 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.007 * [taylor]: Taking taylor expansion of z in y
1.007 * [backup-simplify]: Simplify z into z
1.007 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.007 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.007 * [taylor]: Taking taylor expansion of x in y
1.007 * [backup-simplify]: Simplify x into x
1.007 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.007 * [taylor]: Taking taylor expansion of y in y
1.007 * [backup-simplify]: Simplify 0 into 0
1.007 * [backup-simplify]: Simplify 1 into 1
1.007 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
1.007 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 x))) into (- (/ 1 z) (/ 1 x))
1.007 * [backup-simplify]: Simplify (/ (- (/ 1 z) (/ 1 x)) 1) into (- (/ 1 z) (/ 1 x))
1.007 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
1.007 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.007 * [taylor]: Taking taylor expansion of z in z
1.007 * [backup-simplify]: Simplify 0 into 0
1.007 * [backup-simplify]: Simplify 1 into 1
1.007 * [backup-simplify]: Simplify (/ 1 1) into 1
1.007 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.007 * [taylor]: Taking taylor expansion of x in z
1.007 * [backup-simplify]: Simplify x into x
1.007 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.008 * [backup-simplify]: Simplify (+ 1 0) into 1
1.008 * [taylor]: Taking taylor expansion of 1 in x
1.008 * [backup-simplify]: Simplify 1 into 1
1.008 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
1.008 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
1.008 * [backup-simplify]: Simplify (- 0) into 0
1.008 * [backup-simplify]: Simplify (+ 0 0) into 0
1.009 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 z) (/ 1 x)) (/ 0 1)))) into 0
1.009 * [taylor]: Taking taylor expansion of 0 in z
1.009 * [backup-simplify]: Simplify 0 into 0
1.009 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.009 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
1.010 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x))
1.010 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
1.010 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.010 * [taylor]: Taking taylor expansion of x in x
1.010 * [backup-simplify]: Simplify 0 into 0
1.010 * [backup-simplify]: Simplify 1 into 1
1.010 * [backup-simplify]: Simplify (/ 1 1) into 1
1.010 * [backup-simplify]: Simplify (- 1) into -1
1.010 * [backup-simplify]: Simplify -1 into -1
1.010 * [backup-simplify]: Simplify 1 into 1
1.010 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1.010 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.011 * [backup-simplify]: Simplify (- 0) into 0
1.011 * [backup-simplify]: Simplify (+ 0 0) into 0
1.012 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 z) (/ 1 x)) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.012 * [taylor]: Taking taylor expansion of 0 in z
1.012 * [backup-simplify]: Simplify 0 into 0
1.012 * [taylor]: Taking taylor expansion of 0 in x
1.012 * [backup-simplify]: Simplify 0 into 0
1.012 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.012 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
1.013 * [backup-simplify]: Simplify (- 0) into 0
1.013 * [backup-simplify]: Simplify (+ 0 0) into 0
1.013 * [taylor]: Taking taylor expansion of 0 in x
1.013 * [backup-simplify]: Simplify 0 into 0
1.013 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.014 * [backup-simplify]: Simplify (- 0) into 0
1.014 * [backup-simplify]: Simplify 0 into 0
1.014 * [backup-simplify]: Simplify 0 into 0
1.014 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
1.014 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.014 * [backup-simplify]: Simplify (- 0) into 0
1.014 * [backup-simplify]: Simplify (+ 0 0) into 0
1.018 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 z) (/ 1 x)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.018 * [taylor]: Taking taylor expansion of 0 in z
1.018 * [backup-simplify]: Simplify 0 into 0
1.018 * [taylor]: Taking taylor expansion of 0 in x
1.018 * [backup-simplify]: Simplify 0 into 0
1.018 * [taylor]: Taking taylor expansion of 0 in x
1.018 * [backup-simplify]: Simplify 0 into 0
1.019 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.019 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.019 * [backup-simplify]: Simplify (- 0) into 0
1.019 * [backup-simplify]: Simplify (+ 0 0) into 0
1.019 * [taylor]: Taking taylor expansion of 0 in x
1.020 * [backup-simplify]: Simplify 0 into 0
1.020 * [backup-simplify]: Simplify 0 into 0
1.020 * [backup-simplify]: Simplify 0 into 0
1.020 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.020 * [backup-simplify]: Simplify (- 0) into 0
1.020 * [backup-simplify]: Simplify 0 into 0
1.020 * [backup-simplify]: Simplify 0 into 0
1.021 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 z)) (/ 1 (/ 1 y))))) (* -1 (* (/ 1 (/ 1 x)) (* 1 (/ 1 (/ 1 y)))))) into (- (* z y) (* x y))
1.021 * [backup-simplify]: Simplify (* (/ 1 (- y)) (- (/ 1 (- z)) (/ 1 (- x)))) into (* -1 (/ (- (/ 1 x) (/ 1 z)) y))
1.021 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 z)) y)) in (y z x) around 0
1.021 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 z)) y)) in x
1.021 * [taylor]: Taking taylor expansion of -1 in x
1.021 * [backup-simplify]: Simplify -1 into -1
1.021 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x
1.021 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
1.021 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.021 * [taylor]: Taking taylor expansion of x in x
1.021 * [backup-simplify]: Simplify 0 into 0
1.021 * [backup-simplify]: Simplify 1 into 1
1.021 * [backup-simplify]: Simplify (/ 1 1) into 1
1.021 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.021 * [taylor]: Taking taylor expansion of z in x
1.021 * [backup-simplify]: Simplify z into z
1.021 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.021 * [taylor]: Taking taylor expansion of y in x
1.021 * [backup-simplify]: Simplify y into y
1.022 * [backup-simplify]: Simplify (+ 1 0) into 1
1.022 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.022 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 z)) y)) in z
1.022 * [taylor]: Taking taylor expansion of -1 in z
1.022 * [backup-simplify]: Simplify -1 into -1
1.022 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in z
1.022 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
1.022 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.022 * [taylor]: Taking taylor expansion of x in z
1.022 * [backup-simplify]: Simplify x into x
1.022 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.022 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.022 * [taylor]: Taking taylor expansion of z in z
1.022 * [backup-simplify]: Simplify 0 into 0
1.022 * [backup-simplify]: Simplify 1 into 1
1.022 * [backup-simplify]: Simplify (/ 1 1) into 1
1.022 * [taylor]: Taking taylor expansion of y in z
1.022 * [backup-simplify]: Simplify y into y
1.022 * [backup-simplify]: Simplify (- 1) into -1
1.023 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.023 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
1.023 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 z)) y)) in y
1.023 * [taylor]: Taking taylor expansion of -1 in y
1.023 * [backup-simplify]: Simplify -1 into -1
1.023 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y
1.023 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
1.023 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.023 * [taylor]: Taking taylor expansion of x in y
1.023 * [backup-simplify]: Simplify x into x
1.023 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.023 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.023 * [taylor]: Taking taylor expansion of z in y
1.023 * [backup-simplify]: Simplify z into z
1.023 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.023 * [taylor]: Taking taylor expansion of y in y
1.023 * [backup-simplify]: Simplify 0 into 0
1.023 * [backup-simplify]: Simplify 1 into 1
1.023 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
1.023 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z))
1.023 * [backup-simplify]: Simplify (/ (- (/ 1 x) (/ 1 z)) 1) into (- (/ 1 x) (/ 1 z))
1.023 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 z)) y)) in y
1.023 * [taylor]: Taking taylor expansion of -1 in y
1.023 * [backup-simplify]: Simplify -1 into -1
1.023 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y
1.023 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
1.023 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.023 * [taylor]: Taking taylor expansion of x in y
1.023 * [backup-simplify]: Simplify x into x
1.023 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.023 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.023 * [taylor]: Taking taylor expansion of z in y
1.023 * [backup-simplify]: Simplify z into z
1.024 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.024 * [taylor]: Taking taylor expansion of y in y
1.024 * [backup-simplify]: Simplify 0 into 0
1.024 * [backup-simplify]: Simplify 1 into 1
1.024 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
1.024 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z))
1.024 * [backup-simplify]: Simplify (/ (- (/ 1 x) (/ 1 z)) 1) into (- (/ 1 x) (/ 1 z))
1.024 * [backup-simplify]: Simplify (* -1 (- (/ 1 x) (/ 1 z))) into (* -1 (- (/ 1 x) (/ 1 z)))
1.024 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 x) (/ 1 z))) in z
1.024 * [taylor]: Taking taylor expansion of -1 in z
1.024 * [backup-simplify]: Simplify -1 into -1
1.024 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
1.024 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.024 * [taylor]: Taking taylor expansion of x in z
1.024 * [backup-simplify]: Simplify x into x
1.024 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.024 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.024 * [taylor]: Taking taylor expansion of z in z
1.024 * [backup-simplify]: Simplify 0 into 0
1.024 * [backup-simplify]: Simplify 1 into 1
1.024 * [backup-simplify]: Simplify (/ 1 1) into 1
1.025 * [backup-simplify]: Simplify (- 1) into -1
1.025 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.025 * [backup-simplify]: Simplify (* -1 -1) into 1
1.025 * [taylor]: Taking taylor expansion of 1 in x
1.025 * [backup-simplify]: Simplify 1 into 1
1.025 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
1.025 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
1.026 * [backup-simplify]: Simplify (- 0) into 0
1.026 * [backup-simplify]: Simplify (+ 0 0) into 0
1.026 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 x) (/ 1 z)) (/ 0 1)))) into 0
1.027 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (- (/ 1 x) (/ 1 z)))) into 0
1.027 * [taylor]: Taking taylor expansion of 0 in z
1.027 * [backup-simplify]: Simplify 0 into 0
1.027 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.027 * [backup-simplify]: Simplify (- 0) into 0
1.028 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
1.028 * [backup-simplify]: Simplify (+ (* -1 (/ 1 x)) (* 0 -1)) into (- (/ 1 x))
1.028 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
1.028 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.028 * [taylor]: Taking taylor expansion of x in x
1.028 * [backup-simplify]: Simplify 0 into 0
1.028 * [backup-simplify]: Simplify 1 into 1
1.028 * [backup-simplify]: Simplify (/ 1 1) into 1
1.029 * [backup-simplify]: Simplify (- 1) into -1
1.029 * [backup-simplify]: Simplify -1 into -1
1.029 * [backup-simplify]: Simplify 1 into 1
1.029 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.029 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1.029 * [backup-simplify]: Simplify (- 0) into 0
1.029 * [backup-simplify]: Simplify (+ 0 0) into 0
1.030 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 x) (/ 1 z)) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.031 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (- (/ 1 x) (/ 1 z))))) into 0
1.031 * [taylor]: Taking taylor expansion of 0 in z
1.031 * [backup-simplify]: Simplify 0 into 0
1.031 * [taylor]: Taking taylor expansion of 0 in x
1.031 * [backup-simplify]: Simplify 0 into 0
1.031 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
1.032 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.032 * [backup-simplify]: Simplify (- 0) into 0
1.032 * [backup-simplify]: Simplify (+ 0 0) into 0
1.033 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ 1 x)) (* 0 -1))) into 0
1.033 * [taylor]: Taking taylor expansion of 0 in x
1.033 * [backup-simplify]: Simplify 0 into 0
1.033 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.033 * [backup-simplify]: Simplify (- 0) into 0
1.033 * [backup-simplify]: Simplify 0 into 0
1.034 * [backup-simplify]: Simplify 0 into 0
1.034 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.034 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
1.034 * [backup-simplify]: Simplify (- 0) into 0
1.034 * [backup-simplify]: Simplify (+ 0 0) into 0
1.036 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 x) (/ 1 z)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.036 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (/ 1 x) (/ 1 z)))))) into 0
1.036 * [taylor]: Taking taylor expansion of 0 in z
1.037 * [backup-simplify]: Simplify 0 into 0
1.037 * [taylor]: Taking taylor expansion of 0 in x
1.037 * [backup-simplify]: Simplify 0 into 0
1.037 * [taylor]: Taking taylor expansion of 0 in x
1.037 * [backup-simplify]: Simplify 0 into 0
1.037 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.037 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.037 * [backup-simplify]: Simplify (- 0) into 0
1.038 * [backup-simplify]: Simplify (+ 0 0) into 0
1.038 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (/ 1 x)) (* 0 -1)))) into 0
1.038 * [taylor]: Taking taylor expansion of 0 in x
1.039 * [backup-simplify]: Simplify 0 into 0
1.039 * [backup-simplify]: Simplify 0 into 0
1.039 * [backup-simplify]: Simplify 0 into 0
1.039 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.039 * [backup-simplify]: Simplify (- 0) into 0
1.039 * [backup-simplify]: Simplify 0 into 0
1.039 * [backup-simplify]: Simplify 0 into 0
1.040 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- z))) (/ 1 (/ 1 (- y)))))) (* -1 (* (/ 1 (/ 1 (- x))) (* 1 (/ 1 (/ 1 (- y))))))) into (- (* z y) (* x y))
1.040 * * * [progress]: simplifying candidates
1.041 * [simplify]: Simplifying:
  (- (log (+ x (* y (- z x)))) (log z))
  (log (/ (+ x (* y (- z x))) z))
  (exp (/ (+ x (* y (- z x))) z))
  (/ (* (* (+ x (* y (- z x))) (+ x (* y (- z x)))) (+ x (* y (- z x)))) (* (* z z) z))
  (* (cbrt (/ (+ x (* y (- z x))) z)) (cbrt (/ (+ x (* y (- z x))) z)))
  (cbrt (/ (+ x (* y (- z x))) z))
  (* (* (/ (+ x (* y (- z x))) z) (/ (+ x (* y (- z x))) z)) (/ (+ x (* y (- z x))) z))
  (sqrt (/ (+ x (* y (- z x))) z))
  (sqrt (/ (+ x (* y (- z x))) z))
  (- (+ x (* y (- z x))))
  (- z)
  (/ (* (cbrt (+ x (* y (- z x)))) (cbrt (+ x (* y (- z x))))) (* (cbrt z) (cbrt z)))
  (/ (cbrt (+ x (* y (- z x)))) (cbrt z))
  (/ (* (cbrt (+ x (* y (- z x)))) (cbrt (+ x (* y (- z x))))) (sqrt z))
  (/ (cbrt (+ x (* y (- z x)))) (sqrt z))
  (/ (* (cbrt (+ x (* y (- z x)))) (cbrt (+ x (* y (- z x))))) 1)
  (/ (cbrt (+ x (* y (- z x)))) z)
  (/ (sqrt (+ x (* y (- z x)))) (* (cbrt z) (cbrt z)))
  (/ (sqrt (+ x (* y (- z x)))) (cbrt z))
  (/ (sqrt (+ x (* y (- z x)))) (sqrt z))
  (/ (sqrt (+ x (* y (- z x)))) (sqrt z))
  (/ (sqrt (+ x (* y (- z x)))) 1)
  (/ (sqrt (+ x (* y (- z x)))) z)
  (/ 1 (* (cbrt z) (cbrt z)))
  (/ (+ x (* y (- z x))) (cbrt z))
  (/ 1 (sqrt z))
  (/ (+ x (* y (- z x))) (sqrt z))
  (/ 1 1)
  (/ (+ x (* y (- z x))) z)
  (/ 1 z)
  (/ z (+ x (* y (- z x))))
  (/ (+ x (* y (- z x))) (* (cbrt z) (cbrt z)))
  (/ (+ x (* y (- z x))) (sqrt z))
  (/ (+ x (* y (- z x))) 1)
  (/ z (cbrt (+ x (* y (- z x)))))
  (/ z (sqrt (+ x (* y (- z x)))))
  (/ z (+ x (* y (- z x))))
  (* z (+ (* x x) (- (* (* y (- z x)) (* y (- z x))) (* x (* y (- z x))))))
  (* z (- x (* y (- z x))))
  (* (exp x) (exp (* y (- z x))))
  (log (+ x (* y (- z x))))
  (exp (+ x (* y (- z x))))
  (* (cbrt (+ x (* y (- z x)))) (cbrt (+ x (* y (- z x)))))
  (cbrt (+ x (* y (- z x))))
  (* (* (+ x (* y (- z x))) (+ x (* y (- z x)))) (+ x (* y (- z x))))
  (sqrt (+ x (* y (- z x))))
  (sqrt (+ x (* y (- z x))))
  (+ (pow x 3) (pow (* y (- z x)) 3))
  (+ (* x x) (- (* (* y (- z x)) (* y (- z x))) (* x (* y (- z x)))))
  (- (* x x) (* (* y (- z x)) (* y (- z x))))
  (- x (* y (- z x)))
  (+ x (* y z))
  (+ x (* y z))
  (+ x (* z y))
  (+ x (* z y))
  (* y (- z x))
  (+ (log y) (log (- z x)))
  (log (* y (- z x)))
  (exp (* y (- z x)))
  (* (* (* y y) y) (* (* (- z x) (- z x)) (- z x)))
  (* (cbrt (* y (- z x))) (cbrt (* y (- z x))))
  (cbrt (* y (- z x)))
  (* (* (* y (- z x)) (* y (- z x))) (* y (- z x)))
  (sqrt (* y (- z x)))
  (sqrt (* y (- z x)))
  (* (sqrt y) (sqrt (- z x)))
  (* (sqrt y) (sqrt (- z x)))
  (* y z)
  (* y (- x))
  (* y z)
  (* y (- x))
  (* z y)
  (* (- x) y)
  (* z y)
  (* (- x) y)
  (* y (* (cbrt (- z x)) (cbrt (- z x))))
  (* y (sqrt (- z x)))
  (* y 1)
  (* y (+ (sqrt z) (sqrt x)))
  (* y 1)
  (* (cbrt y) (- z x))
  (* (sqrt y) (- z x))
  (* y (- z x))
  (* y (- (pow z 3) (pow x 3)))
  (* y (- (* z z) (* x x)))
  (- (+ (/ x z) y) (/ (* x y) z))
  (- (+ (/ x z) y) (/ (* x y) z))
  (- (+ (/ x z) y) (/ (* x y) z))
  (- (+ (* z y) x) (* x y))
  (- (+ (* z y) x) (* x y))
  (- (+ (* z y) x) (* x y))
  (- (* z y) (* x y))
  (- (* z y) (* x y))
  (- (* z y) (* x y))
1.041 * [simplify]: Sending expressions to egg_math:
 (- (log (+ h1 (* h2 (- h0 h1)))) (log h0))
 (log (/ (+ h1 (* h2 (- h0 h1))) h0))
 (exp (/ (+ h1 (* h2 (- h0 h1))) h0))
 (/ (* (* (+ h1 (* h2 (- h0 h1))) (+ h1 (* h2 (- h0 h1)))) (+ h1 (* h2 (- h0 h1)))) (* (* h0 h0) h0))
 (* (cbrt (/ (+ h1 (* h2 (- h0 h1))) h0)) (cbrt (/ (+ h1 (* h2 (- h0 h1))) h0)))
 (cbrt (/ (+ h1 (* h2 (- h0 h1))) h0))
 (* (* (/ (+ h1 (* h2 (- h0 h1))) h0) (/ (+ h1 (* h2 (- h0 h1))) h0)) (/ (+ h1 (* h2 (- h0 h1))) h0))
 (sqrt (/ (+ h1 (* h2 (- h0 h1))) h0))
 (sqrt (/ (+ h1 (* h2 (- h0 h1))) h0))
 (- (+ h1 (* h2 (- h0 h1))))
 (- h0)
 (/ (* (cbrt (+ h1 (* h2 (- h0 h1)))) (cbrt (+ h1 (* h2 (- h0 h1))))) (* (cbrt h0) (cbrt h0)))
 (/ (cbrt (+ h1 (* h2 (- h0 h1)))) (cbrt h0))
 (/ (* (cbrt (+ h1 (* h2 (- h0 h1)))) (cbrt (+ h1 (* h2 (- h0 h1))))) (sqrt h0))
 (/ (cbrt (+ h1 (* h2 (- h0 h1)))) (sqrt h0))
 (/ (* (cbrt (+ h1 (* h2 (- h0 h1)))) (cbrt (+ h1 (* h2 (- h0 h1))))) 1)
 (/ (cbrt (+ h1 (* h2 (- h0 h1)))) h0)
 (/ (sqrt (+ h1 (* h2 (- h0 h1)))) (* (cbrt h0) (cbrt h0)))
 (/ (sqrt (+ h1 (* h2 (- h0 h1)))) (cbrt h0))
 (/ (sqrt (+ h1 (* h2 (- h0 h1)))) (sqrt h0))
 (/ (sqrt (+ h1 (* h2 (- h0 h1)))) (sqrt h0))
 (/ (sqrt (+ h1 (* h2 (- h0 h1)))) 1)
 (/ (sqrt (+ h1 (* h2 (- h0 h1)))) h0)
 (/ 1 (* (cbrt h0) (cbrt h0)))
 (/ (+ h1 (* h2 (- h0 h1))) (cbrt h0))
 (/ 1 (sqrt h0))
 (/ (+ h1 (* h2 (- h0 h1))) (sqrt h0))
 (/ 1 1)
 (/ (+ h1 (* h2 (- h0 h1))) h0)
 (/ 1 h0)
 (/ h0 (+ h1 (* h2 (- h0 h1))))
 (/ (+ h1 (* h2 (- h0 h1))) (* (cbrt h0) (cbrt h0)))
 (/ (+ h1 (* h2 (- h0 h1))) (sqrt h0))
 (/ (+ h1 (* h2 (- h0 h1))) 1)
 (/ h0 (cbrt (+ h1 (* h2 (- h0 h1)))))
 (/ h0 (sqrt (+ h1 (* h2 (- h0 h1)))))
 (/ h0 (+ h1 (* h2 (- h0 h1))))
 (* h0 (+ (* h1 h1) (- (* (* h2 (- h0 h1)) (* h2 (- h0 h1))) (* h1 (* h2 (- h0 h1))))))
 (* h0 (- h1 (* h2 (- h0 h1))))
 (* (exp h1) (exp (* h2 (- h0 h1))))
 (log (+ h1 (* h2 (- h0 h1))))
 (exp (+ h1 (* h2 (- h0 h1))))
 (* (cbrt (+ h1 (* h2 (- h0 h1)))) (cbrt (+ h1 (* h2 (- h0 h1)))))
 (cbrt (+ h1 (* h2 (- h0 h1))))
 (* (* (+ h1 (* h2 (- h0 h1))) (+ h1 (* h2 (- h0 h1)))) (+ h1 (* h2 (- h0 h1))))
 (sqrt (+ h1 (* h2 (- h0 h1))))
 (sqrt (+ h1 (* h2 (- h0 h1))))
 (+ (pow h1 3) (pow (* h2 (- h0 h1)) 3))
 (+ (* h1 h1) (- (* (* h2 (- h0 h1)) (* h2 (- h0 h1))) (* h1 (* h2 (- h0 h1)))))
 (- (* h1 h1) (* (* h2 (- h0 h1)) (* h2 (- h0 h1))))
 (- h1 (* h2 (- h0 h1)))
 (+ h1 (* h2 h0))
 (+ h1 (* h2 h0))
 (+ h1 (* h0 h2))
 (+ h1 (* h0 h2))
 (* h2 (- h0 h1))
 (+ (log h2) (log (- h0 h1)))
 (log (* h2 (- h0 h1)))
 (exp (* h2 (- h0 h1)))
 (* (* (* h2 h2) h2) (* (* (- h0 h1) (- h0 h1)) (- h0 h1)))
 (* (cbrt (* h2 (- h0 h1))) (cbrt (* h2 (- h0 h1))))
 (cbrt (* h2 (- h0 h1)))
 (* (* (* h2 (- h0 h1)) (* h2 (- h0 h1))) (* h2 (- h0 h1)))
 (sqrt (* h2 (- h0 h1)))
 (sqrt (* h2 (- h0 h1)))
 (* (sqrt h2) (sqrt (- h0 h1)))
 (* (sqrt h2) (sqrt (- h0 h1)))
 (* h2 h0)
 (* h2 (- h1))
 (* h2 h0)
 (* h2 (- h1))
 (* h0 h2)
 (* (- h1) h2)
 (* h0 h2)
 (* (- h1) h2)
 (* h2 (* (cbrt (- h0 h1)) (cbrt (- h0 h1))))
 (* h2 (sqrt (- h0 h1)))
 (* h2 1)
 (* h2 (+ (sqrt h0) (sqrt h1)))
 (* h2 1)
 (* (cbrt h2) (- h0 h1))
 (* (sqrt h2) (- h0 h1))
 (* h2 (- h0 h1))
 (* h2 (- (pow h0 3) (pow h1 3)))
 (* h2 (- (* h0 h0) (* h1 h1)))
 (- (+ (/ h1 h0) h2) (/ (* h1 h2) h0))
 (- (+ (/ h1 h0) h2) (/ (* h1 h2) h0))
 (- (+ (/ h1 h0) h2) (/ (* h1 h2) h0))
 (- (+ (* h0 h2) h1) (* h1 h2))
 (- (+ (* h0 h2) h1) (* h1 h2))
 (- (+ (* h0 h2) h1) (* h1 h2))
 (- (* h0 h2) (* h1 h2))
 (- (* h0 h2) (* h1 h2))
 (- (* h0 h2) (* h1 h2))
3.103 * * * [progress]: adding candidates to table
3.319 * * [progress]: iteration 2 / 4
3.319 * * * [progress]: picking best candidate
3.344 * * * * [pick]: Picked  #<alt (λ (x y z) (- (+ (/ x z) y) (/ (* x y) z)))>
3.344 * * * [progress]: localizing error
3.360 * * * [progress]: generating rewritten candidates
3.360 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
3.376 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
3.402 * * * [progress]: generating series expansions
3.402 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
3.402 * [backup-simplify]: Simplify (/ (* x y) z) into (/ (* x y) z)
3.402 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (x y z) around 0
3.402 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
3.402 * [taylor]: Taking taylor expansion of (* x y) in z
3.402 * [taylor]: Taking taylor expansion of x in z
3.402 * [backup-simplify]: Simplify x into x
3.402 * [taylor]: Taking taylor expansion of y in z
3.402 * [backup-simplify]: Simplify y into y
3.402 * [taylor]: Taking taylor expansion of z in z
3.402 * [backup-simplify]: Simplify 0 into 0
3.403 * [backup-simplify]: Simplify 1 into 1
3.403 * [backup-simplify]: Simplify (* x y) into (* x y)
3.403 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y)
3.403 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
3.403 * [taylor]: Taking taylor expansion of (* x y) in y
3.403 * [taylor]: Taking taylor expansion of x in y
3.403 * [backup-simplify]: Simplify x into x
3.403 * [taylor]: Taking taylor expansion of y in y
3.403 * [backup-simplify]: Simplify 0 into 0
3.403 * [backup-simplify]: Simplify 1 into 1
3.403 * [taylor]: Taking taylor expansion of z in y
3.403 * [backup-simplify]: Simplify z into z
3.403 * [backup-simplify]: Simplify (* x 0) into 0
3.404 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
3.404 * [backup-simplify]: Simplify (/ x z) into (/ x z)
3.404 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
3.404 * [taylor]: Taking taylor expansion of (* x y) in x
3.404 * [taylor]: Taking taylor expansion of x in x
3.404 * [backup-simplify]: Simplify 0 into 0
3.404 * [backup-simplify]: Simplify 1 into 1
3.404 * [taylor]: Taking taylor expansion of y in x
3.404 * [backup-simplify]: Simplify y into y
3.404 * [taylor]: Taking taylor expansion of z in x
3.404 * [backup-simplify]: Simplify z into z
3.404 * [backup-simplify]: Simplify (* 0 y) into 0
3.405 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
3.405 * [backup-simplify]: Simplify (/ y z) into (/ y z)
3.405 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
3.405 * [taylor]: Taking taylor expansion of (* x y) in x
3.405 * [taylor]: Taking taylor expansion of x in x
3.405 * [backup-simplify]: Simplify 0 into 0
3.405 * [backup-simplify]: Simplify 1 into 1
3.405 * [taylor]: Taking taylor expansion of y in x
3.405 * [backup-simplify]: Simplify y into y
3.405 * [taylor]: Taking taylor expansion of z in x
3.405 * [backup-simplify]: Simplify z into z
3.405 * [backup-simplify]: Simplify (* 0 y) into 0
3.405 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
3.405 * [backup-simplify]: Simplify (/ y z) into (/ y z)
3.406 * [taylor]: Taking taylor expansion of (/ y z) in y
3.406 * [taylor]: Taking taylor expansion of y in y
3.406 * [backup-simplify]: Simplify 0 into 0
3.406 * [backup-simplify]: Simplify 1 into 1
3.406 * [taylor]: Taking taylor expansion of z in y
3.406 * [backup-simplify]: Simplify z into z
3.406 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.406 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.406 * [taylor]: Taking taylor expansion of z in z
3.406 * [backup-simplify]: Simplify 0 into 0
3.406 * [backup-simplify]: Simplify 1 into 1
3.406 * [backup-simplify]: Simplify (/ 1 1) into 1
3.406 * [backup-simplify]: Simplify 1 into 1
3.407 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
3.407 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0
3.407 * [taylor]: Taking taylor expansion of 0 in y
3.407 * [backup-simplify]: Simplify 0 into 0
3.407 * [taylor]: Taking taylor expansion of 0 in z
3.407 * [backup-simplify]: Simplify 0 into 0
3.407 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
3.407 * [taylor]: Taking taylor expansion of 0 in z
3.407 * [backup-simplify]: Simplify 0 into 0
3.408 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.408 * [backup-simplify]: Simplify 0 into 0
3.409 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
3.409 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
3.409 * [taylor]: Taking taylor expansion of 0 in y
3.409 * [backup-simplify]: Simplify 0 into 0
3.410 * [taylor]: Taking taylor expansion of 0 in z
3.410 * [backup-simplify]: Simplify 0 into 0
3.410 * [taylor]: Taking taylor expansion of 0 in z
3.410 * [backup-simplify]: Simplify 0 into 0
3.410 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
3.410 * [taylor]: Taking taylor expansion of 0 in z
3.410 * [backup-simplify]: Simplify 0 into 0
3.410 * [backup-simplify]: Simplify 0 into 0
3.410 * [backup-simplify]: Simplify 0 into 0
3.411 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.411 * [backup-simplify]: Simplify 0 into 0
3.412 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
3.412 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
3.412 * [taylor]: Taking taylor expansion of 0 in y
3.412 * [backup-simplify]: Simplify 0 into 0
3.412 * [taylor]: Taking taylor expansion of 0 in z
3.412 * [backup-simplify]: Simplify 0 into 0
3.413 * [taylor]: Taking taylor expansion of 0 in z
3.413 * [backup-simplify]: Simplify 0 into 0
3.413 * [taylor]: Taking taylor expansion of 0 in z
3.413 * [backup-simplify]: Simplify 0 into 0
3.413 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
3.413 * [taylor]: Taking taylor expansion of 0 in z
3.413 * [backup-simplify]: Simplify 0 into 0
3.413 * [backup-simplify]: Simplify 0 into 0
3.413 * [backup-simplify]: Simplify 0 into 0
3.413 * [backup-simplify]: Simplify (* 1 (* (/ 1 z) (* y x))) into (/ (* x y) z)
3.413 * [backup-simplify]: Simplify (/ (* (/ 1 x) (/ 1 y)) (/ 1 z)) into (/ z (* x y))
3.413 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (x y z) around 0
3.413 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
3.413 * [taylor]: Taking taylor expansion of z in z
3.413 * [backup-simplify]: Simplify 0 into 0
3.413 * [backup-simplify]: Simplify 1 into 1
3.413 * [taylor]: Taking taylor expansion of (* x y) in z
3.413 * [taylor]: Taking taylor expansion of x in z
3.413 * [backup-simplify]: Simplify x into x
3.414 * [taylor]: Taking taylor expansion of y in z
3.414 * [backup-simplify]: Simplify y into y
3.414 * [backup-simplify]: Simplify (* x y) into (* x y)
3.414 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
3.414 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
3.414 * [taylor]: Taking taylor expansion of z in y
3.414 * [backup-simplify]: Simplify z into z
3.414 * [taylor]: Taking taylor expansion of (* x y) in y
3.414 * [taylor]: Taking taylor expansion of x in y
3.414 * [backup-simplify]: Simplify x into x
3.414 * [taylor]: Taking taylor expansion of y in y
3.414 * [backup-simplify]: Simplify 0 into 0
3.414 * [backup-simplify]: Simplify 1 into 1
3.414 * [backup-simplify]: Simplify (* x 0) into 0
3.414 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
3.414 * [backup-simplify]: Simplify (/ z x) into (/ z x)
3.414 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
3.414 * [taylor]: Taking taylor expansion of z in x
3.414 * [backup-simplify]: Simplify z into z
3.414 * [taylor]: Taking taylor expansion of (* x y) in x
3.415 * [taylor]: Taking taylor expansion of x in x
3.415 * [backup-simplify]: Simplify 0 into 0
3.415 * [backup-simplify]: Simplify 1 into 1
3.415 * [taylor]: Taking taylor expansion of y in x
3.415 * [backup-simplify]: Simplify y into y
3.415 * [backup-simplify]: Simplify (* 0 y) into 0
3.415 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
3.415 * [backup-simplify]: Simplify (/ z y) into (/ z y)
3.415 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
3.415 * [taylor]: Taking taylor expansion of z in x
3.415 * [backup-simplify]: Simplify z into z
3.415 * [taylor]: Taking taylor expansion of (* x y) in x
3.415 * [taylor]: Taking taylor expansion of x in x
3.415 * [backup-simplify]: Simplify 0 into 0
3.415 * [backup-simplify]: Simplify 1 into 1
3.415 * [taylor]: Taking taylor expansion of y in x
3.415 * [backup-simplify]: Simplify y into y
3.415 * [backup-simplify]: Simplify (* 0 y) into 0
3.416 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
3.416 * [backup-simplify]: Simplify (/ z y) into (/ z y)
3.416 * [taylor]: Taking taylor expansion of (/ z y) in y
3.416 * [taylor]: Taking taylor expansion of z in y
3.416 * [backup-simplify]: Simplify z into z
3.416 * [taylor]: Taking taylor expansion of y in y
3.416 * [backup-simplify]: Simplify 0 into 0
3.416 * [backup-simplify]: Simplify 1 into 1
3.416 * [backup-simplify]: Simplify (/ z 1) into z
3.416 * [taylor]: Taking taylor expansion of z in z
3.416 * [backup-simplify]: Simplify 0 into 0
3.416 * [backup-simplify]: Simplify 1 into 1
3.416 * [backup-simplify]: Simplify 1 into 1
3.417 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
3.417 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0
3.417 * [taylor]: Taking taylor expansion of 0 in y
3.417 * [backup-simplify]: Simplify 0 into 0
3.418 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
3.418 * [taylor]: Taking taylor expansion of 0 in z
3.418 * [backup-simplify]: Simplify 0 into 0
3.418 * [backup-simplify]: Simplify 0 into 0
3.418 * [backup-simplify]: Simplify 0 into 0
3.419 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
3.419 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.419 * [taylor]: Taking taylor expansion of 0 in y
3.419 * [backup-simplify]: Simplify 0 into 0
3.419 * [taylor]: Taking taylor expansion of 0 in z
3.419 * [backup-simplify]: Simplify 0 into 0
3.419 * [backup-simplify]: Simplify 0 into 0
3.421 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.421 * [taylor]: Taking taylor expansion of 0 in z
3.421 * [backup-simplify]: Simplify 0 into 0
3.421 * [backup-simplify]: Simplify 0 into 0
3.421 * [backup-simplify]: Simplify 0 into 0
3.421 * [backup-simplify]: Simplify 0 into 0
3.421 * [backup-simplify]: Simplify (* 1 (* (/ 1 z) (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (/ (* x y) z)
3.421 * [backup-simplify]: Simplify (/ (* (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- z))) into (* -1 (/ z (* x y)))
3.421 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (x y z) around 0
3.421 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z
3.421 * [taylor]: Taking taylor expansion of -1 in z
3.421 * [backup-simplify]: Simplify -1 into -1
3.421 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
3.421 * [taylor]: Taking taylor expansion of z in z
3.421 * [backup-simplify]: Simplify 0 into 0
3.421 * [backup-simplify]: Simplify 1 into 1
3.421 * [taylor]: Taking taylor expansion of (* x y) in z
3.422 * [taylor]: Taking taylor expansion of x in z
3.422 * [backup-simplify]: Simplify x into x
3.422 * [taylor]: Taking taylor expansion of y in z
3.422 * [backup-simplify]: Simplify y into y
3.422 * [backup-simplify]: Simplify (* x y) into (* x y)
3.422 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
3.422 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y
3.422 * [taylor]: Taking taylor expansion of -1 in y
3.422 * [backup-simplify]: Simplify -1 into -1
3.422 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
3.422 * [taylor]: Taking taylor expansion of z in y
3.422 * [backup-simplify]: Simplify z into z
3.422 * [taylor]: Taking taylor expansion of (* x y) in y
3.422 * [taylor]: Taking taylor expansion of x in y
3.422 * [backup-simplify]: Simplify x into x
3.422 * [taylor]: Taking taylor expansion of y in y
3.422 * [backup-simplify]: Simplify 0 into 0
3.422 * [backup-simplify]: Simplify 1 into 1
3.422 * [backup-simplify]: Simplify (* x 0) into 0
3.423 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
3.423 * [backup-simplify]: Simplify (/ z x) into (/ z x)
3.423 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
3.423 * [taylor]: Taking taylor expansion of -1 in x
3.423 * [backup-simplify]: Simplify -1 into -1
3.423 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
3.423 * [taylor]: Taking taylor expansion of z in x
3.423 * [backup-simplify]: Simplify z into z
3.423 * [taylor]: Taking taylor expansion of (* x y) in x
3.423 * [taylor]: Taking taylor expansion of x in x
3.423 * [backup-simplify]: Simplify 0 into 0
3.423 * [backup-simplify]: Simplify 1 into 1
3.423 * [taylor]: Taking taylor expansion of y in x
3.423 * [backup-simplify]: Simplify y into y
3.423 * [backup-simplify]: Simplify (* 0 y) into 0
3.423 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
3.424 * [backup-simplify]: Simplify (/ z y) into (/ z y)
3.424 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
3.424 * [taylor]: Taking taylor expansion of -1 in x
3.424 * [backup-simplify]: Simplify -1 into -1
3.424 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
3.424 * [taylor]: Taking taylor expansion of z in x
3.424 * [backup-simplify]: Simplify z into z
3.424 * [taylor]: Taking taylor expansion of (* x y) in x
3.424 * [taylor]: Taking taylor expansion of x in x
3.424 * [backup-simplify]: Simplify 0 into 0
3.424 * [backup-simplify]: Simplify 1 into 1
3.424 * [taylor]: Taking taylor expansion of y in x
3.424 * [backup-simplify]: Simplify y into y
3.424 * [backup-simplify]: Simplify (* 0 y) into 0
3.424 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
3.424 * [backup-simplify]: Simplify (/ z y) into (/ z y)
3.425 * [backup-simplify]: Simplify (* -1 (/ z y)) into (* -1 (/ z y))
3.425 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in y
3.425 * [taylor]: Taking taylor expansion of -1 in y
3.425 * [backup-simplify]: Simplify -1 into -1
3.425 * [taylor]: Taking taylor expansion of (/ z y) in y
3.425 * [taylor]: Taking taylor expansion of z in y
3.425 * [backup-simplify]: Simplify z into z
3.425 * [taylor]: Taking taylor expansion of y in y
3.425 * [backup-simplify]: Simplify 0 into 0
3.425 * [backup-simplify]: Simplify 1 into 1
3.425 * [backup-simplify]: Simplify (/ z 1) into z
3.425 * [backup-simplify]: Simplify (* -1 z) into (* -1 z)
3.425 * [taylor]: Taking taylor expansion of (* -1 z) in z
3.425 * [taylor]: Taking taylor expansion of -1 in z
3.425 * [backup-simplify]: Simplify -1 into -1
3.425 * [taylor]: Taking taylor expansion of z in z
3.425 * [backup-simplify]: Simplify 0 into 0
3.425 * [backup-simplify]: Simplify 1 into 1
3.426 * [backup-simplify]: Simplify (+ (* -1 1) (* 0 0)) into -1
3.426 * [backup-simplify]: Simplify -1 into -1
3.427 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
3.427 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0
3.427 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ z y))) into 0
3.427 * [taylor]: Taking taylor expansion of 0 in y
3.428 * [backup-simplify]: Simplify 0 into 0
3.428 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
3.429 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 z)) into 0
3.429 * [taylor]: Taking taylor expansion of 0 in z
3.429 * [backup-simplify]: Simplify 0 into 0
3.429 * [backup-simplify]: Simplify 0 into 0
3.430 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0
3.430 * [backup-simplify]: Simplify 0 into 0
3.432 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
3.432 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.433 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ z y)))) into 0
3.433 * [taylor]: Taking taylor expansion of 0 in y
3.433 * [backup-simplify]: Simplify 0 into 0
3.433 * [taylor]: Taking taylor expansion of 0 in z
3.433 * [backup-simplify]: Simplify 0 into 0
3.433 * [backup-simplify]: Simplify 0 into 0
3.435 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.436 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 z))) into 0
3.436 * [taylor]: Taking taylor expansion of 0 in z
3.436 * [backup-simplify]: Simplify 0 into 0
3.436 * [backup-simplify]: Simplify 0 into 0
3.436 * [backup-simplify]: Simplify 0 into 0
3.437 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
3.437 * [backup-simplify]: Simplify 0 into 0
3.437 * [backup-simplify]: Simplify (* -1 (* (/ 1 (- z)) (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (/ (* x y) z)
3.437 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
3.438 * [backup-simplify]: Simplify (+ (/ x z) y) into (+ (/ x z) y)
3.438 * [approximate]: Taking taylor expansion of (+ (/ x z) y) in (x z y) around 0
3.438 * [taylor]: Taking taylor expansion of (+ (/ x z) y) in y
3.438 * [taylor]: Taking taylor expansion of (/ x z) in y
3.438 * [taylor]: Taking taylor expansion of x in y
3.438 * [backup-simplify]: Simplify x into x
3.438 * [taylor]: Taking taylor expansion of z in y
3.438 * [backup-simplify]: Simplify z into z
3.438 * [backup-simplify]: Simplify (/ x z) into (/ x z)
3.438 * [taylor]: Taking taylor expansion of y in y
3.438 * [backup-simplify]: Simplify 0 into 0
3.438 * [backup-simplify]: Simplify 1 into 1
3.438 * [taylor]: Taking taylor expansion of (+ (/ x z) y) in z
3.438 * [taylor]: Taking taylor expansion of (/ x z) in z
3.438 * [taylor]: Taking taylor expansion of x in z
3.438 * [backup-simplify]: Simplify x into x
3.438 * [taylor]: Taking taylor expansion of z in z
3.438 * [backup-simplify]: Simplify 0 into 0
3.438 * [backup-simplify]: Simplify 1 into 1
3.438 * [backup-simplify]: Simplify (/ x 1) into x
3.438 * [taylor]: Taking taylor expansion of y in z
3.438 * [backup-simplify]: Simplify y into y
3.438 * [taylor]: Taking taylor expansion of (+ (/ x z) y) in x
3.438 * [taylor]: Taking taylor expansion of (/ x z) in x
3.438 * [taylor]: Taking taylor expansion of x in x
3.438 * [backup-simplify]: Simplify 0 into 0
3.438 * [backup-simplify]: Simplify 1 into 1
3.439 * [taylor]: Taking taylor expansion of z in x
3.439 * [backup-simplify]: Simplify z into z
3.439 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.439 * [taylor]: Taking taylor expansion of y in x
3.439 * [backup-simplify]: Simplify y into y
3.439 * [taylor]: Taking taylor expansion of (+ (/ x z) y) in x
3.439 * [taylor]: Taking taylor expansion of (/ x z) in x
3.439 * [taylor]: Taking taylor expansion of x in x
3.439 * [backup-simplify]: Simplify 0 into 0
3.439 * [backup-simplify]: Simplify 1 into 1
3.439 * [taylor]: Taking taylor expansion of z in x
3.439 * [backup-simplify]: Simplify z into z
3.439 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.439 * [taylor]: Taking taylor expansion of y in x
3.439 * [backup-simplify]: Simplify y into y
3.439 * [backup-simplify]: Simplify (+ 0 y) into y
3.439 * [taylor]: Taking taylor expansion of y in z
3.439 * [backup-simplify]: Simplify y into y
3.439 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
3.439 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.439 * [taylor]: Taking taylor expansion of z in z
3.439 * [backup-simplify]: Simplify 0 into 0
3.439 * [backup-simplify]: Simplify 1 into 1
3.440 * [backup-simplify]: Simplify (/ 1 1) into 1
3.440 * [taylor]: Taking taylor expansion of 1 in y
3.440 * [backup-simplify]: Simplify 1 into 1
3.440 * [backup-simplify]: Simplify 1 into 1
3.440 * [taylor]: Taking taylor expansion of y in y
3.440 * [backup-simplify]: Simplify 0 into 0
3.440 * [backup-simplify]: Simplify 1 into 1
3.440 * [backup-simplify]: Simplify 0 into 0
3.440 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
3.441 * [backup-simplify]: Simplify (+ 0 0) into 0
3.441 * [taylor]: Taking taylor expansion of 0 in z
3.441 * [backup-simplify]: Simplify 0 into 0
3.441 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.441 * [taylor]: Taking taylor expansion of 0 in y
3.441 * [backup-simplify]: Simplify 0 into 0
3.441 * [backup-simplify]: Simplify 0 into 0
3.441 * [taylor]: Taking taylor expansion of 0 in y
3.441 * [backup-simplify]: Simplify 0 into 0
3.441 * [backup-simplify]: Simplify 0 into 0
3.441 * [backup-simplify]: Simplify 0 into 0
3.441 * [backup-simplify]: Simplify 1 into 1
3.442 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
3.442 * [backup-simplify]: Simplify (+ 0 0) into 0
3.442 * [taylor]: Taking taylor expansion of 0 in z
3.442 * [backup-simplify]: Simplify 0 into 0
3.442 * [taylor]: Taking taylor expansion of 0 in y
3.442 * [backup-simplify]: Simplify 0 into 0
3.442 * [backup-simplify]: Simplify 0 into 0
3.442 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.442 * [taylor]: Taking taylor expansion of 0 in y
3.442 * [backup-simplify]: Simplify 0 into 0
3.443 * [backup-simplify]: Simplify 0 into 0
3.443 * [taylor]: Taking taylor expansion of 0 in y
3.443 * [backup-simplify]: Simplify 0 into 0
3.443 * [backup-simplify]: Simplify 0 into 0
3.443 * [backup-simplify]: Simplify 0 into 0
3.443 * [backup-simplify]: Simplify 0 into 0
3.443 * [backup-simplify]: Simplify 0 into 0
3.443 * [backup-simplify]: Simplify (+ (* 1 (* y (* 1 1))) (* 1 (* 1 (* (/ 1 z) x)))) into (+ (/ x z) y)
3.443 * [backup-simplify]: Simplify (+ (/ (/ 1 x) (/ 1 z)) (/ 1 y)) into (+ (/ 1 y) (/ z x))
3.443 * [approximate]: Taking taylor expansion of (+ (/ 1 y) (/ z x)) in (x z y) around 0
3.443 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ z x)) in y
3.443 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.443 * [taylor]: Taking taylor expansion of y in y
3.443 * [backup-simplify]: Simplify 0 into 0
3.443 * [backup-simplify]: Simplify 1 into 1
3.444 * [backup-simplify]: Simplify (/ 1 1) into 1
3.444 * [taylor]: Taking taylor expansion of (/ z x) in y
3.444 * [taylor]: Taking taylor expansion of z in y
3.444 * [backup-simplify]: Simplify z into z
3.444 * [taylor]: Taking taylor expansion of x in y
3.444 * [backup-simplify]: Simplify x into x
3.444 * [backup-simplify]: Simplify (/ z x) into (/ z x)
3.444 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ z x)) in z
3.444 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.444 * [taylor]: Taking taylor expansion of y in z
3.444 * [backup-simplify]: Simplify y into y
3.444 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.444 * [taylor]: Taking taylor expansion of (/ z x) in z
3.444 * [taylor]: Taking taylor expansion of z in z
3.444 * [backup-simplify]: Simplify 0 into 0
3.444 * [backup-simplify]: Simplify 1 into 1
3.444 * [taylor]: Taking taylor expansion of x in z
3.444 * [backup-simplify]: Simplify x into x
3.444 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.444 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ z x)) in x
3.444 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.444 * [taylor]: Taking taylor expansion of y in x
3.444 * [backup-simplify]: Simplify y into y
3.444 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.444 * [taylor]: Taking taylor expansion of (/ z x) in x
3.444 * [taylor]: Taking taylor expansion of z in x
3.444 * [backup-simplify]: Simplify z into z
3.444 * [taylor]: Taking taylor expansion of x in x
3.444 * [backup-simplify]: Simplify 0 into 0
3.444 * [backup-simplify]: Simplify 1 into 1
3.444 * [backup-simplify]: Simplify (/ z 1) into z
3.444 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ z x)) in x
3.444 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.444 * [taylor]: Taking taylor expansion of y in x
3.444 * [backup-simplify]: Simplify y into y
3.444 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.444 * [taylor]: Taking taylor expansion of (/ z x) in x
3.444 * [taylor]: Taking taylor expansion of z in x
3.444 * [backup-simplify]: Simplify z into z
3.444 * [taylor]: Taking taylor expansion of x in x
3.444 * [backup-simplify]: Simplify 0 into 0
3.444 * [backup-simplify]: Simplify 1 into 1
3.444 * [backup-simplify]: Simplify (/ z 1) into z
3.445 * [backup-simplify]: Simplify (+ 0 z) into z
3.445 * [taylor]: Taking taylor expansion of z in z
3.445 * [backup-simplify]: Simplify 0 into 0
3.445 * [backup-simplify]: Simplify 1 into 1
3.445 * [taylor]: Taking taylor expansion of 0 in y
3.445 * [backup-simplify]: Simplify 0 into 0
3.445 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
3.445 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
3.445 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.445 * [taylor]: Taking taylor expansion of y in z
3.445 * [backup-simplify]: Simplify y into y
3.445 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.445 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.445 * [taylor]: Taking taylor expansion of y in y
3.445 * [backup-simplify]: Simplify 0 into 0
3.445 * [backup-simplify]: Simplify 1 into 1
3.446 * [backup-simplify]: Simplify (/ 1 1) into 1
3.446 * [backup-simplify]: Simplify 1 into 1
3.446 * [taylor]: Taking taylor expansion of 1 in y
3.446 * [backup-simplify]: Simplify 1 into 1
3.446 * [backup-simplify]: Simplify 0 into 0
3.446 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
3.455 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.455 * [backup-simplify]: Simplify (+ 0 0) into 0
3.455 * [taylor]: Taking taylor expansion of 0 in z
3.455 * [backup-simplify]: Simplify 0 into 0
3.455 * [taylor]: Taking taylor expansion of 0 in y
3.455 * [backup-simplify]: Simplify 0 into 0
3.455 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
3.455 * [taylor]: Taking taylor expansion of 0 in y
3.455 * [backup-simplify]: Simplify 0 into 0
3.455 * [taylor]: Taking taylor expansion of 0 in y
3.455 * [backup-simplify]: Simplify 0 into 0
3.456 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.456 * [backup-simplify]: Simplify 0 into 0
3.456 * [backup-simplify]: Simplify 1 into 1
3.456 * [backup-simplify]: Simplify 0 into 0
3.456 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.457 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.457 * [backup-simplify]: Simplify (+ 0 0) into 0
3.457 * [taylor]: Taking taylor expansion of 0 in z
3.457 * [backup-simplify]: Simplify 0 into 0
3.457 * [taylor]: Taking taylor expansion of 0 in y
3.457 * [backup-simplify]: Simplify 0 into 0
3.457 * [taylor]: Taking taylor expansion of 0 in y
3.457 * [backup-simplify]: Simplify 0 into 0
3.458 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.458 * [taylor]: Taking taylor expansion of 0 in y
3.458 * [backup-simplify]: Simplify 0 into 0
3.458 * [taylor]: Taking taylor expansion of 0 in y
3.458 * [backup-simplify]: Simplify 0 into 0
3.458 * [backup-simplify]: Simplify 0 into 0
3.458 * [backup-simplify]: Simplify 0 into 0
3.458 * [backup-simplify]: Simplify 0 into 0
3.458 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.458 * [backup-simplify]: Simplify 0 into 0
3.458 * [backup-simplify]: Simplify 0 into 0
3.459 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 z) (/ 1 (/ 1 x))))) (* 1 (* (/ 1 (/ 1 y)) (* 1 1)))) into (+ (/ x z) y)
3.459 * [backup-simplify]: Simplify (+ (/ (/ 1 (- x)) (/ 1 (- z))) (/ 1 (- y))) into (- (/ z x) (/ 1 y))
3.459 * [approximate]: Taking taylor expansion of (- (/ z x) (/ 1 y)) in (x z y) around 0
3.459 * [taylor]: Taking taylor expansion of (- (/ z x) (/ 1 y)) in y
3.459 * [taylor]: Taking taylor expansion of (/ z x) in y
3.459 * [taylor]: Taking taylor expansion of z in y
3.459 * [backup-simplify]: Simplify z into z
3.459 * [taylor]: Taking taylor expansion of x in y
3.459 * [backup-simplify]: Simplify x into x
3.459 * [backup-simplify]: Simplify (/ z x) into (/ z x)
3.459 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.459 * [taylor]: Taking taylor expansion of y in y
3.459 * [backup-simplify]: Simplify 0 into 0
3.459 * [backup-simplify]: Simplify 1 into 1
3.459 * [backup-simplify]: Simplify (/ 1 1) into 1
3.459 * [taylor]: Taking taylor expansion of (- (/ z x) (/ 1 y)) in z
3.459 * [taylor]: Taking taylor expansion of (/ z x) in z
3.459 * [taylor]: Taking taylor expansion of z in z
3.459 * [backup-simplify]: Simplify 0 into 0
3.459 * [backup-simplify]: Simplify 1 into 1
3.459 * [taylor]: Taking taylor expansion of x in z
3.459 * [backup-simplify]: Simplify x into x
3.459 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.459 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.460 * [taylor]: Taking taylor expansion of y in z
3.460 * [backup-simplify]: Simplify y into y
3.460 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.460 * [taylor]: Taking taylor expansion of (- (/ z x) (/ 1 y)) in x
3.460 * [taylor]: Taking taylor expansion of (/ z x) in x
3.460 * [taylor]: Taking taylor expansion of z in x
3.460 * [backup-simplify]: Simplify z into z
3.460 * [taylor]: Taking taylor expansion of x in x
3.460 * [backup-simplify]: Simplify 0 into 0
3.460 * [backup-simplify]: Simplify 1 into 1
3.460 * [backup-simplify]: Simplify (/ z 1) into z
3.460 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.460 * [taylor]: Taking taylor expansion of y in x
3.460 * [backup-simplify]: Simplify y into y
3.460 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.460 * [taylor]: Taking taylor expansion of (- (/ z x) (/ 1 y)) in x
3.460 * [taylor]: Taking taylor expansion of (/ z x) in x
3.460 * [taylor]: Taking taylor expansion of z in x
3.460 * [backup-simplify]: Simplify z into z
3.460 * [taylor]: Taking taylor expansion of x in x
3.460 * [backup-simplify]: Simplify 0 into 0
3.460 * [backup-simplify]: Simplify 1 into 1
3.460 * [backup-simplify]: Simplify (/ z 1) into z
3.460 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.460 * [taylor]: Taking taylor expansion of y in x
3.460 * [backup-simplify]: Simplify y into y
3.460 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.460 * [backup-simplify]: Simplify (+ z 0) into z
3.460 * [taylor]: Taking taylor expansion of z in z
3.460 * [backup-simplify]: Simplify 0 into 0
3.460 * [backup-simplify]: Simplify 1 into 1
3.460 * [taylor]: Taking taylor expansion of 0 in y
3.460 * [backup-simplify]: Simplify 0 into 0
3.461 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
3.461 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
3.461 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y))
3.461 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in z
3.461 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.461 * [taylor]: Taking taylor expansion of y in z
3.461 * [backup-simplify]: Simplify y into y
3.461 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.461 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
3.461 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
3.461 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.461 * [taylor]: Taking taylor expansion of y in y
3.461 * [backup-simplify]: Simplify 0 into 0
3.461 * [backup-simplify]: Simplify 1 into 1
3.461 * [backup-simplify]: Simplify (/ 1 1) into 1
3.462 * [backup-simplify]: Simplify (- 1) into -1
3.462 * [backup-simplify]: Simplify -1 into -1
3.462 * [taylor]: Taking taylor expansion of 1 in y
3.462 * [backup-simplify]: Simplify 1 into 1
3.462 * [backup-simplify]: Simplify 0 into 0
3.462 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.463 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
3.463 * [backup-simplify]: Simplify (- 0) into 0
3.463 * [backup-simplify]: Simplify (+ 0 0) into 0
3.463 * [taylor]: Taking taylor expansion of 0 in z
3.463 * [backup-simplify]: Simplify 0 into 0
3.463 * [taylor]: Taking taylor expansion of 0 in y
3.463 * [backup-simplify]: Simplify 0 into 0
3.464 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
3.464 * [backup-simplify]: Simplify (- 0) into 0
3.464 * [taylor]: Taking taylor expansion of 0 in y
3.464 * [backup-simplify]: Simplify 0 into 0
3.464 * [taylor]: Taking taylor expansion of 0 in y
3.464 * [backup-simplify]: Simplify 0 into 0
3.465 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.465 * [backup-simplify]: Simplify (- 0) into 0
3.465 * [backup-simplify]: Simplify 0 into 0
3.465 * [backup-simplify]: Simplify 1 into 1
3.465 * [backup-simplify]: Simplify 0 into 0
3.467 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.467 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.468 * [backup-simplify]: Simplify (- 0) into 0
3.468 * [backup-simplify]: Simplify (+ 0 0) into 0
3.468 * [taylor]: Taking taylor expansion of 0 in z
3.468 * [backup-simplify]: Simplify 0 into 0
3.468 * [taylor]: Taking taylor expansion of 0 in y
3.468 * [backup-simplify]: Simplify 0 into 0
3.468 * [taylor]: Taking taylor expansion of 0 in y
3.468 * [backup-simplify]: Simplify 0 into 0
3.468 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.469 * [backup-simplify]: Simplify (- 0) into 0
3.469 * [taylor]: Taking taylor expansion of 0 in y
3.469 * [backup-simplify]: Simplify 0 into 0
3.469 * [taylor]: Taking taylor expansion of 0 in y
3.469 * [backup-simplify]: Simplify 0 into 0
3.469 * [backup-simplify]: Simplify 0 into 0
3.469 * [backup-simplify]: Simplify 0 into 0
3.469 * [backup-simplify]: Simplify 0 into 0
3.470 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.470 * [backup-simplify]: Simplify (- 0) into 0
3.470 * [backup-simplify]: Simplify 0 into 0
3.470 * [backup-simplify]: Simplify 0 into 0
3.471 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (- z)) (/ 1 (/ 1 (- x)))))) (* -1 (* (/ 1 (/ 1 (- y))) (* 1 1)))) into (+ (/ x z) y)
3.471 * * * [progress]: simplifying candidates
3.472 * [simplify]: Simplifying:
  (- (+ (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)
  (* (exp (/ x z)) (exp y))
  (log (+ (/ x z) y))
  (exp (+ (/ 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))
  (+ (pow (/ x z) 3) (pow y 3))
  (+ (* (/ x z) (/ x z)) (- (* y y) (* (/ x z) y)))
  (- (* (/ x z) (/ x z)) (* y y))
  (- (/ x z) y)
  (+ (/ x z) y)
  (/ (* x y) z)
  (/ (* x y) z)
  (/ (* x y) z)
  (+ (/ x z) y)
  (+ (/ x z) y)
  (+ (/ x z) y)
3.472 * [simplify]: Sending expressions to egg_math:
 (- (+ (log h2) (log h1)) (log h0))
 (- (log (* h2 h1)) (log h0))
 (log (/ (* h2 h1) h0))
 (exp (/ (* h2 h1) h0))
 (/ (* (* (* h2 h2) h2) (* (* h1 h1) h1)) (* (* h0 h0) h0))
 (/ (* (* (* h2 h1) (* h2 h1)) (* h2 h1)) (* (* h0 h0) h0))
 (* (cbrt (/ (* h2 h1) h0)) (cbrt (/ (* h2 h1) h0)))
 (cbrt (/ (* h2 h1) h0))
 (* (* (/ (* h2 h1) h0) (/ (* h2 h1) h0)) (/ (* h2 h1) h0))
 (sqrt (/ (* h2 h1) h0))
 (sqrt (/ (* h2 h1) h0))
 (- (* h2 h1))
 (- h0)
 (/ h2 (* (cbrt h0) (cbrt h0)))
 (/ h1 (cbrt h0))
 (/ h2 (sqrt h0))
 (/ h1 (sqrt h0))
 (/ h2 1)
 (/ h1 h0)
 (/ 1 h0)
 (/ h0 (* h2 h1))
 (/ (* h2 h1) (* (cbrt h0) (cbrt h0)))
 (/ (* h2 h1) (sqrt h0))
 (/ (* h2 h1) 1)
 (/ h0 h1)
 (* (exp (/ h2 h0)) (exp h1))
 (log (+ (/ h2 h0) h1))
 (exp (+ (/ h2 h0) h1))
 (* (cbrt (+ (/ h2 h0) h1)) (cbrt (+ (/ h2 h0) h1)))
 (cbrt (+ (/ h2 h0) h1))
 (* (* (+ (/ h2 h0) h1) (+ (/ h2 h0) h1)) (+ (/ h2 h0) h1))
 (sqrt (+ (/ h2 h0) h1))
 (sqrt (+ (/ h2 h0) h1))
 (+ (pow (/ h2 h0) 3) (pow h1 3))
 (+ (* (/ h2 h0) (/ h2 h0)) (- (* h1 h1) (* (/ h2 h0) h1)))
 (- (* (/ h2 h0) (/ h2 h0)) (* h1 h1))
 (- (/ h2 h0) h1)
 (+ (/ h2 h0) h1)
 (/ (* h2 h1) h0)
 (/ (* h2 h1) h0)
 (/ (* h2 h1) h0)
 (+ (/ h2 h0) h1)
 (+ (/ h2 h0) h1)
 (+ (/ h2 h0) h1)
4.723 * * * [progress]: adding candidates to table
4.821 * * [progress]: iteration 3 / 4
4.821 * * * [progress]: picking best candidate
4.831 * * * * [pick]: Picked  #<alt (λ (x y z) (- (+ (/ x z) y) (* (/ x z) y)))>
4.832 * * * [progress]: localizing error
4.843 * * * [progress]: generating rewritten candidates
4.843 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
4.872 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
4.898 * * * [progress]: generating series expansions
4.899 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
4.899 * [backup-simplify]: Simplify (* (/ x z) y) into (/ (* x y) z)
4.899 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (x z y) around 0
4.899 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
4.899 * [taylor]: Taking taylor expansion of (* x y) in y
4.899 * [taylor]: Taking taylor expansion of x in y
4.899 * [backup-simplify]: Simplify x into x
4.899 * [taylor]: Taking taylor expansion of y in y
4.899 * [backup-simplify]: Simplify 0 into 0
4.899 * [backup-simplify]: Simplify 1 into 1
4.899 * [taylor]: Taking taylor expansion of z in y
4.899 * [backup-simplify]: Simplify z into z
4.899 * [backup-simplify]: Simplify (* x 0) into 0
4.900 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
4.900 * [backup-simplify]: Simplify (/ x z) into (/ x z)
4.900 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
4.900 * [taylor]: Taking taylor expansion of (* x y) in z
4.900 * [taylor]: Taking taylor expansion of x in z
4.900 * [backup-simplify]: Simplify x into x
4.900 * [taylor]: Taking taylor expansion of y in z
4.900 * [backup-simplify]: Simplify y into y
4.900 * [taylor]: Taking taylor expansion of z in z
4.900 * [backup-simplify]: Simplify 0 into 0
4.900 * [backup-simplify]: Simplify 1 into 1
4.900 * [backup-simplify]: Simplify (* x y) into (* x y)
4.900 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y)
4.900 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
4.900 * [taylor]: Taking taylor expansion of (* x y) in x
4.900 * [taylor]: Taking taylor expansion of x in x
4.900 * [backup-simplify]: Simplify 0 into 0
4.900 * [backup-simplify]: Simplify 1 into 1
4.900 * [taylor]: Taking taylor expansion of y in x
4.901 * [backup-simplify]: Simplify y into y
4.901 * [taylor]: Taking taylor expansion of z in x
4.901 * [backup-simplify]: Simplify z into z
4.901 * [backup-simplify]: Simplify (* 0 y) into 0
4.901 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.901 * [backup-simplify]: Simplify (/ y z) into (/ y z)
4.901 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
4.901 * [taylor]: Taking taylor expansion of (* x y) in x
4.901 * [taylor]: Taking taylor expansion of x in x
4.901 * [backup-simplify]: Simplify 0 into 0
4.901 * [backup-simplify]: Simplify 1 into 1
4.901 * [taylor]: Taking taylor expansion of y in x
4.901 * [backup-simplify]: Simplify y into y
4.901 * [taylor]: Taking taylor expansion of z in x
4.901 * [backup-simplify]: Simplify z into z
4.901 * [backup-simplify]: Simplify (* 0 y) into 0
4.901 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.901 * [backup-simplify]: Simplify (/ y z) into (/ y z)
4.902 * [taylor]: Taking taylor expansion of (/ y z) in z
4.902 * [taylor]: Taking taylor expansion of y in z
4.902 * [backup-simplify]: Simplify y into y
4.902 * [taylor]: Taking taylor expansion of z in z
4.902 * [backup-simplify]: Simplify 0 into 0
4.902 * [backup-simplify]: Simplify 1 into 1
4.902 * [backup-simplify]: Simplify (/ y 1) into y
4.902 * [taylor]: Taking taylor expansion of y in y
4.902 * [backup-simplify]: Simplify 0 into 0
4.902 * [backup-simplify]: Simplify 1 into 1
4.902 * [backup-simplify]: Simplify 1 into 1
4.902 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
4.902 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0
4.902 * [taylor]: Taking taylor expansion of 0 in z
4.902 * [backup-simplify]: Simplify 0 into 0
4.903 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
4.903 * [taylor]: Taking taylor expansion of 0 in y
4.903 * [backup-simplify]: Simplify 0 into 0
4.903 * [backup-simplify]: Simplify 0 into 0
4.903 * [backup-simplify]: Simplify 0 into 0
4.904 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
4.904 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.904 * [taylor]: Taking taylor expansion of 0 in z
4.904 * [backup-simplify]: Simplify 0 into 0
4.904 * [taylor]: Taking taylor expansion of 0 in y
4.904 * [backup-simplify]: Simplify 0 into 0
4.904 * [backup-simplify]: Simplify 0 into 0
4.905 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.905 * [taylor]: Taking taylor expansion of 0 in y
4.905 * [backup-simplify]: Simplify 0 into 0
4.905 * [backup-simplify]: Simplify 0 into 0
4.905 * [backup-simplify]: Simplify 0 into 0
4.905 * [backup-simplify]: Simplify 0 into 0
4.905 * [backup-simplify]: Simplify (* 1 (* y (* (/ 1 z) x))) into (/ (* x y) z)
4.905 * [backup-simplify]: Simplify (* (/ (/ 1 x) (/ 1 z)) (/ 1 y)) into (/ z (* x y))
4.905 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (x z y) around 0
4.905 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
4.905 * [taylor]: Taking taylor expansion of z in y
4.905 * [backup-simplify]: Simplify z into z
4.905 * [taylor]: Taking taylor expansion of (* x y) in y
4.905 * [taylor]: Taking taylor expansion of x in y
4.905 * [backup-simplify]: Simplify x into x
4.905 * [taylor]: Taking taylor expansion of y in y
4.905 * [backup-simplify]: Simplify 0 into 0
4.905 * [backup-simplify]: Simplify 1 into 1
4.906 * [backup-simplify]: Simplify (* x 0) into 0
4.906 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
4.906 * [backup-simplify]: Simplify (/ z x) into (/ z x)
4.906 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
4.906 * [taylor]: Taking taylor expansion of z in z
4.906 * [backup-simplify]: Simplify 0 into 0
4.906 * [backup-simplify]: Simplify 1 into 1
4.906 * [taylor]: Taking taylor expansion of (* x y) in z
4.906 * [taylor]: Taking taylor expansion of x in z
4.906 * [backup-simplify]: Simplify x into x
4.906 * [taylor]: Taking taylor expansion of y in z
4.906 * [backup-simplify]: Simplify y into y
4.906 * [backup-simplify]: Simplify (* x y) into (* x y)
4.906 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
4.906 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
4.906 * [taylor]: Taking taylor expansion of z in x
4.906 * [backup-simplify]: Simplify z into z
4.906 * [taylor]: Taking taylor expansion of (* x y) in x
4.906 * [taylor]: Taking taylor expansion of x in x
4.906 * [backup-simplify]: Simplify 0 into 0
4.906 * [backup-simplify]: Simplify 1 into 1
4.906 * [taylor]: Taking taylor expansion of y in x
4.907 * [backup-simplify]: Simplify y into y
4.907 * [backup-simplify]: Simplify (* 0 y) into 0
4.907 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.907 * [backup-simplify]: Simplify (/ z y) into (/ z y)
4.907 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
4.907 * [taylor]: Taking taylor expansion of z in x
4.907 * [backup-simplify]: Simplify z into z
4.907 * [taylor]: Taking taylor expansion of (* x y) in x
4.907 * [taylor]: Taking taylor expansion of x in x
4.907 * [backup-simplify]: Simplify 0 into 0
4.907 * [backup-simplify]: Simplify 1 into 1
4.907 * [taylor]: Taking taylor expansion of y in x
4.907 * [backup-simplify]: Simplify y into y
4.907 * [backup-simplify]: Simplify (* 0 y) into 0
4.908 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.908 * [backup-simplify]: Simplify (/ z y) into (/ z y)
4.908 * [taylor]: Taking taylor expansion of (/ z y) in z
4.908 * [taylor]: Taking taylor expansion of z in z
4.908 * [backup-simplify]: Simplify 0 into 0
4.908 * [backup-simplify]: Simplify 1 into 1
4.908 * [taylor]: Taking taylor expansion of y in z
4.908 * [backup-simplify]: Simplify y into y
4.908 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.908 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.908 * [taylor]: Taking taylor expansion of y in y
4.908 * [backup-simplify]: Simplify 0 into 0
4.908 * [backup-simplify]: Simplify 1 into 1
4.908 * [backup-simplify]: Simplify (/ 1 1) into 1
4.908 * [backup-simplify]: Simplify 1 into 1
4.909 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
4.909 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0
4.909 * [taylor]: Taking taylor expansion of 0 in z
4.909 * [backup-simplify]: Simplify 0 into 0
4.909 * [taylor]: Taking taylor expansion of 0 in y
4.909 * [backup-simplify]: Simplify 0 into 0
4.910 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0
4.910 * [taylor]: Taking taylor expansion of 0 in y
4.910 * [backup-simplify]: Simplify 0 into 0
4.910 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.910 * [backup-simplify]: Simplify 0 into 0
4.911 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
4.912 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.912 * [taylor]: Taking taylor expansion of 0 in z
4.912 * [backup-simplify]: Simplify 0 into 0
4.912 * [taylor]: Taking taylor expansion of 0 in y
4.912 * [backup-simplify]: Simplify 0 into 0
4.912 * [taylor]: Taking taylor expansion of 0 in y
4.912 * [backup-simplify]: Simplify 0 into 0
4.912 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.912 * [taylor]: Taking taylor expansion of 0 in y
4.912 * [backup-simplify]: Simplify 0 into 0
4.912 * [backup-simplify]: Simplify 0 into 0
4.912 * [backup-simplify]: Simplify 0 into 0
4.913 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.913 * [backup-simplify]: Simplify 0 into 0
4.914 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
4.914 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.914 * [taylor]: Taking taylor expansion of 0 in z
4.914 * [backup-simplify]: Simplify 0 into 0
4.914 * [taylor]: Taking taylor expansion of 0 in y
4.914 * [backup-simplify]: Simplify 0 into 0
4.915 * [taylor]: Taking taylor expansion of 0 in y
4.915 * [backup-simplify]: Simplify 0 into 0
4.915 * [taylor]: Taking taylor expansion of 0 in y
4.915 * [backup-simplify]: Simplify 0 into 0
4.915 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.915 * [taylor]: Taking taylor expansion of 0 in y
4.915 * [backup-simplify]: Simplify 0 into 0
4.915 * [backup-simplify]: Simplify 0 into 0
4.915 * [backup-simplify]: Simplify 0 into 0
4.915 * [backup-simplify]: Simplify (* 1 (* (/ 1 (/ 1 y)) (* (/ 1 z) (/ 1 (/ 1 x))))) into (/ (* x y) z)
4.915 * [backup-simplify]: Simplify (* (/ (/ 1 (- x)) (/ 1 (- z))) (/ 1 (- y))) into (* -1 (/ z (* x y)))
4.915 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (x z y) around 0
4.915 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y
4.916 * [taylor]: Taking taylor expansion of -1 in y
4.916 * [backup-simplify]: Simplify -1 into -1
4.916 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
4.916 * [taylor]: Taking taylor expansion of z in y
4.916 * [backup-simplify]: Simplify z into z
4.916 * [taylor]: Taking taylor expansion of (* x y) in y
4.916 * [taylor]: Taking taylor expansion of x in y
4.916 * [backup-simplify]: Simplify x into x
4.916 * [taylor]: Taking taylor expansion of y in y
4.916 * [backup-simplify]: Simplify 0 into 0
4.916 * [backup-simplify]: Simplify 1 into 1
4.916 * [backup-simplify]: Simplify (* x 0) into 0
4.916 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
4.916 * [backup-simplify]: Simplify (/ z x) into (/ z x)
4.916 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z
4.916 * [taylor]: Taking taylor expansion of -1 in z
4.916 * [backup-simplify]: Simplify -1 into -1
4.916 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
4.916 * [taylor]: Taking taylor expansion of z in z
4.916 * [backup-simplify]: Simplify 0 into 0
4.916 * [backup-simplify]: Simplify 1 into 1
4.916 * [taylor]: Taking taylor expansion of (* x y) in z
4.916 * [taylor]: Taking taylor expansion of x in z
4.916 * [backup-simplify]: Simplify x into x
4.917 * [taylor]: Taking taylor expansion of y in z
4.917 * [backup-simplify]: Simplify y into y
4.917 * [backup-simplify]: Simplify (* x y) into (* x y)
4.917 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
4.917 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
4.917 * [taylor]: Taking taylor expansion of -1 in x
4.917 * [backup-simplify]: Simplify -1 into -1
4.917 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
4.917 * [taylor]: Taking taylor expansion of z in x
4.917 * [backup-simplify]: Simplify z into z
4.917 * [taylor]: Taking taylor expansion of (* x y) in x
4.917 * [taylor]: Taking taylor expansion of x in x
4.917 * [backup-simplify]: Simplify 0 into 0
4.917 * [backup-simplify]: Simplify 1 into 1
4.917 * [taylor]: Taking taylor expansion of y in x
4.917 * [backup-simplify]: Simplify y into y
4.917 * [backup-simplify]: Simplify (* 0 y) into 0
4.917 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.917 * [backup-simplify]: Simplify (/ z y) into (/ z y)
4.917 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
4.917 * [taylor]: Taking taylor expansion of -1 in x
4.918 * [backup-simplify]: Simplify -1 into -1
4.918 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
4.918 * [taylor]: Taking taylor expansion of z in x
4.918 * [backup-simplify]: Simplify z into z
4.918 * [taylor]: Taking taylor expansion of (* x y) in x
4.918 * [taylor]: Taking taylor expansion of x in x
4.918 * [backup-simplify]: Simplify 0 into 0
4.918 * [backup-simplify]: Simplify 1 into 1
4.918 * [taylor]: Taking taylor expansion of y in x
4.918 * [backup-simplify]: Simplify y into y
4.918 * [backup-simplify]: Simplify (* 0 y) into 0
4.918 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.918 * [backup-simplify]: Simplify (/ z y) into (/ z y)
4.918 * [backup-simplify]: Simplify (* -1 (/ z y)) into (* -1 (/ z y))
4.918 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in z
4.918 * [taylor]: Taking taylor expansion of -1 in z
4.918 * [backup-simplify]: Simplify -1 into -1
4.918 * [taylor]: Taking taylor expansion of (/ z y) in z
4.918 * [taylor]: Taking taylor expansion of z in z
4.919 * [backup-simplify]: Simplify 0 into 0
4.919 * [backup-simplify]: Simplify 1 into 1
4.919 * [taylor]: Taking taylor expansion of y in z
4.919 * [backup-simplify]: Simplify y into y
4.919 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.919 * [backup-simplify]: Simplify (* -1 (/ 1 y)) into (/ -1 y)
4.919 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.919 * [taylor]: Taking taylor expansion of -1 in y
4.919 * [backup-simplify]: Simplify -1 into -1
4.919 * [taylor]: Taking taylor expansion of y in y
4.919 * [backup-simplify]: Simplify 0 into 0
4.919 * [backup-simplify]: Simplify 1 into 1
4.919 * [backup-simplify]: Simplify (/ -1 1) into -1
4.919 * [backup-simplify]: Simplify -1 into -1
4.920 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
4.920 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0
4.921 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ z y))) into 0
4.921 * [taylor]: Taking taylor expansion of 0 in z
4.921 * [backup-simplify]: Simplify 0 into 0
4.921 * [taylor]: Taking taylor expansion of 0 in y
4.921 * [backup-simplify]: Simplify 0 into 0
4.921 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0
4.921 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 y))) into 0
4.921 * [taylor]: Taking taylor expansion of 0 in y
4.921 * [backup-simplify]: Simplify 0 into 0
4.922 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
4.922 * [backup-simplify]: Simplify 0 into 0
4.923 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
4.923 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.924 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ z y)))) into 0
4.924 * [taylor]: Taking taylor expansion of 0 in z
4.924 * [backup-simplify]: Simplify 0 into 0
4.924 * [taylor]: Taking taylor expansion of 0 in y
4.924 * [backup-simplify]: Simplify 0 into 0
4.924 * [taylor]: Taking taylor expansion of 0 in y
4.924 * [backup-simplify]: Simplify 0 into 0
4.925 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.925 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0
4.925 * [taylor]: Taking taylor expansion of 0 in y
4.925 * [backup-simplify]: Simplify 0 into 0
4.925 * [backup-simplify]: Simplify 0 into 0
4.925 * [backup-simplify]: Simplify 0 into 0
4.926 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.926 * [backup-simplify]: Simplify 0 into 0
4.928 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
4.928 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.929 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ z y))))) into 0
4.929 * [taylor]: Taking taylor expansion of 0 in z
4.929 * [backup-simplify]: Simplify 0 into 0
4.929 * [taylor]: Taking taylor expansion of 0 in y
4.929 * [backup-simplify]: Simplify 0 into 0
4.929 * [taylor]: Taking taylor expansion of 0 in y
4.929 * [backup-simplify]: Simplify 0 into 0
4.929 * [taylor]: Taking taylor expansion of 0 in y
4.929 * [backup-simplify]: Simplify 0 into 0
4.929 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.930 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0
4.931 * [taylor]: Taking taylor expansion of 0 in y
4.931 * [backup-simplify]: Simplify 0 into 0
4.931 * [backup-simplify]: Simplify 0 into 0
4.931 * [backup-simplify]: Simplify 0 into 0
4.931 * [backup-simplify]: Simplify (* -1 (* (/ 1 (/ 1 (- y))) (* (/ 1 (- z)) (/ 1 (/ 1 (- x)))))) into (/ (* x y) z)
4.931 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
4.931 * [backup-simplify]: Simplify (+ (/ x z) y) into (+ (/ x z) y)
4.931 * [approximate]: Taking taylor expansion of (+ (/ x z) y) in (x z y) around 0
4.931 * [taylor]: Taking taylor expansion of (+ (/ x z) y) in y
4.931 * [taylor]: Taking taylor expansion of (/ x z) in y
4.931 * [taylor]: Taking taylor expansion of x in y
4.931 * [backup-simplify]: Simplify x into x
4.931 * [taylor]: Taking taylor expansion of z in y
4.931 * [backup-simplify]: Simplify z into z
4.931 * [backup-simplify]: Simplify (/ x z) into (/ x z)
4.931 * [taylor]: Taking taylor expansion of y in y
4.931 * [backup-simplify]: Simplify 0 into 0
4.931 * [backup-simplify]: Simplify 1 into 1
4.931 * [taylor]: Taking taylor expansion of (+ (/ x z) y) in z
4.932 * [taylor]: Taking taylor expansion of (/ x z) in z
4.932 * [taylor]: Taking taylor expansion of x in z
4.932 * [backup-simplify]: Simplify x into x
4.932 * [taylor]: Taking taylor expansion of z in z
4.932 * [backup-simplify]: Simplify 0 into 0
4.932 * [backup-simplify]: Simplify 1 into 1
4.932 * [backup-simplify]: Simplify (/ x 1) into x
4.932 * [taylor]: Taking taylor expansion of y in z
4.932 * [backup-simplify]: Simplify y into y
4.932 * [taylor]: Taking taylor expansion of (+ (/ x z) y) in x
4.932 * [taylor]: Taking taylor expansion of (/ x z) in x
4.932 * [taylor]: Taking taylor expansion of x in x
4.932 * [backup-simplify]: Simplify 0 into 0
4.932 * [backup-simplify]: Simplify 1 into 1
4.932 * [taylor]: Taking taylor expansion of z in x
4.932 * [backup-simplify]: Simplify z into z
4.932 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.932 * [taylor]: Taking taylor expansion of y in x
4.932 * [backup-simplify]: Simplify y into y
4.932 * [taylor]: Taking taylor expansion of (+ (/ x z) y) in x
4.932 * [taylor]: Taking taylor expansion of (/ x z) in x
4.932 * [taylor]: Taking taylor expansion of x in x
4.932 * [backup-simplify]: Simplify 0 into 0
4.932 * [backup-simplify]: Simplify 1 into 1
4.932 * [taylor]: Taking taylor expansion of z in x
4.932 * [backup-simplify]: Simplify z into z
4.932 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.932 * [taylor]: Taking taylor expansion of y in x
4.932 * [backup-simplify]: Simplify y into y
4.932 * [backup-simplify]: Simplify (+ 0 y) into y
4.932 * [taylor]: Taking taylor expansion of y in z
4.932 * [backup-simplify]: Simplify y into y
4.933 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
4.933 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.933 * [taylor]: Taking taylor expansion of z in z
4.933 * [backup-simplify]: Simplify 0 into 0
4.933 * [backup-simplify]: Simplify 1 into 1
4.933 * [backup-simplify]: Simplify (/ 1 1) into 1
4.933 * [taylor]: Taking taylor expansion of 1 in y
4.933 * [backup-simplify]: Simplify 1 into 1
4.933 * [backup-simplify]: Simplify 1 into 1
4.933 * [taylor]: Taking taylor expansion of y in y
4.933 * [backup-simplify]: Simplify 0 into 0
4.933 * [backup-simplify]: Simplify 1 into 1
4.933 * [backup-simplify]: Simplify 0 into 0
4.933 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
4.934 * [backup-simplify]: Simplify (+ 0 0) into 0
4.934 * [taylor]: Taking taylor expansion of 0 in z
4.934 * [backup-simplify]: Simplify 0 into 0
4.934 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.935 * [taylor]: Taking taylor expansion of 0 in y
4.935 * [backup-simplify]: Simplify 0 into 0
4.935 * [backup-simplify]: Simplify 0 into 0
4.935 * [taylor]: Taking taylor expansion of 0 in y
4.935 * [backup-simplify]: Simplify 0 into 0
4.935 * [backup-simplify]: Simplify 0 into 0
4.935 * [backup-simplify]: Simplify 0 into 0
4.935 * [backup-simplify]: Simplify 1 into 1
4.935 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.935 * [backup-simplify]: Simplify (+ 0 0) into 0
4.935 * [taylor]: Taking taylor expansion of 0 in z
4.935 * [backup-simplify]: Simplify 0 into 0
4.935 * [taylor]: Taking taylor expansion of 0 in y
4.935 * [backup-simplify]: Simplify 0 into 0
4.935 * [backup-simplify]: Simplify 0 into 0
4.936 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.936 * [taylor]: Taking taylor expansion of 0 in y
4.936 * [backup-simplify]: Simplify 0 into 0
4.936 * [backup-simplify]: Simplify 0 into 0
4.936 * [taylor]: Taking taylor expansion of 0 in y
4.936 * [backup-simplify]: Simplify 0 into 0
4.936 * [backup-simplify]: Simplify 0 into 0
4.936 * [backup-simplify]: Simplify 0 into 0
4.937 * [backup-simplify]: Simplify 0 into 0
4.937 * [backup-simplify]: Simplify 0 into 0
4.937 * [backup-simplify]: Simplify (+ (* 1 (* y (* 1 1))) (* 1 (* 1 (* (/ 1 z) x)))) into (+ (/ x z) y)
4.937 * [backup-simplify]: Simplify (+ (/ (/ 1 x) (/ 1 z)) (/ 1 y)) into (+ (/ 1 y) (/ z x))
4.937 * [approximate]: Taking taylor expansion of (+ (/ 1 y) (/ z x)) in (x z y) around 0
4.937 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ z x)) in y
4.937 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.937 * [taylor]: Taking taylor expansion of y in y
4.937 * [backup-simplify]: Simplify 0 into 0
4.937 * [backup-simplify]: Simplify 1 into 1
4.938 * [backup-simplify]: Simplify (/ 1 1) into 1
4.938 * [taylor]: Taking taylor expansion of (/ z x) in y
4.938 * [taylor]: Taking taylor expansion of z in y
4.938 * [backup-simplify]: Simplify z into z
4.938 * [taylor]: Taking taylor expansion of x in y
4.938 * [backup-simplify]: Simplify x into x
4.938 * [backup-simplify]: Simplify (/ z x) into (/ z x)
4.938 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ z x)) in z
4.938 * [taylor]: Taking taylor expansion of (/ 1 y) in z
4.938 * [taylor]: Taking taylor expansion of y in z
4.938 * [backup-simplify]: Simplify y into y
4.938 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.938 * [taylor]: Taking taylor expansion of (/ z x) in z
4.938 * [taylor]: Taking taylor expansion of z in z
4.938 * [backup-simplify]: Simplify 0 into 0
4.938 * [backup-simplify]: Simplify 1 into 1
4.938 * [taylor]: Taking taylor expansion of x in z
4.938 * [backup-simplify]: Simplify x into x
4.938 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.938 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ z x)) in x
4.938 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.938 * [taylor]: Taking taylor expansion of y in x
4.938 * [backup-simplify]: Simplify y into y
4.939 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.939 * [taylor]: Taking taylor expansion of (/ z x) in x
4.939 * [taylor]: Taking taylor expansion of z in x
4.939 * [backup-simplify]: Simplify z into z
4.939 * [taylor]: Taking taylor expansion of x in x
4.939 * [backup-simplify]: Simplify 0 into 0
4.939 * [backup-simplify]: Simplify 1 into 1
4.939 * [backup-simplify]: Simplify (/ z 1) into z
4.939 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ z x)) in x
4.939 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.939 * [taylor]: Taking taylor expansion of y in x
4.939 * [backup-simplify]: Simplify y into y
4.939 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.939 * [taylor]: Taking taylor expansion of (/ z x) in x
4.939 * [taylor]: Taking taylor expansion of z in x
4.939 * [backup-simplify]: Simplify z into z
4.939 * [taylor]: Taking taylor expansion of x in x
4.939 * [backup-simplify]: Simplify 0 into 0
4.939 * [backup-simplify]: Simplify 1 into 1
4.939 * [backup-simplify]: Simplify (/ z 1) into z
4.939 * [backup-simplify]: Simplify (+ 0 z) into z
4.939 * [taylor]: Taking taylor expansion of z in z
4.939 * [backup-simplify]: Simplify 0 into 0
4.939 * [backup-simplify]: Simplify 1 into 1
4.939 * [taylor]: Taking taylor expansion of 0 in y
4.939 * [backup-simplify]: Simplify 0 into 0
4.940 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
4.940 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
4.940 * [taylor]: Taking taylor expansion of (/ 1 y) in z
4.940 * [taylor]: Taking taylor expansion of y in z
4.940 * [backup-simplify]: Simplify y into y
4.940 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.940 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.941 * [taylor]: Taking taylor expansion of y in y
4.941 * [backup-simplify]: Simplify 0 into 0
4.941 * [backup-simplify]: Simplify 1 into 1
4.941 * [backup-simplify]: Simplify (/ 1 1) into 1
4.941 * [backup-simplify]: Simplify 1 into 1
4.941 * [taylor]: Taking taylor expansion of 1 in y
4.941 * [backup-simplify]: Simplify 1 into 1
4.941 * [backup-simplify]: Simplify 0 into 0
4.941 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.943 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.943 * [backup-simplify]: Simplify (+ 0 0) into 0
4.943 * [taylor]: Taking taylor expansion of 0 in z
4.943 * [backup-simplify]: Simplify 0 into 0
4.943 * [taylor]: Taking taylor expansion of 0 in y
4.943 * [backup-simplify]: Simplify 0 into 0
4.943 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.943 * [taylor]: Taking taylor expansion of 0 in y
4.943 * [backup-simplify]: Simplify 0 into 0
4.943 * [taylor]: Taking taylor expansion of 0 in y
4.943 * [backup-simplify]: Simplify 0 into 0
4.944 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.944 * [backup-simplify]: Simplify 0 into 0
4.944 * [backup-simplify]: Simplify 1 into 1
4.944 * [backup-simplify]: Simplify 0 into 0
4.944 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.946 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.946 * [backup-simplify]: Simplify (+ 0 0) into 0
4.946 * [taylor]: Taking taylor expansion of 0 in z
4.946 * [backup-simplify]: Simplify 0 into 0
4.946 * [taylor]: Taking taylor expansion of 0 in y
4.946 * [backup-simplify]: Simplify 0 into 0
4.946 * [taylor]: Taking taylor expansion of 0 in y
4.947 * [backup-simplify]: Simplify 0 into 0
4.947 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.947 * [taylor]: Taking taylor expansion of 0 in y
4.947 * [backup-simplify]: Simplify 0 into 0
4.947 * [taylor]: Taking taylor expansion of 0 in y
4.947 * [backup-simplify]: Simplify 0 into 0
4.947 * [backup-simplify]: Simplify 0 into 0
4.947 * [backup-simplify]: Simplify 0 into 0
4.947 * [backup-simplify]: Simplify 0 into 0
4.948 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.948 * [backup-simplify]: Simplify 0 into 0
4.948 * [backup-simplify]: Simplify 0 into 0
4.948 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 z) (/ 1 (/ 1 x))))) (* 1 (* (/ 1 (/ 1 y)) (* 1 1)))) into (+ (/ x z) y)
4.949 * [backup-simplify]: Simplify (+ (/ (/ 1 (- x)) (/ 1 (- z))) (/ 1 (- y))) into (- (/ z x) (/ 1 y))
4.949 * [approximate]: Taking taylor expansion of (- (/ z x) (/ 1 y)) in (x z y) around 0
4.949 * [taylor]: Taking taylor expansion of (- (/ z x) (/ 1 y)) in y
4.949 * [taylor]: Taking taylor expansion of (/ z x) in y
4.949 * [taylor]: Taking taylor expansion of z in y
4.949 * [backup-simplify]: Simplify z into z
4.949 * [taylor]: Taking taylor expansion of x in y
4.949 * [backup-simplify]: Simplify x into x
4.949 * [backup-simplify]: Simplify (/ z x) into (/ z x)
4.949 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.949 * [taylor]: Taking taylor expansion of y in y
4.949 * [backup-simplify]: Simplify 0 into 0
4.949 * [backup-simplify]: Simplify 1 into 1
4.950 * [backup-simplify]: Simplify (/ 1 1) into 1
4.950 * [taylor]: Taking taylor expansion of (- (/ z x) (/ 1 y)) in z
4.950 * [taylor]: Taking taylor expansion of (/ z x) in z
4.950 * [taylor]: Taking taylor expansion of z in z
4.950 * [backup-simplify]: Simplify 0 into 0
4.950 * [backup-simplify]: Simplify 1 into 1
4.950 * [taylor]: Taking taylor expansion of x in z
4.950 * [backup-simplify]: Simplify x into x
4.950 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.950 * [taylor]: Taking taylor expansion of (/ 1 y) in z
4.950 * [taylor]: Taking taylor expansion of y in z
4.950 * [backup-simplify]: Simplify y into y
4.950 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.950 * [taylor]: Taking taylor expansion of (- (/ z x) (/ 1 y)) in x
4.950 * [taylor]: Taking taylor expansion of (/ z x) in x
4.950 * [taylor]: Taking taylor expansion of z in x
4.950 * [backup-simplify]: Simplify z into z
4.950 * [taylor]: Taking taylor expansion of x in x
4.950 * [backup-simplify]: Simplify 0 into 0
4.950 * [backup-simplify]: Simplify 1 into 1
4.950 * [backup-simplify]: Simplify (/ z 1) into z
4.950 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.950 * [taylor]: Taking taylor expansion of y in x
4.950 * [backup-simplify]: Simplify y into y
4.950 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.950 * [taylor]: Taking taylor expansion of (- (/ z x) (/ 1 y)) in x
4.950 * [taylor]: Taking taylor expansion of (/ z x) in x
4.950 * [taylor]: Taking taylor expansion of z in x
4.950 * [backup-simplify]: Simplify z into z
4.950 * [taylor]: Taking taylor expansion of x in x
4.950 * [backup-simplify]: Simplify 0 into 0
4.950 * [backup-simplify]: Simplify 1 into 1
4.951 * [backup-simplify]: Simplify (/ z 1) into z
4.951 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.951 * [taylor]: Taking taylor expansion of y in x
4.951 * [backup-simplify]: Simplify y into y
4.951 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.951 * [backup-simplify]: Simplify (+ z 0) into z
4.951 * [taylor]: Taking taylor expansion of z in z
4.951 * [backup-simplify]: Simplify 0 into 0
4.951 * [backup-simplify]: Simplify 1 into 1
4.951 * [taylor]: Taking taylor expansion of 0 in y
4.951 * [backup-simplify]: Simplify 0 into 0
4.952 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
4.952 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
4.952 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y))
4.952 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in z
4.952 * [taylor]: Taking taylor expansion of (/ 1 y) in z
4.952 * [taylor]: Taking taylor expansion of y in z
4.952 * [backup-simplify]: Simplify y into y
4.952 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.952 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
4.952 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
4.952 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.952 * [taylor]: Taking taylor expansion of y in y
4.952 * [backup-simplify]: Simplify 0 into 0
4.952 * [backup-simplify]: Simplify 1 into 1
4.953 * [backup-simplify]: Simplify (/ 1 1) into 1
4.953 * [backup-simplify]: Simplify (- 1) into -1
4.953 * [backup-simplify]: Simplify -1 into -1
4.953 * [taylor]: Taking taylor expansion of 1 in y
4.953 * [backup-simplify]: Simplify 1 into 1
4.953 * [backup-simplify]: Simplify 0 into 0
4.954 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.954 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.955 * [backup-simplify]: Simplify (- 0) into 0
4.955 * [backup-simplify]: Simplify (+ 0 0) into 0
4.955 * [taylor]: Taking taylor expansion of 0 in z
4.955 * [backup-simplify]: Simplify 0 into 0
4.955 * [taylor]: Taking taylor expansion of 0 in y
4.955 * [backup-simplify]: Simplify 0 into 0
4.955 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.956 * [backup-simplify]: Simplify (- 0) into 0
4.956 * [taylor]: Taking taylor expansion of 0 in y
4.956 * [backup-simplify]: Simplify 0 into 0
4.956 * [taylor]: Taking taylor expansion of 0 in y
4.956 * [backup-simplify]: Simplify 0 into 0
4.956 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.957 * [backup-simplify]: Simplify (- 0) into 0
4.957 * [backup-simplify]: Simplify 0 into 0
4.957 * [backup-simplify]: Simplify 1 into 1
4.957 * [backup-simplify]: Simplify 0 into 0
4.958 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.958 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.959 * [backup-simplify]: Simplify (- 0) into 0
4.959 * [backup-simplify]: Simplify (+ 0 0) into 0
4.959 * [taylor]: Taking taylor expansion of 0 in z
4.959 * [backup-simplify]: Simplify 0 into 0
4.959 * [taylor]: Taking taylor expansion of 0 in y
4.959 * [backup-simplify]: Simplify 0 into 0
4.959 * [taylor]: Taking taylor expansion of 0 in y
4.959 * [backup-simplify]: Simplify 0 into 0
4.959 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.960 * [backup-simplify]: Simplify (- 0) into 0
4.960 * [taylor]: Taking taylor expansion of 0 in y
4.960 * [backup-simplify]: Simplify 0 into 0
4.960 * [taylor]: Taking taylor expansion of 0 in y
4.960 * [backup-simplify]: Simplify 0 into 0
4.960 * [backup-simplify]: Simplify 0 into 0
4.960 * [backup-simplify]: Simplify 0 into 0
4.960 * [backup-simplify]: Simplify 0 into 0
4.961 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.961 * [backup-simplify]: Simplify (- 0) into 0
4.961 * [backup-simplify]: Simplify 0 into 0
4.961 * [backup-simplify]: Simplify 0 into 0
4.962 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (- z)) (/ 1 (/ 1 (- x)))))) (* -1 (* (/ 1 (/ 1 (- y))) (* 1 1)))) into (+ (/ x z) y)
4.962 * * * [progress]: simplifying candidates
4.963 * [simplify]: Simplifying:
  (* (/ x z) y)
  (+ (- (log x) (log z)) (log y))
  (+ (log (/ x z)) (log y))
  (log (* (/ x z) y))
  (exp (* (/ x z) y))
  (* (/ (* (* x x) x) (* (* z z) z)) (* (* y y) y))
  (* (* (* (/ x z) (/ x z)) (/ x z)) (* (* y y) 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))
  (* (sqrt (/ x z)) (sqrt y))
  (* (sqrt (/ x z)) (sqrt y))
  (* (/ (sqrt x) (sqrt z)) (sqrt y))
  (* (/ (sqrt x) (sqrt z)) (sqrt y))
  (* (/ x z) (* (cbrt y) (cbrt y)))
  (* (/ x z) (sqrt y))
  (* (/ x z) 1)
  (* (cbrt (/ x z)) y)
  (* (sqrt (/ x z)) y)
  (* (/ (cbrt x) (cbrt z)) y)
  (* (/ (cbrt x) (sqrt z)) y)
  (* (/ (cbrt x) z) y)
  (* (/ (sqrt x) (cbrt z)) y)
  (* (/ (sqrt x) (sqrt z)) y)
  (* (/ (sqrt x) z) y)
  (* (/ x (cbrt z)) y)
  (* (/ x (sqrt z)) y)
  (* (/ x z) y)
  (* (/ x z) y)
  (* (/ 1 z) y)
  (* x y)
  (* (exp (/ x z)) (exp y))
  (log (+ (/ x z) y))
  (exp (+ (/ 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))
  (+ (pow (/ x z) 3) (pow y 3))
  (+ (* (/ x z) (/ x z)) (- (* y y) (* (/ x z) y)))
  (- (* (/ x z) (/ x z)) (* y y))
  (- (/ x z) y)
  (+ (/ x z) y)
  (/ (* x y) z)
  (/ (* x y) z)
  (/ (* x y) z)
  (+ (/ x z) y)
  (+ (/ x z) y)
  (+ (/ x z) y)
4.963 * [simplify]: Sending expressions to egg_math:
 (* (/ h2 h1) h0)
 (+ (- (log h2) (log h1)) (log h0))
 (+ (log (/ h2 h1)) (log h0))
 (log (* (/ h2 h1) h0))
 (exp (* (/ h2 h1) h0))
 (* (/ (* (* h2 h2) h2) (* (* h1 h1) h1)) (* (* h0 h0) h0))
 (* (* (* (/ h2 h1) (/ h2 h1)) (/ h2 h1)) (* (* h0 h0) h0))
 (* (cbrt (* (/ h2 h1) h0)) (cbrt (* (/ h2 h1) h0)))
 (cbrt (* (/ h2 h1) h0))
 (* (* (* (/ h2 h1) h0) (* (/ h2 h1) h0)) (* (/ h2 h1) h0))
 (sqrt (* (/ h2 h1) h0))
 (sqrt (* (/ h2 h1) h0))
 (* (sqrt (/ h2 h1)) (sqrt h0))
 (* (sqrt (/ h2 h1)) (sqrt h0))
 (* (/ (sqrt h2) (sqrt h1)) (sqrt h0))
 (* (/ (sqrt h2) (sqrt h1)) (sqrt h0))
 (* (/ h2 h1) (* (cbrt h0) (cbrt h0)))
 (* (/ h2 h1) (sqrt h0))
 (* (/ h2 h1) 1)
 (* (cbrt (/ h2 h1)) h0)
 (* (sqrt (/ h2 h1)) h0)
 (* (/ (cbrt h2) (cbrt h1)) h0)
 (* (/ (cbrt h2) (sqrt h1)) h0)
 (* (/ (cbrt h2) h1) h0)
 (* (/ (sqrt h2) (cbrt h1)) h0)
 (* (/ (sqrt h2) (sqrt h1)) h0)
 (* (/ (sqrt h2) h1) h0)
 (* (/ h2 (cbrt h1)) h0)
 (* (/ h2 (sqrt h1)) h0)
 (* (/ h2 h1) h0)
 (* (/ h2 h1) h0)
 (* (/ 1 h1) h0)
 (* h2 h0)
 (* (exp (/ h2 h1)) (exp h0))
 (log (+ (/ h2 h1) h0))
 (exp (+ (/ h2 h1) h0))
 (* (cbrt (+ (/ h2 h1) h0)) (cbrt (+ (/ h2 h1) h0)))
 (cbrt (+ (/ h2 h1) h0))
 (* (* (+ (/ h2 h1) h0) (+ (/ h2 h1) h0)) (+ (/ h2 h1) h0))
 (sqrt (+ (/ h2 h1) h0))
 (sqrt (+ (/ h2 h1) h0))
 (+ (pow (/ h2 h1) 3) (pow h0 3))
 (+ (* (/ h2 h1) (/ h2 h1)) (- (* h0 h0) (* (/ h2 h1) h0)))
 (- (* (/ h2 h1) (/ h2 h1)) (* h0 h0))
 (- (/ h2 h1) h0)
 (+ (/ h2 h1) h0)
 (/ (* h2 h0) h1)
 (/ (* h2 h0) h1)
 (/ (* h2 h0) h1)
 (+ (/ h2 h1) h0)
 (+ (/ h2 h1) h0)
 (+ (/ h2 h1) h0)
6.149 * * * [progress]: adding candidates to table
6.241 * * [progress]: iteration 4 / 4
6.241 * * * [progress]: picking best candidate
6.247 * * * * [pick]: Picked  #<alt (λ (x y z) (- (+ (/ x z) y) (/ x (/ z y))))>
6.247 * * * [progress]: localizing error
6.256 * * * [progress]: generating rewritten candidates
6.256 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
6.265 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
6.292 * * * [progress]: generating series expansions
6.293 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
6.293 * [backup-simplify]: Simplify (/ x (/ z y)) into (/ (* x y) z)
6.293 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (x z y) around 0
6.293 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
6.293 * [taylor]: Taking taylor expansion of (* x y) in y
6.293 * [taylor]: Taking taylor expansion of x in y
6.293 * [backup-simplify]: Simplify x into x
6.293 * [taylor]: Taking taylor expansion of y in y
6.293 * [backup-simplify]: Simplify 0 into 0
6.293 * [backup-simplify]: Simplify 1 into 1
6.293 * [taylor]: Taking taylor expansion of z in y
6.293 * [backup-simplify]: Simplify z into z
6.293 * [backup-simplify]: Simplify (* x 0) into 0
6.293 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
6.294 * [backup-simplify]: Simplify (/ x z) into (/ x z)
6.294 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
6.294 * [taylor]: Taking taylor expansion of (* x y) in z
6.294 * [taylor]: Taking taylor expansion of x in z
6.294 * [backup-simplify]: Simplify x into x
6.294 * [taylor]: Taking taylor expansion of y in z
6.294 * [backup-simplify]: Simplify y into y
6.294 * [taylor]: Taking taylor expansion of z in z
6.294 * [backup-simplify]: Simplify 0 into 0
6.294 * [backup-simplify]: Simplify 1 into 1
6.294 * [backup-simplify]: Simplify (* x y) into (* x y)
6.294 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y)
6.294 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
6.294 * [taylor]: Taking taylor expansion of (* x y) in x
6.294 * [taylor]: Taking taylor expansion of x in x
6.294 * [backup-simplify]: Simplify 0 into 0
6.294 * [backup-simplify]: Simplify 1 into 1
6.294 * [taylor]: Taking taylor expansion of y in x
6.294 * [backup-simplify]: Simplify y into y
6.294 * [taylor]: Taking taylor expansion of z in x
6.294 * [backup-simplify]: Simplify z into z
6.294 * [backup-simplify]: Simplify (* 0 y) into 0
6.294 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
6.294 * [backup-simplify]: Simplify (/ y z) into (/ y z)
6.294 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
6.294 * [taylor]: Taking taylor expansion of (* x y) in x
6.294 * [taylor]: Taking taylor expansion of x in x
6.294 * [backup-simplify]: Simplify 0 into 0
6.294 * [backup-simplify]: Simplify 1 into 1
6.294 * [taylor]: Taking taylor expansion of y in x
6.294 * [backup-simplify]: Simplify y into y
6.294 * [taylor]: Taking taylor expansion of z in x
6.294 * [backup-simplify]: Simplify z into z
6.294 * [backup-simplify]: Simplify (* 0 y) into 0
6.295 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
6.295 * [backup-simplify]: Simplify (/ y z) into (/ y z)
6.295 * [taylor]: Taking taylor expansion of (/ y z) in z
6.295 * [taylor]: Taking taylor expansion of y in z
6.295 * [backup-simplify]: Simplify y into y
6.295 * [taylor]: Taking taylor expansion of z in z
6.295 * [backup-simplify]: Simplify 0 into 0
6.295 * [backup-simplify]: Simplify 1 into 1
6.295 * [backup-simplify]: Simplify (/ y 1) into y
6.295 * [taylor]: Taking taylor expansion of y in y
6.295 * [backup-simplify]: Simplify 0 into 0
6.295 * [backup-simplify]: Simplify 1 into 1
6.295 * [backup-simplify]: Simplify 1 into 1
6.296 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
6.296 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0
6.296 * [taylor]: Taking taylor expansion of 0 in z
6.296 * [backup-simplify]: Simplify 0 into 0
6.297 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
6.297 * [taylor]: Taking taylor expansion of 0 in y
6.297 * [backup-simplify]: Simplify 0 into 0
6.297 * [backup-simplify]: Simplify 0 into 0
6.297 * [backup-simplify]: Simplify 0 into 0
6.298 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
6.299 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
6.299 * [taylor]: Taking taylor expansion of 0 in z
6.299 * [backup-simplify]: Simplify 0 into 0
6.299 * [taylor]: Taking taylor expansion of 0 in y
6.299 * [backup-simplify]: Simplify 0 into 0
6.299 * [backup-simplify]: Simplify 0 into 0
6.300 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.300 * [taylor]: Taking taylor expansion of 0 in y
6.300 * [backup-simplify]: Simplify 0 into 0
6.300 * [backup-simplify]: Simplify 0 into 0
6.300 * [backup-simplify]: Simplify 0 into 0
6.300 * [backup-simplify]: Simplify 0 into 0
6.300 * [backup-simplify]: Simplify (* 1 (* y (* (/ 1 z) x))) into (/ (* x y) z)
6.301 * [backup-simplify]: Simplify (/ (/ 1 x) (/ (/ 1 z) (/ 1 y))) into (/ z (* x y))
6.301 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (x z y) around 0
6.301 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
6.301 * [taylor]: Taking taylor expansion of z in y
6.301 * [backup-simplify]: Simplify z into z
6.301 * [taylor]: Taking taylor expansion of (* x y) in y
6.301 * [taylor]: Taking taylor expansion of x in y
6.301 * [backup-simplify]: Simplify x into x
6.301 * [taylor]: Taking taylor expansion of y in y
6.301 * [backup-simplify]: Simplify 0 into 0
6.301 * [backup-simplify]: Simplify 1 into 1
6.301 * [backup-simplify]: Simplify (* x 0) into 0
6.301 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
6.301 * [backup-simplify]: Simplify (/ z x) into (/ z x)
6.301 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
6.302 * [taylor]: Taking taylor expansion of z in z
6.302 * [backup-simplify]: Simplify 0 into 0
6.302 * [backup-simplify]: Simplify 1 into 1
6.302 * [taylor]: Taking taylor expansion of (* x y) in z
6.302 * [taylor]: Taking taylor expansion of x in z
6.302 * [backup-simplify]: Simplify x into x
6.302 * [taylor]: Taking taylor expansion of y in z
6.302 * [backup-simplify]: Simplify y into y
6.302 * [backup-simplify]: Simplify (* x y) into (* x y)
6.302 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
6.302 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
6.302 * [taylor]: Taking taylor expansion of z in x
6.302 * [backup-simplify]: Simplify z into z
6.302 * [taylor]: Taking taylor expansion of (* x y) in x
6.302 * [taylor]: Taking taylor expansion of x in x
6.302 * [backup-simplify]: Simplify 0 into 0
6.302 * [backup-simplify]: Simplify 1 into 1
6.302 * [taylor]: Taking taylor expansion of y in x
6.302 * [backup-simplify]: Simplify y into y
6.302 * [backup-simplify]: Simplify (* 0 y) into 0
6.302 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
6.303 * [backup-simplify]: Simplify (/ z y) into (/ z y)
6.303 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
6.303 * [taylor]: Taking taylor expansion of z in x
6.303 * [backup-simplify]: Simplify z into z
6.303 * [taylor]: Taking taylor expansion of (* x y) in x
6.303 * [taylor]: Taking taylor expansion of x in x
6.303 * [backup-simplify]: Simplify 0 into 0
6.303 * [backup-simplify]: Simplify 1 into 1
6.303 * [taylor]: Taking taylor expansion of y in x
6.303 * [backup-simplify]: Simplify y into y
6.303 * [backup-simplify]: Simplify (* 0 y) into 0
6.303 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
6.303 * [backup-simplify]: Simplify (/ z y) into (/ z y)
6.303 * [taylor]: Taking taylor expansion of (/ z y) in z
6.303 * [taylor]: Taking taylor expansion of z in z
6.303 * [backup-simplify]: Simplify 0 into 0
6.303 * [backup-simplify]: Simplify 1 into 1
6.303 * [taylor]: Taking taylor expansion of y in z
6.303 * [backup-simplify]: Simplify y into y
6.303 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.303 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.303 * [taylor]: Taking taylor expansion of y in y
6.303 * [backup-simplify]: Simplify 0 into 0
6.303 * [backup-simplify]: Simplify 1 into 1
6.304 * [backup-simplify]: Simplify (/ 1 1) into 1
6.304 * [backup-simplify]: Simplify 1 into 1
6.304 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
6.304 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0
6.304 * [taylor]: Taking taylor expansion of 0 in z
6.304 * [backup-simplify]: Simplify 0 into 0
6.304 * [taylor]: Taking taylor expansion of 0 in y
6.304 * [backup-simplify]: Simplify 0 into 0
6.304 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0
6.305 * [taylor]: Taking taylor expansion of 0 in y
6.305 * [backup-simplify]: Simplify 0 into 0
6.305 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.305 * [backup-simplify]: Simplify 0 into 0
6.306 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
6.306 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
6.306 * [taylor]: Taking taylor expansion of 0 in z
6.306 * [backup-simplify]: Simplify 0 into 0
6.306 * [taylor]: Taking taylor expansion of 0 in y
6.306 * [backup-simplify]: Simplify 0 into 0
6.306 * [taylor]: Taking taylor expansion of 0 in y
6.306 * [backup-simplify]: Simplify 0 into 0
6.306 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
6.306 * [taylor]: Taking taylor expansion of 0 in y
6.306 * [backup-simplify]: Simplify 0 into 0
6.306 * [backup-simplify]: Simplify 0 into 0
6.306 * [backup-simplify]: Simplify 0 into 0
6.307 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.307 * [backup-simplify]: Simplify 0 into 0
6.308 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
6.308 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
6.308 * [taylor]: Taking taylor expansion of 0 in z
6.308 * [backup-simplify]: Simplify 0 into 0
6.308 * [taylor]: Taking taylor expansion of 0 in y
6.308 * [backup-simplify]: Simplify 0 into 0
6.308 * [taylor]: Taking taylor expansion of 0 in y
6.308 * [backup-simplify]: Simplify 0 into 0
6.308 * [taylor]: Taking taylor expansion of 0 in y
6.308 * [backup-simplify]: Simplify 0 into 0
6.308 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
6.308 * [taylor]: Taking taylor expansion of 0 in y
6.308 * [backup-simplify]: Simplify 0 into 0
6.308 * [backup-simplify]: Simplify 0 into 0
6.308 * [backup-simplify]: Simplify 0 into 0
6.309 * [backup-simplify]: Simplify (* 1 (* (/ 1 (/ 1 y)) (* (/ 1 z) (/ 1 (/ 1 x))))) into (/ (* x y) z)
6.309 * [backup-simplify]: Simplify (/ (/ 1 (- x)) (/ (/ 1 (- z)) (/ 1 (- y)))) into (* -1 (/ z (* x y)))
6.309 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (x z y) around 0
6.309 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y
6.309 * [taylor]: Taking taylor expansion of -1 in y
6.309 * [backup-simplify]: Simplify -1 into -1
6.309 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
6.309 * [taylor]: Taking taylor expansion of z in y
6.309 * [backup-simplify]: Simplify z into z
6.309 * [taylor]: Taking taylor expansion of (* x y) in y
6.309 * [taylor]: Taking taylor expansion of x in y
6.309 * [backup-simplify]: Simplify x into x
6.309 * [taylor]: Taking taylor expansion of y in y
6.309 * [backup-simplify]: Simplify 0 into 0
6.309 * [backup-simplify]: Simplify 1 into 1
6.309 * [backup-simplify]: Simplify (* x 0) into 0
6.309 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
6.309 * [backup-simplify]: Simplify (/ z x) into (/ z x)
6.309 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z
6.309 * [taylor]: Taking taylor expansion of -1 in z
6.309 * [backup-simplify]: Simplify -1 into -1
6.309 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
6.309 * [taylor]: Taking taylor expansion of z in z
6.309 * [backup-simplify]: Simplify 0 into 0
6.309 * [backup-simplify]: Simplify 1 into 1
6.309 * [taylor]: Taking taylor expansion of (* x y) in z
6.310 * [taylor]: Taking taylor expansion of x in z
6.310 * [backup-simplify]: Simplify x into x
6.310 * [taylor]: Taking taylor expansion of y in z
6.310 * [backup-simplify]: Simplify y into y
6.310 * [backup-simplify]: Simplify (* x y) into (* x y)
6.310 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
6.310 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
6.310 * [taylor]: Taking taylor expansion of -1 in x
6.310 * [backup-simplify]: Simplify -1 into -1
6.310 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
6.310 * [taylor]: Taking taylor expansion of z in x
6.310 * [backup-simplify]: Simplify z into z
6.310 * [taylor]: Taking taylor expansion of (* x y) in x
6.310 * [taylor]: Taking taylor expansion of x in x
6.310 * [backup-simplify]: Simplify 0 into 0
6.310 * [backup-simplify]: Simplify 1 into 1
6.310 * [taylor]: Taking taylor expansion of y in x
6.310 * [backup-simplify]: Simplify y into y
6.310 * [backup-simplify]: Simplify (* 0 y) into 0
6.310 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
6.310 * [backup-simplify]: Simplify (/ z y) into (/ z y)
6.310 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
6.310 * [taylor]: Taking taylor expansion of -1 in x
6.310 * [backup-simplify]: Simplify -1 into -1
6.310 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
6.310 * [taylor]: Taking taylor expansion of z in x
6.310 * [backup-simplify]: Simplify z into z
6.310 * [taylor]: Taking taylor expansion of (* x y) in x
6.310 * [taylor]: Taking taylor expansion of x in x
6.310 * [backup-simplify]: Simplify 0 into 0
6.310 * [backup-simplify]: Simplify 1 into 1
6.310 * [taylor]: Taking taylor expansion of y in x
6.310 * [backup-simplify]: Simplify y into y
6.310 * [backup-simplify]: Simplify (* 0 y) into 0
6.311 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
6.311 * [backup-simplify]: Simplify (/ z y) into (/ z y)
6.311 * [backup-simplify]: Simplify (* -1 (/ z y)) into (* -1 (/ z y))
6.311 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in z
6.311 * [taylor]: Taking taylor expansion of -1 in z
6.311 * [backup-simplify]: Simplify -1 into -1
6.311 * [taylor]: Taking taylor expansion of (/ z y) in z
6.311 * [taylor]: Taking taylor expansion of z in z
6.311 * [backup-simplify]: Simplify 0 into 0
6.311 * [backup-simplify]: Simplify 1 into 1
6.311 * [taylor]: Taking taylor expansion of y in z
6.311 * [backup-simplify]: Simplify y into y
6.311 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.311 * [backup-simplify]: Simplify (* -1 (/ 1 y)) into (/ -1 y)
6.311 * [taylor]: Taking taylor expansion of (/ -1 y) in y
6.311 * [taylor]: Taking taylor expansion of -1 in y
6.311 * [backup-simplify]: Simplify -1 into -1
6.311 * [taylor]: Taking taylor expansion of y in y
6.311 * [backup-simplify]: Simplify 0 into 0
6.311 * [backup-simplify]: Simplify 1 into 1
6.311 * [backup-simplify]: Simplify (/ -1 1) into -1
6.311 * [backup-simplify]: Simplify -1 into -1
6.312 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
6.312 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0
6.312 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ z y))) into 0
6.312 * [taylor]: Taking taylor expansion of 0 in z
6.312 * [backup-simplify]: Simplify 0 into 0
6.312 * [taylor]: Taking taylor expansion of 0 in y
6.312 * [backup-simplify]: Simplify 0 into 0
6.313 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0
6.313 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 y))) into 0
6.313 * [taylor]: Taking taylor expansion of 0 in y
6.313 * [backup-simplify]: Simplify 0 into 0
6.313 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
6.313 * [backup-simplify]: Simplify 0 into 0
6.314 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
6.314 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
6.315 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ z y)))) into 0
6.315 * [taylor]: Taking taylor expansion of 0 in z
6.315 * [backup-simplify]: Simplify 0 into 0
6.315 * [taylor]: Taking taylor expansion of 0 in y
6.315 * [backup-simplify]: Simplify 0 into 0
6.315 * [taylor]: Taking taylor expansion of 0 in y
6.315 * [backup-simplify]: Simplify 0 into 0
6.315 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
6.316 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0
6.316 * [taylor]: Taking taylor expansion of 0 in y
6.316 * [backup-simplify]: Simplify 0 into 0
6.316 * [backup-simplify]: Simplify 0 into 0
6.316 * [backup-simplify]: Simplify 0 into 0
6.316 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.316 * [backup-simplify]: Simplify 0 into 0
6.317 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
6.317 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
6.318 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ z y))))) into 0
6.318 * [taylor]: Taking taylor expansion of 0 in z
6.318 * [backup-simplify]: Simplify 0 into 0
6.318 * [taylor]: Taking taylor expansion of 0 in y
6.318 * [backup-simplify]: Simplify 0 into 0
6.318 * [taylor]: Taking taylor expansion of 0 in y
6.318 * [backup-simplify]: Simplify 0 into 0
6.318 * [taylor]: Taking taylor expansion of 0 in y
6.318 * [backup-simplify]: Simplify 0 into 0
6.318 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
6.319 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0
6.319 * [taylor]: Taking taylor expansion of 0 in y
6.319 * [backup-simplify]: Simplify 0 into 0
6.319 * [backup-simplify]: Simplify 0 into 0
6.319 * [backup-simplify]: Simplify 0 into 0
6.319 * [backup-simplify]: Simplify (* -1 (* (/ 1 (/ 1 (- y))) (* (/ 1 (- z)) (/ 1 (/ 1 (- x)))))) into (/ (* x y) z)
6.319 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
6.319 * [backup-simplify]: Simplify (+ (/ x z) y) into (+ (/ x z) y)
6.320 * [approximate]: Taking taylor expansion of (+ (/ x z) y) in (x z y) around 0
6.320 * [taylor]: Taking taylor expansion of (+ (/ x z) y) in y
6.320 * [taylor]: Taking taylor expansion of (/ x z) in y
6.320 * [taylor]: Taking taylor expansion of x in y
6.320 * [backup-simplify]: Simplify x into x
6.320 * [taylor]: Taking taylor expansion of z in y
6.320 * [backup-simplify]: Simplify z into z
6.320 * [backup-simplify]: Simplify (/ x z) into (/ x z)
6.320 * [taylor]: Taking taylor expansion of y in y
6.320 * [backup-simplify]: Simplify 0 into 0
6.320 * [backup-simplify]: Simplify 1 into 1
6.320 * [taylor]: Taking taylor expansion of (+ (/ x z) y) in z
6.320 * [taylor]: Taking taylor expansion of (/ x z) in z
6.320 * [taylor]: Taking taylor expansion of x in z
6.320 * [backup-simplify]: Simplify x into x
6.320 * [taylor]: Taking taylor expansion of z in z
6.320 * [backup-simplify]: Simplify 0 into 0
6.320 * [backup-simplify]: Simplify 1 into 1
6.320 * [backup-simplify]: Simplify (/ x 1) into x
6.320 * [taylor]: Taking taylor expansion of y in z
6.320 * [backup-simplify]: Simplify y into y
6.320 * [taylor]: Taking taylor expansion of (+ (/ x z) y) in x
6.320 * [taylor]: Taking taylor expansion of (/ x z) in x
6.320 * [taylor]: Taking taylor expansion of x in x
6.320 * [backup-simplify]: Simplify 0 into 0
6.320 * [backup-simplify]: Simplify 1 into 1
6.320 * [taylor]: Taking taylor expansion of z in x
6.320 * [backup-simplify]: Simplify z into z
6.320 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.320 * [taylor]: Taking taylor expansion of y in x
6.320 * [backup-simplify]: Simplify y into y
6.320 * [taylor]: Taking taylor expansion of (+ (/ x z) y) in x
6.320 * [taylor]: Taking taylor expansion of (/ x z) in x
6.320 * [taylor]: Taking taylor expansion of x in x
6.320 * [backup-simplify]: Simplify 0 into 0
6.320 * [backup-simplify]: Simplify 1 into 1
6.320 * [taylor]: Taking taylor expansion of z in x
6.320 * [backup-simplify]: Simplify z into z
6.320 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.320 * [taylor]: Taking taylor expansion of y in x
6.320 * [backup-simplify]: Simplify y into y
6.320 * [backup-simplify]: Simplify (+ 0 y) into y
6.320 * [taylor]: Taking taylor expansion of y in z
6.320 * [backup-simplify]: Simplify y into y
6.320 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
6.320 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.320 * [taylor]: Taking taylor expansion of z in z
6.320 * [backup-simplify]: Simplify 0 into 0
6.320 * [backup-simplify]: Simplify 1 into 1
6.321 * [backup-simplify]: Simplify (/ 1 1) into 1
6.321 * [taylor]: Taking taylor expansion of 1 in y
6.321 * [backup-simplify]: Simplify 1 into 1
6.321 * [backup-simplify]: Simplify 1 into 1
6.321 * [taylor]: Taking taylor expansion of y in y
6.321 * [backup-simplify]: Simplify 0 into 0
6.321 * [backup-simplify]: Simplify 1 into 1
6.321 * [backup-simplify]: Simplify 0 into 0
6.321 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
6.321 * [backup-simplify]: Simplify (+ 0 0) into 0
6.321 * [taylor]: Taking taylor expansion of 0 in z
6.321 * [backup-simplify]: Simplify 0 into 0
6.322 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.322 * [taylor]: Taking taylor expansion of 0 in y
6.322 * [backup-simplify]: Simplify 0 into 0
6.322 * [backup-simplify]: Simplify 0 into 0
6.322 * [taylor]: Taking taylor expansion of 0 in y
6.322 * [backup-simplify]: Simplify 0 into 0
6.322 * [backup-simplify]: Simplify 0 into 0
6.322 * [backup-simplify]: Simplify 0 into 0
6.322 * [backup-simplify]: Simplify 1 into 1
6.322 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
6.322 * [backup-simplify]: Simplify (+ 0 0) into 0
6.322 * [taylor]: Taking taylor expansion of 0 in z
6.322 * [backup-simplify]: Simplify 0 into 0
6.322 * [taylor]: Taking taylor expansion of 0 in y
6.322 * [backup-simplify]: Simplify 0 into 0
6.322 * [backup-simplify]: Simplify 0 into 0
6.323 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.323 * [taylor]: Taking taylor expansion of 0 in y
6.323 * [backup-simplify]: Simplify 0 into 0
6.323 * [backup-simplify]: Simplify 0 into 0
6.323 * [taylor]: Taking taylor expansion of 0 in y
6.323 * [backup-simplify]: Simplify 0 into 0
6.323 * [backup-simplify]: Simplify 0 into 0
6.323 * [backup-simplify]: Simplify 0 into 0
6.323 * [backup-simplify]: Simplify 0 into 0
6.323 * [backup-simplify]: Simplify 0 into 0
6.323 * [backup-simplify]: Simplify (+ (* 1 (* y (* 1 1))) (* 1 (* 1 (* (/ 1 z) x)))) into (+ (/ x z) y)
6.324 * [backup-simplify]: Simplify (+ (/ (/ 1 x) (/ 1 z)) (/ 1 y)) into (+ (/ 1 y) (/ z x))
6.324 * [approximate]: Taking taylor expansion of (+ (/ 1 y) (/ z x)) in (x z y) around 0
6.324 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ z x)) in y
6.324 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.324 * [taylor]: Taking taylor expansion of y in y
6.324 * [backup-simplify]: Simplify 0 into 0
6.324 * [backup-simplify]: Simplify 1 into 1
6.324 * [backup-simplify]: Simplify (/ 1 1) into 1
6.324 * [taylor]: Taking taylor expansion of (/ z x) in y
6.324 * [taylor]: Taking taylor expansion of z in y
6.324 * [backup-simplify]: Simplify z into z
6.324 * [taylor]: Taking taylor expansion of x in y
6.324 * [backup-simplify]: Simplify x into x
6.324 * [backup-simplify]: Simplify (/ z x) into (/ z x)
6.324 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ z x)) in z
6.324 * [taylor]: Taking taylor expansion of (/ 1 y) in z
6.324 * [taylor]: Taking taylor expansion of y in z
6.324 * [backup-simplify]: Simplify y into y
6.324 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.324 * [taylor]: Taking taylor expansion of (/ z x) in z
6.324 * [taylor]: Taking taylor expansion of z in z
6.324 * [backup-simplify]: Simplify 0 into 0
6.324 * [backup-simplify]: Simplify 1 into 1
6.324 * [taylor]: Taking taylor expansion of x in z
6.324 * [backup-simplify]: Simplify x into x
6.324 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.324 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ z x)) in x
6.324 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.324 * [taylor]: Taking taylor expansion of y in x
6.324 * [backup-simplify]: Simplify y into y
6.324 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.324 * [taylor]: Taking taylor expansion of (/ z x) in x
6.324 * [taylor]: Taking taylor expansion of z in x
6.324 * [backup-simplify]: Simplify z into z
6.324 * [taylor]: Taking taylor expansion of x in x
6.324 * [backup-simplify]: Simplify 0 into 0
6.324 * [backup-simplify]: Simplify 1 into 1
6.324 * [backup-simplify]: Simplify (/ z 1) into z
6.324 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ z x)) in x
6.325 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.325 * [taylor]: Taking taylor expansion of y in x
6.325 * [backup-simplify]: Simplify y into y
6.325 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.325 * [taylor]: Taking taylor expansion of (/ z x) in x
6.325 * [taylor]: Taking taylor expansion of z in x
6.325 * [backup-simplify]: Simplify z into z
6.325 * [taylor]: Taking taylor expansion of x in x
6.325 * [backup-simplify]: Simplify 0 into 0
6.325 * [backup-simplify]: Simplify 1 into 1
6.325 * [backup-simplify]: Simplify (/ z 1) into z
6.325 * [backup-simplify]: Simplify (+ 0 z) into z
6.325 * [taylor]: Taking taylor expansion of z in z
6.325 * [backup-simplify]: Simplify 0 into 0
6.325 * [backup-simplify]: Simplify 1 into 1
6.325 * [taylor]: Taking taylor expansion of 0 in y
6.325 * [backup-simplify]: Simplify 0 into 0
6.325 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
6.325 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
6.326 * [taylor]: Taking taylor expansion of (/ 1 y) in z
6.326 * [taylor]: Taking taylor expansion of y in z
6.326 * [backup-simplify]: Simplify y into y
6.326 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.326 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.326 * [taylor]: Taking taylor expansion of y in y
6.326 * [backup-simplify]: Simplify 0 into 0
6.326 * [backup-simplify]: Simplify 1 into 1
6.326 * [backup-simplify]: Simplify (/ 1 1) into 1
6.326 * [backup-simplify]: Simplify 1 into 1
6.326 * [taylor]: Taking taylor expansion of 1 in y
6.326 * [backup-simplify]: Simplify 1 into 1
6.326 * [backup-simplify]: Simplify 0 into 0
6.326 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
6.327 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.327 * [backup-simplify]: Simplify (+ 0 0) into 0
6.327 * [taylor]: Taking taylor expansion of 0 in z
6.327 * [backup-simplify]: Simplify 0 into 0
6.327 * [taylor]: Taking taylor expansion of 0 in y
6.327 * [backup-simplify]: Simplify 0 into 0
6.327 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
6.327 * [taylor]: Taking taylor expansion of 0 in y
6.327 * [backup-simplify]: Simplify 0 into 0
6.327 * [taylor]: Taking taylor expansion of 0 in y
6.327 * [backup-simplify]: Simplify 0 into 0
6.328 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.328 * [backup-simplify]: Simplify 0 into 0
6.328 * [backup-simplify]: Simplify 1 into 1
6.328 * [backup-simplify]: Simplify 0 into 0
6.328 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
6.329 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.329 * [backup-simplify]: Simplify (+ 0 0) into 0
6.329 * [taylor]: Taking taylor expansion of 0 in z
6.329 * [backup-simplify]: Simplify 0 into 0
6.329 * [taylor]: Taking taylor expansion of 0 in y
6.329 * [backup-simplify]: Simplify 0 into 0
6.329 * [taylor]: Taking taylor expansion of 0 in y
6.329 * [backup-simplify]: Simplify 0 into 0
6.330 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
6.330 * [taylor]: Taking taylor expansion of 0 in y
6.330 * [backup-simplify]: Simplify 0 into 0
6.330 * [taylor]: Taking taylor expansion of 0 in y
6.330 * [backup-simplify]: Simplify 0 into 0
6.330 * [backup-simplify]: Simplify 0 into 0
6.330 * [backup-simplify]: Simplify 0 into 0
6.330 * [backup-simplify]: Simplify 0 into 0
6.330 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.330 * [backup-simplify]: Simplify 0 into 0
6.330 * [backup-simplify]: Simplify 0 into 0
6.331 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 z) (/ 1 (/ 1 x))))) (* 1 (* (/ 1 (/ 1 y)) (* 1 1)))) into (+ (/ x z) y)
6.331 * [backup-simplify]: Simplify (+ (/ (/ 1 (- x)) (/ 1 (- z))) (/ 1 (- y))) into (- (/ z x) (/ 1 y))
6.331 * [approximate]: Taking taylor expansion of (- (/ z x) (/ 1 y)) in (x z y) around 0
6.331 * [taylor]: Taking taylor expansion of (- (/ z x) (/ 1 y)) in y
6.331 * [taylor]: Taking taylor expansion of (/ z x) in y
6.331 * [taylor]: Taking taylor expansion of z in y
6.331 * [backup-simplify]: Simplify z into z
6.331 * [taylor]: Taking taylor expansion of x in y
6.331 * [backup-simplify]: Simplify x into x
6.331 * [backup-simplify]: Simplify (/ z x) into (/ z x)
6.331 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.331 * [taylor]: Taking taylor expansion of y in y
6.331 * [backup-simplify]: Simplify 0 into 0
6.331 * [backup-simplify]: Simplify 1 into 1
6.331 * [backup-simplify]: Simplify (/ 1 1) into 1
6.331 * [taylor]: Taking taylor expansion of (- (/ z x) (/ 1 y)) in z
6.331 * [taylor]: Taking taylor expansion of (/ z x) in z
6.331 * [taylor]: Taking taylor expansion of z in z
6.331 * [backup-simplify]: Simplify 0 into 0
6.331 * [backup-simplify]: Simplify 1 into 1
6.331 * [taylor]: Taking taylor expansion of x in z
6.331 * [backup-simplify]: Simplify x into x
6.331 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.331 * [taylor]: Taking taylor expansion of (/ 1 y) in z
6.331 * [taylor]: Taking taylor expansion of y in z
6.331 * [backup-simplify]: Simplify y into y
6.332 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.332 * [taylor]: Taking taylor expansion of (- (/ z x) (/ 1 y)) in x
6.332 * [taylor]: Taking taylor expansion of (/ z x) in x
6.332 * [taylor]: Taking taylor expansion of z in x
6.332 * [backup-simplify]: Simplify z into z
6.332 * [taylor]: Taking taylor expansion of x in x
6.332 * [backup-simplify]: Simplify 0 into 0
6.332 * [backup-simplify]: Simplify 1 into 1
6.332 * [backup-simplify]: Simplify (/ z 1) into z
6.332 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.332 * [taylor]: Taking taylor expansion of y in x
6.332 * [backup-simplify]: Simplify y into y
6.332 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.332 * [taylor]: Taking taylor expansion of (- (/ z x) (/ 1 y)) in x
6.332 * [taylor]: Taking taylor expansion of (/ z x) in x
6.332 * [taylor]: Taking taylor expansion of z in x
6.332 * [backup-simplify]: Simplify z into z
6.332 * [taylor]: Taking taylor expansion of x in x
6.332 * [backup-simplify]: Simplify 0 into 0
6.332 * [backup-simplify]: Simplify 1 into 1
6.332 * [backup-simplify]: Simplify (/ z 1) into z
6.332 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.332 * [taylor]: Taking taylor expansion of y in x
6.332 * [backup-simplify]: Simplify y into y
6.332 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.332 * [backup-simplify]: Simplify (+ z 0) into z
6.332 * [taylor]: Taking taylor expansion of z in z
6.332 * [backup-simplify]: Simplify 0 into 0
6.332 * [backup-simplify]: Simplify 1 into 1
6.332 * [taylor]: Taking taylor expansion of 0 in y
6.332 * [backup-simplify]: Simplify 0 into 0
6.333 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
6.333 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
6.333 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y))
6.333 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in z
6.333 * [taylor]: Taking taylor expansion of (/ 1 y) in z
6.333 * [taylor]: Taking taylor expansion of y in z
6.333 * [backup-simplify]: Simplify y into y
6.333 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.333 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
6.333 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
6.333 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.333 * [taylor]: Taking taylor expansion of y in y
6.333 * [backup-simplify]: Simplify 0 into 0
6.333 * [backup-simplify]: Simplify 1 into 1
6.333 * [backup-simplify]: Simplify (/ 1 1) into 1
6.334 * [backup-simplify]: Simplify (- 1) into -1
6.334 * [backup-simplify]: Simplify -1 into -1
6.334 * [taylor]: Taking taylor expansion of 1 in y
6.334 * [backup-simplify]: Simplify 1 into 1
6.334 * [backup-simplify]: Simplify 0 into 0
6.334 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.335 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
6.335 * [backup-simplify]: Simplify (- 0) into 0
6.335 * [backup-simplify]: Simplify (+ 0 0) into 0
6.335 * [taylor]: Taking taylor expansion of 0 in z
6.335 * [backup-simplify]: Simplify 0 into 0
6.335 * [taylor]: Taking taylor expansion of 0 in y
6.335 * [backup-simplify]: Simplify 0 into 0
6.335 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
6.335 * [backup-simplify]: Simplify (- 0) into 0
6.335 * [taylor]: Taking taylor expansion of 0 in y
6.335 * [backup-simplify]: Simplify 0 into 0
6.335 * [taylor]: Taking taylor expansion of 0 in y
6.336 * [backup-simplify]: Simplify 0 into 0
6.336 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.336 * [backup-simplify]: Simplify (- 0) into 0
6.336 * [backup-simplify]: Simplify 0 into 0
6.336 * [backup-simplify]: Simplify 1 into 1
6.336 * [backup-simplify]: Simplify 0 into 0
6.337 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.337 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
6.338 * [backup-simplify]: Simplify (- 0) into 0
6.338 * [backup-simplify]: Simplify (+ 0 0) into 0
6.338 * [taylor]: Taking taylor expansion of 0 in z
6.338 * [backup-simplify]: Simplify 0 into 0
6.338 * [taylor]: Taking taylor expansion of 0 in y
6.338 * [backup-simplify]: Simplify 0 into 0
6.338 * [taylor]: Taking taylor expansion of 0 in y
6.338 * [backup-simplify]: Simplify 0 into 0
6.338 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
6.338 * [backup-simplify]: Simplify (- 0) into 0
6.338 * [taylor]: Taking taylor expansion of 0 in y
6.338 * [backup-simplify]: Simplify 0 into 0
6.338 * [taylor]: Taking taylor expansion of 0 in y
6.338 * [backup-simplify]: Simplify 0 into 0
6.338 * [backup-simplify]: Simplify 0 into 0
6.339 * [backup-simplify]: Simplify 0 into 0
6.339 * [backup-simplify]: Simplify 0 into 0
6.339 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.339 * [backup-simplify]: Simplify (- 0) into 0
6.339 * [backup-simplify]: Simplify 0 into 0
6.339 * [backup-simplify]: Simplify 0 into 0
6.340 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (- z)) (/ 1 (/ 1 (- x)))))) (* -1 (* (/ 1 (/ 1 (- y))) (* 1 1)))) into (+ (/ x z) y)
6.340 * * * [progress]: simplifying candidates
6.341 * [simplify]: Simplifying:
  (- (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)
  (* (exp (/ x z)) (exp y))
  (log (+ (/ x z) y))
  (exp (+ (/ 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))
  (+ (pow (/ x z) 3) (pow y 3))
  (+ (* (/ x z) (/ x z)) (- (* y y) (* (/ x z) y)))
  (- (* (/ x z) (/ x z)) (* y y))
  (- (/ x z) y)
  (+ (/ x z) y)
  (/ (* x y) z)
  (/ (* x y) z)
  (/ (* x y) z)
  (+ (/ x z) y)
  (+ (/ x z) y)
  (+ (/ x z) y)
6.341 * [simplify]: Sending expressions to egg_math:
 (- (log h2) (- (log h1) (log h0)))
 (- (log h2) (log (/ h1 h0)))
 (log (/ h2 (/ h1 h0)))
 (exp (/ h2 (/ h1 h0)))
 (/ (* (* h2 h2) h2) (/ (* (* h1 h1) h1) (* (* h0 h0) h0)))
 (/ (* (* h2 h2) h2) (* (* (/ h1 h0) (/ h1 h0)) (/ h1 h0)))
 (* (cbrt (/ h2 (/ h1 h0))) (cbrt (/ h2 (/ h1 h0))))
 (cbrt (/ h2 (/ h1 h0)))
 (* (* (/ h2 (/ h1 h0)) (/ h2 (/ h1 h0))) (/ h2 (/ h1 h0)))
 (sqrt (/ h2 (/ h1 h0)))
 (sqrt (/ h2 (/ h1 h0)))
 (- h2)
 (- (/ h1 h0))
 (/ (* (cbrt h2) (cbrt h2)) (* (cbrt (/ h1 h0)) (cbrt (/ h1 h0))))
 (/ (cbrt h2) (cbrt (/ h1 h0)))
 (/ (* (cbrt h2) (cbrt h2)) (sqrt (/ h1 h0)))
 (/ (cbrt h2) (sqrt (/ h1 h0)))
 (/ (* (cbrt h2) (cbrt h2)) (/ (* (cbrt h1) (cbrt h1)) (* (cbrt h0) (cbrt h0))))
 (/ (cbrt h2) (/ (cbrt h1) (cbrt h0)))
 (/ (* (cbrt h2) (cbrt h2)) (/ (* (cbrt h1) (cbrt h1)) (sqrt h0)))
 (/ (cbrt h2) (/ (cbrt h1) (sqrt h0)))
 (/ (* (cbrt h2) (cbrt h2)) (/ (* (cbrt h1) (cbrt h1)) 1))
 (/ (cbrt h2) (/ (cbrt h1) h0))
 (/ (* (cbrt h2) (cbrt h2)) (/ (sqrt h1) (* (cbrt h0) (cbrt h0))))
 (/ (cbrt h2) (/ (sqrt h1) (cbrt h0)))
 (/ (* (cbrt h2) (cbrt h2)) (/ (sqrt h1) (sqrt h0)))
 (/ (cbrt h2) (/ (sqrt h1) (sqrt h0)))
 (/ (* (cbrt h2) (cbrt h2)) (/ (sqrt h1) 1))
 (/ (cbrt h2) (/ (sqrt h1) h0))
 (/ (* (cbrt h2) (cbrt h2)) (/ 1 (* (cbrt h0) (cbrt h0))))
 (/ (cbrt h2) (/ h1 (cbrt h0)))
 (/ (* (cbrt h2) (cbrt h2)) (/ 1 (sqrt h0)))
 (/ (cbrt h2) (/ h1 (sqrt h0)))
 (/ (* (cbrt h2) (cbrt h2)) (/ 1 1))
 (/ (cbrt h2) (/ h1 h0))
 (/ (* (cbrt h2) (cbrt h2)) 1)
 (/ (cbrt h2) (/ h1 h0))
 (/ (* (cbrt h2) (cbrt h2)) h1)
 (/ (cbrt h2) (/ 1 h0))
 (/ (sqrt h2) (* (cbrt (/ h1 h0)) (cbrt (/ h1 h0))))
 (/ (sqrt h2) (cbrt (/ h1 h0)))
 (/ (sqrt h2) (sqrt (/ h1 h0)))
 (/ (sqrt h2) (sqrt (/ h1 h0)))
 (/ (sqrt h2) (/ (* (cbrt h1) (cbrt h1)) (* (cbrt h0) (cbrt h0))))
 (/ (sqrt h2) (/ (cbrt h1) (cbrt h0)))
 (/ (sqrt h2) (/ (* (cbrt h1) (cbrt h1)) (sqrt h0)))
 (/ (sqrt h2) (/ (cbrt h1) (sqrt h0)))
 (/ (sqrt h2) (/ (* (cbrt h1) (cbrt h1)) 1))
 (/ (sqrt h2) (/ (cbrt h1) h0))
 (/ (sqrt h2) (/ (sqrt h1) (* (cbrt h0) (cbrt h0))))
 (/ (sqrt h2) (/ (sqrt h1) (cbrt h0)))
 (/ (sqrt h2) (/ (sqrt h1) (sqrt h0)))
 (/ (sqrt h2) (/ (sqrt h1) (sqrt h0)))
 (/ (sqrt h2) (/ (sqrt h1) 1))
 (/ (sqrt h2) (/ (sqrt h1) h0))
 (/ (sqrt h2) (/ 1 (* (cbrt h0) (cbrt h0))))
 (/ (sqrt h2) (/ h1 (cbrt h0)))
 (/ (sqrt h2) (/ 1 (sqrt h0)))
 (/ (sqrt h2) (/ h1 (sqrt h0)))
 (/ (sqrt h2) (/ 1 1))
 (/ (sqrt h2) (/ h1 h0))
 (/ (sqrt h2) 1)
 (/ (sqrt h2) (/ h1 h0))
 (/ (sqrt h2) h1)
 (/ (sqrt h2) (/ 1 h0))
 (/ 1 (* (cbrt (/ h1 h0)) (cbrt (/ h1 h0))))
 (/ h2 (cbrt (/ h1 h0)))
 (/ 1 (sqrt (/ h1 h0)))
 (/ h2 (sqrt (/ h1 h0)))
 (/ 1 (/ (* (cbrt h1) (cbrt h1)) (* (cbrt h0) (cbrt h0))))
 (/ h2 (/ (cbrt h1) (cbrt h0)))
 (/ 1 (/ (* (cbrt h1) (cbrt h1)) (sqrt h0)))
 (/ h2 (/ (cbrt h1) (sqrt h0)))
 (/ 1 (/ (* (cbrt h1) (cbrt h1)) 1))
 (/ h2 (/ (cbrt h1) h0))
 (/ 1 (/ (sqrt h1) (* (cbrt h0) (cbrt h0))))
 (/ h2 (/ (sqrt h1) (cbrt h0)))
 (/ 1 (/ (sqrt h1) (sqrt h0)))
 (/ h2 (/ (sqrt h1) (sqrt h0)))
 (/ 1 (/ (sqrt h1) 1))
 (/ h2 (/ (sqrt h1) h0))
 (/ 1 (/ 1 (* (cbrt h0) (cbrt h0))))
 (/ h2 (/ h1 (cbrt h0)))
 (/ 1 (/ 1 (sqrt h0)))
 (/ h2 (/ h1 (sqrt h0)))
 (/ 1 (/ 1 1))
 (/ h2 (/ h1 h0))
 (/ 1 1)
 (/ h2 (/ h1 h0))
 (/ 1 h1)
 (/ h2 (/ 1 h0))
 (/ 1 (/ h1 h0))
 (/ (/ h1 h0) h2)
 (/ h2 (* (cbrt (/ h1 h0)) (cbrt (/ h1 h0))))
 (/ h2 (sqrt (/ h1 h0)))
 (/ h2 (/ (* (cbrt h1) (cbrt h1)) (* (cbrt h0) (cbrt h0))))
 (/ h2 (/ (* (cbrt h1) (cbrt h1)) (sqrt h0)))
 (/ h2 (/ (* (cbrt h1) (cbrt h1)) 1))
 (/ h2 (/ (sqrt h1) (* (cbrt h0) (cbrt h0))))
 (/ h2 (/ (sqrt h1) (sqrt h0)))
 (/ h2 (/ (sqrt h1) 1))
 (/ h2 (/ 1 (* (cbrt h0) (cbrt h0))))
 (/ h2 (/ 1 (sqrt h0)))
 (/ h2 (/ 1 1))
 (/ h2 1)
 (/ h2 h1)
 (/ (/ h1 h0) (cbrt h2))
 (/ (/ h1 h0) (sqrt h2))
 (/ (/ h1 h0) h2)
 (/ h2 h1)
 (* (exp (/ h2 h1)) (exp h0))
 (log (+ (/ h2 h1) h0))
 (exp (+ (/ h2 h1) h0))
 (* (cbrt (+ (/ h2 h1) h0)) (cbrt (+ (/ h2 h1) h0)))
 (cbrt (+ (/ h2 h1) h0))
 (* (* (+ (/ h2 h1) h0) (+ (/ h2 h1) h0)) (+ (/ h2 h1) h0))
 (sqrt (+ (/ h2 h1) h0))
 (sqrt (+ (/ h2 h1) h0))
 (+ (pow (/ h2 h1) 3) (pow h0 3))
 (+ (* (/ h2 h1) (/ h2 h1)) (- (* h0 h0) (* (/ h2 h1) h0)))
 (- (* (/ h2 h1) (/ h2 h1)) (* h0 h0))
 (- (/ h2 h1) h0)
 (+ (/ h2 h1) h0)
 (/ (* h2 h0) h1)
 (/ (* h2 h0) h1)
 (/ (* h2 h0) h1)
 (+ (/ h2 h1) h0)
 (+ (/ h2 h1) h0)
 (+ (/ h2 h1) h0)
6.868 * * * [progress]: adding candidates to table
7.137 * [progress]: [Phase 3 of 3] Extracting.
7.137 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (/ 1 (/ z (+ x (* y (- z x))))))> #<alt (λ (x y z) (- (+ (/ x z) y) (/ x (/ z y))))> #<alt (λ (x y z) (/ (* (cbrt (+ x (* y (- z x)))) (cbrt (+ x (* y (- z x))))) (/ z (cbrt (+ x (* y (- z x)))))))> #<alt (λ (x y z) (- (+ (/ x z) y) (* (/ x z) y)))> #<alt (λ (x y z) (- (+ (/ x z) y) (* x (/ y z))))>)
7.138 * * * [regime-changes]: Trying 3 branch expressions: (z y x)
7.138 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (/ 1 (/ z (+ x (* y (- z x))))))> #<alt (λ (x y z) (- (+ (/ x z) y) (/ x (/ z y))))> #<alt (λ (x y z) (/ (* (cbrt (+ x (* y (- z x)))) (cbrt (+ x (* y (- z x))))) (/ z (cbrt (+ x (* y (- z x)))))))> #<alt (λ (x y z) (- (+ (/ x z) y) (* (/ x z) y)))> #<alt (λ (x y z) (- (+ (/ x z) y) (* x (/ y z))))>)
7.162 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (/ 1 (/ z (+ x (* y (- z x))))))> #<alt (λ (x y z) (- (+ (/ x z) y) (/ x (/ z y))))> #<alt (λ (x y z) (/ (* (cbrt (+ x (* y (- z x)))) (cbrt (+ x (* y (- z x))))) (/ z (cbrt (+ x (* y (- z x)))))))> #<alt (λ (x y z) (- (+ (/ x z) y) (* (/ x z) y)))> #<alt (λ (x y z) (- (+ (/ x z) y) (* x (/ y z))))>)
7.189 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (/ 1 (/ z (+ x (* y (- z x))))))> #<alt (λ (x y z) (- (+ (/ x z) y) (/ x (/ z y))))> #<alt (λ (x y z) (/ (* (cbrt (+ x (* y (- z x)))) (cbrt (+ x (* y (- z x))))) (/ z (cbrt (+ x (* y (- z x)))))))> #<alt (λ (x y z) (- (+ (/ x z) y) (* (/ x z) y)))> #<alt (λ (x y z) (- (+ (/ x z) y) (* x (/ y z))))>)
7.217 * * * [regime]: Found split indices: #<option (#s(si 3 255))>
7.217 * [simplify]: Simplifying:
  (- (+ (/ x z) y) (* (/ x z) y))
7.217 * [simplify]: Sending expressions to egg_math:
 (- (+ (/ h2 h1) h0) (* (/ h2 h1) h0))
9.773 * [regime-testing]: Baseline error score: 0.045026868983803266
9.776 * [regime-testing]: Oracle error score: 0.007699082697927386
9.780 * [regime-testing]: End program error score: 3.201015314160325
9.803 * [regime-testing]: Target error score: 0.043401665833409465