18.559 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.045 * * * [progress]: [2/2] Setting up program.
0.050 * [progress]: [Phase 2 of 3] Improving.
0.050 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x y z t) (+ x (* (- y z) (- t x))))>
0.051 * [simplify]: Simplifying:
  (+ x (* (- y z) (- t x)))
0.051 * * [simplify]: iteration 0: 8 enodes
0.054 * * [simplify]: iteration 1: 14 enodes
0.059 * * [simplify]: iteration 2: 30 enodes
0.072 * * [simplify]: iteration 3: 86 enodes
0.117 * * [simplify]: iteration 4: 272 enodes
0.239 * * [simplify]: iteration 5: 745 enodes
0.733 * * [simplify]: iteration complete: 2000 enodes
0.733 * * [simplify]: Extracting #0: cost 1 inf + 0
0.733 * * [simplify]: Extracting #1: cost 148 inf + 0
0.735 * * [simplify]: Extracting #2: cost 376 inf + 1406
0.742 * * [simplify]: Extracting #3: cost 163 inf + 25509
0.763 * * [simplify]: Extracting #4: cost 2 inf + 49037
0.790 * * [simplify]: Extracting #5: cost 0 inf + 49188
0.805 * [simplify]: Simplified to:
  (fma (- t x) (- y z) x)
0.809 * * [progress]: iteration 1 / 4
0.809 * * * [progress]: picking best candidate
0.812 * * * * [pick]: Picked  #<alt (λ (x y z t) (fma (- t x) (- y z) x))>
0.812 * * * [progress]: localizing error
0.827 * * * [progress]: generating rewritten candidates
0.827 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.828 * * * [progress]: generating series expansions
0.828 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.828 * [backup-simplify]: Simplify (fma (- t x) (- y z) x) into (fma (- t x) (- y z) x)
0.828 * [approximate]: Taking taylor expansion of (fma (- t x) (- y z) x) in (t x y z) around 0
0.828 * [taylor]: Taking taylor expansion of (fma (- t x) (- y z) x) in z
0.828 * [taylor]: Rewrote expression to (+ (* (- t x) (- y z)) x)
0.828 * [taylor]: Taking taylor expansion of (* (- t x) (- y z)) in z
0.828 * [taylor]: Taking taylor expansion of (- t x) in z
0.828 * [taylor]: Taking taylor expansion of t in z
0.828 * [backup-simplify]: Simplify t into t
0.828 * [taylor]: Taking taylor expansion of x in z
0.828 * [backup-simplify]: Simplify x into x
0.828 * [taylor]: Taking taylor expansion of (- y z) in z
0.828 * [taylor]: Taking taylor expansion of y in z
0.828 * [backup-simplify]: Simplify y into y
0.828 * [taylor]: Taking taylor expansion of z in z
0.828 * [backup-simplify]: Simplify 0 into 0
0.828 * [backup-simplify]: Simplify 1 into 1
0.828 * [taylor]: Taking taylor expansion of x in z
0.828 * [backup-simplify]: Simplify x into x
0.828 * [taylor]: Taking taylor expansion of (fma (- t x) (- y z) x) in y
0.828 * [taylor]: Rewrote expression to (+ (* (- t x) (- y z)) x)
0.828 * [taylor]: Taking taylor expansion of (* (- t x) (- y z)) in y
0.828 * [taylor]: Taking taylor expansion of (- t x) in y
0.828 * [taylor]: Taking taylor expansion of t in y
0.828 * [backup-simplify]: Simplify t into t
0.828 * [taylor]: Taking taylor expansion of x in y
0.828 * [backup-simplify]: Simplify x into x
0.829 * [taylor]: Taking taylor expansion of (- y z) in y
0.829 * [taylor]: Taking taylor expansion of y in y
0.829 * [backup-simplify]: Simplify 0 into 0
0.829 * [backup-simplify]: Simplify 1 into 1
0.829 * [taylor]: Taking taylor expansion of z in y
0.829 * [backup-simplify]: Simplify z into z
0.829 * [taylor]: Taking taylor expansion of x in y
0.829 * [backup-simplify]: Simplify x into x
0.829 * [taylor]: Taking taylor expansion of (fma (- t x) (- y z) x) in x
0.829 * [taylor]: Rewrote expression to (+ (* (- t x) (- y z)) x)
0.829 * [taylor]: Taking taylor expansion of (* (- t x) (- y z)) in x
0.829 * [taylor]: Taking taylor expansion of (- t x) in x
0.829 * [taylor]: Taking taylor expansion of t in x
0.829 * [backup-simplify]: Simplify t into t
0.829 * [taylor]: Taking taylor expansion of x in x
0.829 * [backup-simplify]: Simplify 0 into 0
0.829 * [backup-simplify]: Simplify 1 into 1
0.829 * [taylor]: Taking taylor expansion of (- y z) in x
0.829 * [taylor]: Taking taylor expansion of y in x
0.829 * [backup-simplify]: Simplify y into y
0.829 * [taylor]: Taking taylor expansion of z in x
0.829 * [backup-simplify]: Simplify z into z
0.829 * [taylor]: Taking taylor expansion of x in x
0.829 * [backup-simplify]: Simplify 0 into 0
0.829 * [backup-simplify]: Simplify 1 into 1
0.829 * [taylor]: Taking taylor expansion of (fma (- t x) (- y z) x) in t
0.829 * [taylor]: Rewrote expression to (+ (* (- t x) (- y z)) x)
0.829 * [taylor]: Taking taylor expansion of (* (- t x) (- y z)) in t
0.829 * [taylor]: Taking taylor expansion of (- t x) in t
0.829 * [taylor]: Taking taylor expansion of t in t
0.829 * [backup-simplify]: Simplify 0 into 0
0.829 * [backup-simplify]: Simplify 1 into 1
0.829 * [taylor]: Taking taylor expansion of x in t
0.829 * [backup-simplify]: Simplify x into x
0.829 * [taylor]: Taking taylor expansion of (- y z) in t
0.829 * [taylor]: Taking taylor expansion of y in t
0.829 * [backup-simplify]: Simplify y into y
0.829 * [taylor]: Taking taylor expansion of z in t
0.829 * [backup-simplify]: Simplify z into z
0.829 * [taylor]: Taking taylor expansion of x in t
0.830 * [backup-simplify]: Simplify x into x
0.830 * [taylor]: Taking taylor expansion of (fma (- t x) (- y z) x) in t
0.830 * [taylor]: Rewrote expression to (+ (* (- t x) (- y z)) x)
0.830 * [taylor]: Taking taylor expansion of (* (- t x) (- y z)) in t
0.830 * [taylor]: Taking taylor expansion of (- t x) in t
0.830 * [taylor]: Taking taylor expansion of t in t
0.830 * [backup-simplify]: Simplify 0 into 0
0.830 * [backup-simplify]: Simplify 1 into 1
0.830 * [taylor]: Taking taylor expansion of x in t
0.830 * [backup-simplify]: Simplify x into x
0.830 * [taylor]: Taking taylor expansion of (- y z) in t
0.830 * [taylor]: Taking taylor expansion of y in t
0.830 * [backup-simplify]: Simplify y into y
0.830 * [taylor]: Taking taylor expansion of z in t
0.830 * [backup-simplify]: Simplify z into z
0.830 * [taylor]: Taking taylor expansion of x in t
0.830 * [backup-simplify]: Simplify x into x
0.830 * [backup-simplify]: Simplify (- x) into (- x)
0.830 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x)
0.830 * [backup-simplify]: Simplify (- z) into (- z)
0.830 * [backup-simplify]: Simplify (+ y (- z)) into (- y z)
0.830 * [backup-simplify]: Simplify (* (- x) (- y z)) into (* -1 (* x (- y z)))
0.830 * [backup-simplify]: Simplify (+ (* -1 (* x (- y z))) x) into (- (+ x (* x z)) (* x y))
0.830 * [taylor]: Taking taylor expansion of (- (+ x (* x z)) (* x y)) in x
0.830 * [taylor]: Taking taylor expansion of (+ x (* x z)) in x
0.830 * [taylor]: Taking taylor expansion of x in x
0.830 * [backup-simplify]: Simplify 0 into 0
0.831 * [backup-simplify]: Simplify 1 into 1
0.831 * [taylor]: Taking taylor expansion of (* x z) in x
0.831 * [taylor]: Taking taylor expansion of x in x
0.831 * [backup-simplify]: Simplify 0 into 0
0.831 * [backup-simplify]: Simplify 1 into 1
0.831 * [taylor]: Taking taylor expansion of z in x
0.831 * [backup-simplify]: Simplify z into z
0.831 * [taylor]: Taking taylor expansion of (* x y) in x
0.831 * [taylor]: Taking taylor expansion of x in x
0.831 * [backup-simplify]: Simplify 0 into 0
0.831 * [backup-simplify]: Simplify 1 into 1
0.831 * [taylor]: Taking taylor expansion of y in x
0.831 * [backup-simplify]: Simplify y into y
0.831 * [backup-simplify]: Simplify (* 0 z) into 0
0.831 * [backup-simplify]: Simplify (+ 0 0) into 0
0.831 * [backup-simplify]: Simplify (* 0 y) into 0
0.832 * [backup-simplify]: Simplify (- 0) into 0
0.832 * [backup-simplify]: Simplify (+ 0 0) into 0
0.832 * [taylor]: Taking taylor expansion of 0 in y
0.832 * [backup-simplify]: Simplify 0 into 0
0.832 * [taylor]: Taking taylor expansion of 0 in z
0.832 * [backup-simplify]: Simplify 0 into 0
0.832 * [backup-simplify]: Simplify 0 into 0
0.833 * [backup-simplify]: Simplify (- 0) into 0
0.833 * [backup-simplify]: Simplify (+ 0 0) into 0
0.833 * [backup-simplify]: Simplify (- 0) into 0
0.834 * [backup-simplify]: Simplify (+ 1 0) into 1
0.834 * [backup-simplify]: Simplify (+ (* (- x) 0) (* 1 (- y z))) into (- y z)
0.834 * [backup-simplify]: Simplify (+ (- y z) 0) into (- y z)
0.834 * [taylor]: Taking taylor expansion of (- y z) in x
0.834 * [taylor]: Taking taylor expansion of y in x
0.834 * [backup-simplify]: Simplify y into y
0.834 * [taylor]: Taking taylor expansion of z in x
0.834 * [backup-simplify]: Simplify z into z
0.834 * [backup-simplify]: Simplify (- z) into (- z)
0.834 * [backup-simplify]: Simplify (+ y (- z)) into (- y z)
0.834 * [taylor]: Taking taylor expansion of (- y z) in y
0.834 * [taylor]: Taking taylor expansion of y in y
0.834 * [backup-simplify]: Simplify 0 into 0
0.834 * [backup-simplify]: Simplify 1 into 1
0.834 * [taylor]: Taking taylor expansion of z in y
0.834 * [backup-simplify]: Simplify z into z
0.834 * [backup-simplify]: Simplify (- z) into (- z)
0.834 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
0.834 * [taylor]: Taking taylor expansion of (- z) in z
0.834 * [taylor]: Taking taylor expansion of z in z
0.834 * [backup-simplify]: Simplify 0 into 0
0.835 * [backup-simplify]: Simplify 1 into 1
0.835 * [backup-simplify]: Simplify (- 0) into 0
0.835 * [backup-simplify]: Simplify 0 into 0
0.835 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
0.835 * [backup-simplify]: Simplify (+ 1 z) into (+ z 1)
0.836 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
0.836 * [backup-simplify]: Simplify (- y) into (- y)
0.836 * [backup-simplify]: Simplify (+ (+ z 1) (- y)) into (- (+ z 1) y)
0.836 * [taylor]: Taking taylor expansion of (- (+ z 1) y) in y
0.836 * [taylor]: Taking taylor expansion of (+ z 1) in y
0.836 * [taylor]: Taking taylor expansion of z in y
0.836 * [backup-simplify]: Simplify z into z
0.836 * [taylor]: Taking taylor expansion of 1 in y
0.836 * [backup-simplify]: Simplify 1 into 1
0.836 * [taylor]: Taking taylor expansion of y in y
0.836 * [backup-simplify]: Simplify 0 into 0
0.836 * [backup-simplify]: Simplify 1 into 1
0.836 * [backup-simplify]: Simplify (+ z 1) into (+ z 1)
0.836 * [backup-simplify]: Simplify (- 0) into 0
0.837 * [backup-simplify]: Simplify (+ (+ z 1) 0) into (+ z 1)
0.837 * [taylor]: Taking taylor expansion of (+ z 1) in z
0.837 * [taylor]: Taking taylor expansion of z in z
0.837 * [backup-simplify]: Simplify 0 into 0
0.837 * [backup-simplify]: Simplify 1 into 1
0.837 * [taylor]: Taking taylor expansion of 1 in z
0.837 * [backup-simplify]: Simplify 1 into 1
0.837 * [backup-simplify]: Simplify (+ 0 1) into 1
0.837 * [backup-simplify]: Simplify 1 into 1
0.837 * [taylor]: Taking taylor expansion of 0 in z
0.837 * [backup-simplify]: Simplify 0 into 0
0.837 * [backup-simplify]: Simplify 0 into 0
0.837 * [backup-simplify]: Simplify 0 into 0
0.838 * [backup-simplify]: Simplify (- 0) into 0
0.838 * [backup-simplify]: Simplify (+ 0 0) into 0
0.838 * [backup-simplify]: Simplify (- 0) into 0
0.839 * [backup-simplify]: Simplify (+ 0 0) into 0
0.839 * [backup-simplify]: Simplify (+ (* (- x) 0) (+ (* 1 0) (* 0 (- y z)))) into 0
0.839 * [backup-simplify]: Simplify (+ 0 0) into 0
0.840 * [taylor]: Taking taylor expansion of 0 in x
0.840 * [backup-simplify]: Simplify 0 into 0
0.840 * [taylor]: Taking taylor expansion of 0 in y
0.840 * [backup-simplify]: Simplify 0 into 0
0.840 * [taylor]: Taking taylor expansion of 0 in z
0.840 * [backup-simplify]: Simplify 0 into 0
0.840 * [backup-simplify]: Simplify 0 into 0
0.840 * [backup-simplify]: Simplify (- 0) into 0
0.840 * [backup-simplify]: Simplify (+ 0 0) into 0
0.840 * [taylor]: Taking taylor expansion of 0 in y
0.840 * [backup-simplify]: Simplify 0 into 0
0.840 * [taylor]: Taking taylor expansion of 0 in z
0.840 * [backup-simplify]: Simplify 0 into 0
0.841 * [backup-simplify]: Simplify 0 into 0
0.841 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0
0.842 * [backup-simplify]: Simplify (+ 0 0) into 0
0.842 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
0.843 * [backup-simplify]: Simplify (- 0) into 0
0.843 * [backup-simplify]: Simplify (+ 0 0) into 0
0.843 * [taylor]: Taking taylor expansion of 0 in y
0.843 * [backup-simplify]: Simplify 0 into 0
0.843 * [taylor]: Taking taylor expansion of 0 in z
0.843 * [backup-simplify]: Simplify 0 into 0
0.843 * [backup-simplify]: Simplify 0 into 0
0.843 * [backup-simplify]: Simplify (- 0) into 0
0.844 * [backup-simplify]: Simplify (+ 1 0) into 1
0.844 * [taylor]: Taking taylor expansion of 1 in z
0.844 * [backup-simplify]: Simplify 1 into 1
0.844 * [backup-simplify]: Simplify 1 into 1
0.844 * [backup-simplify]: Simplify (+ 0 0) into 0
0.845 * [backup-simplify]: Simplify (- 1) into -1
0.845 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.845 * [taylor]: Taking taylor expansion of -1 in z
0.845 * [backup-simplify]: Simplify -1 into -1
0.845 * [backup-simplify]: Simplify -1 into -1
0.845 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* y (* x 1)))) (+ (* 1 (* 1 (* y (* 1 t)))) (* 1 (* 1 (* 1 (* x 1)))))) into (- (+ (* t y) x) (* x y))
0.846 * [backup-simplify]: Simplify (fma (- (/ 1 t) (/ 1 x)) (- (/ 1 y) (/ 1 z)) (/ 1 x)) into (fma (- (/ 1 t) (/ 1 x)) (- (/ 1 y) (/ 1 z)) (/ 1 x))
0.846 * [approximate]: Taking taylor expansion of (fma (- (/ 1 t) (/ 1 x)) (- (/ 1 y) (/ 1 z)) (/ 1 x)) in (t x y z) around 0
0.846 * [taylor]: Taking taylor expansion of (fma (- (/ 1 t) (/ 1 x)) (- (/ 1 y) (/ 1 z)) (/ 1 x)) in z
0.846 * [taylor]: Rewrote expression to (+ (* (- (/ 1 t) (/ 1 x)) (- (/ 1 y) (/ 1 z))) (/ 1 x))
0.846 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 x)) (- (/ 1 y) (/ 1 z))) in z
0.846 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in z
0.846 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.846 * [taylor]: Taking taylor expansion of t in z
0.846 * [backup-simplify]: Simplify t into t
0.846 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
0.846 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.846 * [taylor]: Taking taylor expansion of x in z
0.846 * [backup-simplify]: Simplify x into x
0.846 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.846 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
0.846 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.846 * [taylor]: Taking taylor expansion of y in z
0.846 * [backup-simplify]: Simplify y into y
0.846 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.846 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.846 * [taylor]: Taking taylor expansion of z in z
0.846 * [backup-simplify]: Simplify 0 into 0
0.846 * [backup-simplify]: Simplify 1 into 1
0.847 * [backup-simplify]: Simplify (/ 1 1) into 1
0.847 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.847 * [taylor]: Taking taylor expansion of x in z
0.847 * [backup-simplify]: Simplify x into x
0.847 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.847 * [taylor]: Taking taylor expansion of (fma (- (/ 1 t) (/ 1 x)) (- (/ 1 y) (/ 1 z)) (/ 1 x)) in y
0.847 * [taylor]: Rewrote expression to (+ (* (- (/ 1 t) (/ 1 x)) (- (/ 1 y) (/ 1 z))) (/ 1 x))
0.847 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 x)) (- (/ 1 y) (/ 1 z))) in y
0.847 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in y
0.847 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.847 * [taylor]: Taking taylor expansion of t in y
0.847 * [backup-simplify]: Simplify t into t
0.847 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
0.847 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.847 * [taylor]: Taking taylor expansion of x in y
0.847 * [backup-simplify]: Simplify x into x
0.847 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.847 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
0.847 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.847 * [taylor]: Taking taylor expansion of y in y
0.847 * [backup-simplify]: Simplify 0 into 0
0.847 * [backup-simplify]: Simplify 1 into 1
0.848 * [backup-simplify]: Simplify (/ 1 1) into 1
0.848 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.848 * [taylor]: Taking taylor expansion of z in y
0.848 * [backup-simplify]: Simplify z into z
0.848 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.848 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.848 * [taylor]: Taking taylor expansion of x in y
0.848 * [backup-simplify]: Simplify x into x
0.848 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.848 * [taylor]: Taking taylor expansion of (fma (- (/ 1 t) (/ 1 x)) (- (/ 1 y) (/ 1 z)) (/ 1 x)) in x
0.848 * [taylor]: Rewrote expression to (+ (* (- (/ 1 t) (/ 1 x)) (- (/ 1 y) (/ 1 z))) (/ 1 x))
0.848 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 x)) (- (/ 1 y) (/ 1 z))) in x
0.848 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in x
0.848 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.848 * [taylor]: Taking taylor expansion of t in x
0.848 * [backup-simplify]: Simplify t into t
0.848 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
0.848 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.848 * [taylor]: Taking taylor expansion of x in x
0.848 * [backup-simplify]: Simplify 0 into 0
0.848 * [backup-simplify]: Simplify 1 into 1
0.849 * [backup-simplify]: Simplify (/ 1 1) into 1
0.849 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x
0.849 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.849 * [taylor]: Taking taylor expansion of y in x
0.849 * [backup-simplify]: Simplify y into y
0.849 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.849 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.849 * [taylor]: Taking taylor expansion of z in x
0.849 * [backup-simplify]: Simplify z into z
0.849 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.849 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.849 * [taylor]: Taking taylor expansion of x in x
0.849 * [backup-simplify]: Simplify 0 into 0
0.849 * [backup-simplify]: Simplify 1 into 1
0.849 * [backup-simplify]: Simplify (/ 1 1) into 1
0.849 * [taylor]: Taking taylor expansion of (fma (- (/ 1 t) (/ 1 x)) (- (/ 1 y) (/ 1 z)) (/ 1 x)) in t
0.849 * [taylor]: Rewrote expression to (+ (* (- (/ 1 t) (/ 1 x)) (- (/ 1 y) (/ 1 z))) (/ 1 x))
0.850 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 x)) (- (/ 1 y) (/ 1 z))) in t
0.850 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in t
0.850 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.850 * [taylor]: Taking taylor expansion of t in t
0.850 * [backup-simplify]: Simplify 0 into 0
0.850 * [backup-simplify]: Simplify 1 into 1
0.850 * [backup-simplify]: Simplify (/ 1 1) into 1
0.850 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.850 * [taylor]: Taking taylor expansion of x in t
0.850 * [backup-simplify]: Simplify x into x
0.850 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.850 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in t
0.850 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.850 * [taylor]: Taking taylor expansion of y in t
0.850 * [backup-simplify]: Simplify y into y
0.850 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.850 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.850 * [taylor]: Taking taylor expansion of z in t
0.850 * [backup-simplify]: Simplify z into z
0.850 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.850 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.850 * [taylor]: Taking taylor expansion of x in t
0.850 * [backup-simplify]: Simplify x into x
0.850 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.851 * [taylor]: Taking taylor expansion of (fma (- (/ 1 t) (/ 1 x)) (- (/ 1 y) (/ 1 z)) (/ 1 x)) in t
0.851 * [taylor]: Rewrote expression to (+ (* (- (/ 1 t) (/ 1 x)) (- (/ 1 y) (/ 1 z))) (/ 1 x))
0.851 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 x)) (- (/ 1 y) (/ 1 z))) in t
0.851 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in t
0.851 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.851 * [taylor]: Taking taylor expansion of t in t
0.851 * [backup-simplify]: Simplify 0 into 0
0.851 * [backup-simplify]: Simplify 1 into 1
0.851 * [backup-simplify]: Simplify (/ 1 1) into 1
0.851 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.851 * [taylor]: Taking taylor expansion of x in t
0.851 * [backup-simplify]: Simplify x into x
0.851 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.851 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in t
0.851 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.851 * [taylor]: Taking taylor expansion of y in t
0.851 * [backup-simplify]: Simplify y into y
0.851 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.851 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.851 * [taylor]: Taking taylor expansion of z in t
0.851 * [backup-simplify]: Simplify z into z
0.851 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.851 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.852 * [taylor]: Taking taylor expansion of x in t
0.852 * [backup-simplify]: Simplify x into x
0.852 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.852 * [backup-simplify]: Simplify (+ 1 0) into 1
0.852 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
0.852 * [backup-simplify]: Simplify (+ (/ 1 y) (- (/ 1 z))) into (- (/ 1 y) (/ 1 z))
0.852 * [backup-simplify]: Simplify (* 1 (- (/ 1 y) (/ 1 z))) into (- (/ 1 y) (/ 1 z))
0.852 * [backup-simplify]: Simplify (+ (- (/ 1 y) (/ 1 z)) 0) into (- (/ 1 y) (/ 1 z))
0.853 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x
0.853 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.853 * [taylor]: Taking taylor expansion of y in x
0.853 * [backup-simplify]: Simplify y into y
0.853 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.853 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.853 * [taylor]: Taking taylor expansion of z in x
0.853 * [backup-simplify]: Simplify z into z
0.853 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.853 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.853 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
0.853 * [backup-simplify]: Simplify (- 0) into 0
0.854 * [backup-simplify]: Simplify (+ 0 0) into 0
0.854 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.854 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
0.854 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x))
0.855 * [backup-simplify]: Simplify (+ (* 1 0) (* (- (/ 1 x)) (- (/ 1 y) (/ 1 z)))) into (- (/ 1 (* x z)) (/ 1 (* x y)))
0.855 * [backup-simplify]: Simplify (+ (- (/ 1 (* x z)) (/ 1 (* x y))) (/ 1 x)) into (- (+ (/ 1 (* x z)) (/ 1 x)) (/ 1 (* x y)))
0.855 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 x)) (/ 1 (* x y))) in x
0.855 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in x
0.855 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
0.855 * [taylor]: Taking taylor expansion of (* x z) in x
0.855 * [taylor]: Taking taylor expansion of x in x
0.855 * [backup-simplify]: Simplify 0 into 0
0.855 * [backup-simplify]: Simplify 1 into 1
0.855 * [taylor]: Taking taylor expansion of z in x
0.856 * [backup-simplify]: Simplify z into z
0.856 * [backup-simplify]: Simplify (* 0 z) into 0
0.856 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
0.856 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.856 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.856 * [taylor]: Taking taylor expansion of x in x
0.856 * [backup-simplify]: Simplify 0 into 0
0.856 * [backup-simplify]: Simplify 1 into 1
0.856 * [backup-simplify]: Simplify (/ 1 1) into 1
0.856 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.856 * [taylor]: Taking taylor expansion of (* x y) in x
0.856 * [taylor]: Taking taylor expansion of x in x
0.857 * [backup-simplify]: Simplify 0 into 0
0.857 * [backup-simplify]: Simplify 1 into 1
0.857 * [taylor]: Taking taylor expansion of y in x
0.857 * [backup-simplify]: Simplify y into y
0.857 * [backup-simplify]: Simplify (* 0 y) into 0
0.857 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
0.857 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.857 * [backup-simplify]: Simplify (+ (/ 1 z) 1) into (+ 1 (/ 1 z))
0.857 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
0.857 * [backup-simplify]: Simplify (+ (+ 1 (/ 1 z)) (- (/ 1 y))) into (- (+ 1 (/ 1 z)) (/ 1 y))
0.857 * [taylor]: Taking taylor expansion of (- (+ 1 (/ 1 z)) (/ 1 y)) in y
0.857 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 z)) in y
0.857 * [taylor]: Taking taylor expansion of 1 in y
0.857 * [backup-simplify]: Simplify 1 into 1
0.857 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.857 * [taylor]: Taking taylor expansion of z in y
0.858 * [backup-simplify]: Simplify z into z
0.858 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.858 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.858 * [taylor]: Taking taylor expansion of y in y
0.858 * [backup-simplify]: Simplify 0 into 0
0.858 * [backup-simplify]: Simplify 1 into 1
0.858 * [backup-simplify]: Simplify (/ 1 1) into 1
0.858 * [backup-simplify]: Simplify (- 1) into -1
0.859 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.859 * [taylor]: Taking taylor expansion of -1 in z
0.859 * [backup-simplify]: Simplify -1 into -1
0.859 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
0.859 * [backup-simplify]: Simplify (+ (/ 1 y) (- (/ 1 z))) into (- (/ 1 y) (/ 1 z))
0.859 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
0.859 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.859 * [taylor]: Taking taylor expansion of y in y
0.859 * [backup-simplify]: Simplify 0 into 0
0.859 * [backup-simplify]: Simplify 1 into 1
0.859 * [backup-simplify]: Simplify (/ 1 1) into 1
0.860 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.860 * [taylor]: Taking taylor expansion of z in y
0.860 * [backup-simplify]: Simplify z into z
0.860 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.860 * [backup-simplify]: Simplify (+ 1 0) into 1
0.860 * [taylor]: Taking taylor expansion of 1 in z
0.860 * [backup-simplify]: Simplify 1 into 1
0.860 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.860 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
0.861 * [backup-simplify]: Simplify (- 0) into 0
0.861 * [backup-simplify]: Simplify (+ 0 0) into 0
0.862 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.862 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
0.862 * [backup-simplify]: Simplify (- 0) into 0
0.863 * [backup-simplify]: Simplify (+ 0 0) into 0
0.863 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 x)) 0) (* 0 (- (/ 1 y) (/ 1 z))))) into 0
0.863 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
0.864 * [backup-simplify]: Simplify (+ 0 0) into 0
0.864 * [taylor]: Taking taylor expansion of 0 in x
0.864 * [backup-simplify]: Simplify 0 into 0
0.869 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0
0.869 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
0.870 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.870 * [backup-simplify]: Simplify (+ 0 0) into 0
0.870 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
0.870 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.871 * [backup-simplify]: Simplify (- 0) into 0
0.871 * [backup-simplify]: Simplify (+ 0 0) into 0
0.871 * [taylor]: Taking taylor expansion of 0 in y
0.871 * [backup-simplify]: Simplify 0 into 0
0.871 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.871 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
0.871 * [backup-simplify]: Simplify (- 0) into 0
0.872 * [backup-simplify]: Simplify (+ 0 0) into 0
0.872 * [taylor]: Taking taylor expansion of 0 in y
0.872 * [backup-simplify]: Simplify 0 into 0
0.872 * [backup-simplify]: Simplify (+ 1 (/ 1 z)) into (+ 1 (/ 1 z))
0.872 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.872 * [backup-simplify]: Simplify (- 0) into 0
0.872 * [backup-simplify]: Simplify (+ (+ 1 (/ 1 z)) 0) into (+ 1 (/ 1 z))
0.872 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 z)) in z
0.872 * [taylor]: Taking taylor expansion of 1 in z
0.872 * [backup-simplify]: Simplify 1 into 1
0.872 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.872 * [taylor]: Taking taylor expansion of z in z
0.872 * [backup-simplify]: Simplify 0 into 0
0.872 * [backup-simplify]: Simplify 1 into 1
0.873 * [backup-simplify]: Simplify (/ 1 1) into 1
0.873 * [backup-simplify]: Simplify (+ 0 1) into 1
0.873 * [backup-simplify]: Simplify 1 into 1
0.873 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.874 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
0.874 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z))
0.874 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
0.874 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.874 * [taylor]: Taking taylor expansion of z in z
0.874 * [backup-simplify]: Simplify 0 into 0
0.874 * [backup-simplify]: Simplify 1 into 1
0.874 * [backup-simplify]: Simplify (/ 1 1) into 1
0.874 * [backup-simplify]: Simplify (- 1) into -1
0.874 * [backup-simplify]: Simplify -1 into -1
0.874 * [backup-simplify]: Simplify -1 into -1
0.875 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* (/ 1 (/ 1 y)) (* (/ 1 (/ 1 x)) 1)))) (+ (* -1 (* (/ 1 (/ 1 z)) (* 1 (* 1 (/ 1 (/ 1 t)))))) (* 1 (* (/ 1 (/ 1 z)) (* 1 (* (/ 1 (/ 1 x)) 1)))))) into (- (* x z) (+ (* t z) (* x y)))
0.875 * [backup-simplify]: Simplify (fma (- (/ 1 (- t)) (/ 1 (- x))) (- (/ 1 (- y)) (/ 1 (- z))) (/ 1 (- x))) into (fma (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 y)) (/ -1 x))
0.875 * [approximate]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 y)) (/ -1 x)) in (t x y z) around 0
0.875 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 y)) (/ -1 x)) in z
0.875 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 y))) (/ -1 x))
0.875 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in z
0.875 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in z
0.875 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.875 * [taylor]: Taking taylor expansion of x in z
0.875 * [backup-simplify]: Simplify x into x
0.875 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.875 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.875 * [taylor]: Taking taylor expansion of t in z
0.875 * [backup-simplify]: Simplify t into t
0.875 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
0.875 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z
0.875 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.875 * [taylor]: Taking taylor expansion of z in z
0.875 * [backup-simplify]: Simplify 0 into 0
0.875 * [backup-simplify]: Simplify 1 into 1
0.875 * [backup-simplify]: Simplify (/ 1 1) into 1
0.875 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.876 * [taylor]: Taking taylor expansion of y in z
0.876 * [backup-simplify]: Simplify y into y
0.876 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.876 * [taylor]: Taking taylor expansion of (/ -1 x) in z
0.876 * [taylor]: Taking taylor expansion of -1 in z
0.876 * [backup-simplify]: Simplify -1 into -1
0.876 * [taylor]: Taking taylor expansion of x in z
0.876 * [backup-simplify]: Simplify x into x
0.876 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
0.876 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 y)) (/ -1 x)) in y
0.876 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 y))) (/ -1 x))
0.876 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in y
0.876 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in y
0.876 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.876 * [taylor]: Taking taylor expansion of x in y
0.876 * [backup-simplify]: Simplify x into x
0.876 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.876 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.876 * [taylor]: Taking taylor expansion of t in y
0.876 * [backup-simplify]: Simplify t into t
0.876 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
0.876 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
0.876 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.876 * [taylor]: Taking taylor expansion of z in y
0.876 * [backup-simplify]: Simplify z into z
0.876 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.876 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.876 * [taylor]: Taking taylor expansion of y in y
0.876 * [backup-simplify]: Simplify 0 into 0
0.876 * [backup-simplify]: Simplify 1 into 1
0.876 * [backup-simplify]: Simplify (/ 1 1) into 1
0.876 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.876 * [taylor]: Taking taylor expansion of -1 in y
0.876 * [backup-simplify]: Simplify -1 into -1
0.876 * [taylor]: Taking taylor expansion of x in y
0.876 * [backup-simplify]: Simplify x into x
0.876 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
0.876 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 y)) (/ -1 x)) in x
0.876 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 y))) (/ -1 x))
0.876 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in x
0.877 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in x
0.877 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.877 * [taylor]: Taking taylor expansion of x in x
0.877 * [backup-simplify]: Simplify 0 into 0
0.877 * [backup-simplify]: Simplify 1 into 1
0.877 * [backup-simplify]: Simplify (/ 1 1) into 1
0.877 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.877 * [taylor]: Taking taylor expansion of t in x
0.877 * [backup-simplify]: Simplify t into t
0.877 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
0.877 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x
0.877 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.877 * [taylor]: Taking taylor expansion of z in x
0.877 * [backup-simplify]: Simplify z into z
0.877 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.877 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.877 * [taylor]: Taking taylor expansion of y in x
0.877 * [backup-simplify]: Simplify y into y
0.877 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.877 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.877 * [taylor]: Taking taylor expansion of -1 in x
0.877 * [backup-simplify]: Simplify -1 into -1
0.877 * [taylor]: Taking taylor expansion of x in x
0.877 * [backup-simplify]: Simplify 0 into 0
0.877 * [backup-simplify]: Simplify 1 into 1
0.877 * [backup-simplify]: Simplify (/ -1 1) into -1
0.877 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 y)) (/ -1 x)) in t
0.878 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 y))) (/ -1 x))
0.878 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in t
0.878 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in t
0.878 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.878 * [taylor]: Taking taylor expansion of x in t
0.878 * [backup-simplify]: Simplify x into x
0.878 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.878 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.878 * [taylor]: Taking taylor expansion of t in t
0.878 * [backup-simplify]: Simplify 0 into 0
0.878 * [backup-simplify]: Simplify 1 into 1
0.878 * [backup-simplify]: Simplify (/ 1 1) into 1
0.878 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in t
0.878 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.878 * [taylor]: Taking taylor expansion of z in t
0.878 * [backup-simplify]: Simplify z into z
0.878 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.878 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.878 * [taylor]: Taking taylor expansion of y in t
0.878 * [backup-simplify]: Simplify y into y
0.878 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.878 * [taylor]: Taking taylor expansion of (/ -1 x) in t
0.878 * [taylor]: Taking taylor expansion of -1 in t
0.878 * [backup-simplify]: Simplify -1 into -1
0.878 * [taylor]: Taking taylor expansion of x in t
0.878 * [backup-simplify]: Simplify x into x
0.878 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
0.878 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 y)) (/ -1 x)) in t
0.878 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 y))) (/ -1 x))
0.878 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in t
0.878 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in t
0.878 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.878 * [taylor]: Taking taylor expansion of x in t
0.878 * [backup-simplify]: Simplify x into x
0.878 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.878 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.878 * [taylor]: Taking taylor expansion of t in t
0.878 * [backup-simplify]: Simplify 0 into 0
0.878 * [backup-simplify]: Simplify 1 into 1
0.879 * [backup-simplify]: Simplify (/ 1 1) into 1
0.879 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in t
0.879 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.879 * [taylor]: Taking taylor expansion of z in t
0.879 * [backup-simplify]: Simplify z into z
0.879 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.879 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.879 * [taylor]: Taking taylor expansion of y in t
0.879 * [backup-simplify]: Simplify y into y
0.879 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.879 * [taylor]: Taking taylor expansion of (/ -1 x) in t
0.879 * [taylor]: Taking taylor expansion of -1 in t
0.879 * [backup-simplify]: Simplify -1 into -1
0.879 * [taylor]: Taking taylor expansion of x in t
0.879 * [backup-simplify]: Simplify x into x
0.879 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
0.879 * [backup-simplify]: Simplify (- 1) into -1
0.880 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.880 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
0.880 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 y))) into (- (/ 1 z) (/ 1 y))
0.880 * [backup-simplify]: Simplify (* -1 (- (/ 1 z) (/ 1 y))) into (* -1 (- (/ 1 z) (/ 1 y)))
0.880 * [backup-simplify]: Simplify (+ (* -1 (- (/ 1 z) (/ 1 y))) 0) into (- (/ 1 y) (/ 1 z))
0.880 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x
0.880 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.880 * [taylor]: Taking taylor expansion of y in x
0.880 * [backup-simplify]: Simplify y into y
0.880 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.880 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.880 * [taylor]: Taking taylor expansion of z in x
0.880 * [backup-simplify]: Simplify z into z
0.880 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.880 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
0.880 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.881 * [backup-simplify]: Simplify (- 0) into 0
0.881 * [backup-simplify]: Simplify (+ 0 0) into 0
0.881 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.881 * [backup-simplify]: Simplify (- 0) into 0
0.882 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
0.882 * [backup-simplify]: Simplify (+ (* -1 0) (* (/ 1 x) (- (/ 1 z) (/ 1 y)))) into (- (/ 1 (* x z)) (/ 1 (* x y)))
0.882 * [backup-simplify]: Simplify (+ (- (/ 1 (* x z)) (/ 1 (* x y))) (/ -1 x)) into (- (/ 1 (* x z)) (+ (/ 1 (* x y)) (/ 1 x)))
0.882 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z)) (+ (/ 1 (* x y)) (/ 1 x))) in x
0.882 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
0.882 * [taylor]: Taking taylor expansion of (* x z) in x
0.882 * [taylor]: Taking taylor expansion of x in x
0.882 * [backup-simplify]: Simplify 0 into 0
0.882 * [backup-simplify]: Simplify 1 into 1
0.882 * [taylor]: Taking taylor expansion of z in x
0.882 * [backup-simplify]: Simplify z into z
0.882 * [backup-simplify]: Simplify (* 0 z) into 0
0.882 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
0.882 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.882 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x
0.882 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.882 * [taylor]: Taking taylor expansion of (* x y) in x
0.883 * [taylor]: Taking taylor expansion of x in x
0.883 * [backup-simplify]: Simplify 0 into 0
0.883 * [backup-simplify]: Simplify 1 into 1
0.883 * [taylor]: Taking taylor expansion of y in x
0.883 * [backup-simplify]: Simplify y into y
0.883 * [backup-simplify]: Simplify (* 0 y) into 0
0.883 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
0.883 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.883 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.883 * [taylor]: Taking taylor expansion of x in x
0.883 * [backup-simplify]: Simplify 0 into 0
0.883 * [backup-simplify]: Simplify 1 into 1
0.883 * [backup-simplify]: Simplify (/ 1 1) into 1
0.883 * [backup-simplify]: Simplify (+ (/ 1 y) 1) into (+ 1 (/ 1 y))
0.883 * [backup-simplify]: Simplify (- (+ 1 (/ 1 y))) into (- (+ 1 (/ 1 y)))
0.883 * [backup-simplify]: Simplify (+ (/ 1 z) (- (+ 1 (/ 1 y)))) into (- (/ 1 z) (+ (/ 1 y) 1))
0.883 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) 1)) in y
0.883 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.883 * [taylor]: Taking taylor expansion of z in y
0.883 * [backup-simplify]: Simplify z into z
0.883 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.884 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y
0.884 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.884 * [taylor]: Taking taylor expansion of y in y
0.884 * [backup-simplify]: Simplify 0 into 0
0.884 * [backup-simplify]: Simplify 1 into 1
0.884 * [backup-simplify]: Simplify (/ 1 1) into 1
0.884 * [taylor]: Taking taylor expansion of 1 in y
0.884 * [backup-simplify]: Simplify 1 into 1
0.884 * [backup-simplify]: Simplify (+ 1 0) into 1
0.885 * [backup-simplify]: Simplify (- 1) into -1
0.885 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.885 * [taylor]: Taking taylor expansion of -1 in z
0.885 * [backup-simplify]: Simplify -1 into -1
0.885 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
0.885 * [backup-simplify]: Simplify (+ (/ 1 y) (- (/ 1 z))) into (- (/ 1 y) (/ 1 z))
0.885 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
0.885 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.885 * [taylor]: Taking taylor expansion of y in y
0.885 * [backup-simplify]: Simplify 0 into 0
0.885 * [backup-simplify]: Simplify 1 into 1
0.885 * [backup-simplify]: Simplify (/ 1 1) into 1
0.885 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.885 * [taylor]: Taking taylor expansion of z in y
0.885 * [backup-simplify]: Simplify z into z
0.885 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.886 * [backup-simplify]: Simplify (+ 1 0) into 1
0.886 * [taylor]: Taking taylor expansion of 1 in z
0.886 * [backup-simplify]: Simplify 1 into 1
0.886 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
0.886 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.886 * [backup-simplify]: Simplify (- 0) into 0
0.886 * [backup-simplify]: Simplify (+ 0 0) into 0
0.886 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
0.887 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.887 * [backup-simplify]: Simplify (- 0) into 0
0.887 * [backup-simplify]: Simplify (+ 0 0) into 0
0.888 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 x) 0) (* 0 (- (/ 1 z) (/ 1 y))))) into 0
0.888 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
0.888 * [backup-simplify]: Simplify (+ 0 0) into 0
0.888 * [taylor]: Taking taylor expansion of 0 in x
0.888 * [backup-simplify]: Simplify 0 into 0
0.889 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0
0.889 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
0.889 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
0.889 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.890 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.890 * [backup-simplify]: Simplify (+ 0 0) into 0
0.890 * [backup-simplify]: Simplify (- 0) into 0
0.890 * [backup-simplify]: Simplify (+ 0 0) into 0
0.890 * [taylor]: Taking taylor expansion of 0 in y
0.890 * [backup-simplify]: Simplify 0 into 0
0.891 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.891 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
0.891 * [backup-simplify]: Simplify (- 0) into 0
0.891 * [backup-simplify]: Simplify (+ 0 0) into 0
0.891 * [taylor]: Taking taylor expansion of 0 in y
0.891 * [backup-simplify]: Simplify 0 into 0
0.892 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.892 * [backup-simplify]: Simplify (+ 0 1) into 1
0.892 * [backup-simplify]: Simplify (- 1) into -1
0.892 * [backup-simplify]: Simplify (+ (/ 1 z) -1) into (- (/ 1 z) 1)
0.892 * [taylor]: Taking taylor expansion of (- (/ 1 z) 1) in z
0.892 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.892 * [taylor]: Taking taylor expansion of z in z
0.892 * [backup-simplify]: Simplify 0 into 0
0.892 * [backup-simplify]: Simplify 1 into 1
0.892 * [backup-simplify]: Simplify (/ 1 1) into 1
0.892 * [taylor]: Taking taylor expansion of 1 in z
0.893 * [backup-simplify]: Simplify 1 into 1
0.893 * [backup-simplify]: Simplify (+ 1 0) into 1
0.893 * [backup-simplify]: Simplify 1 into 1
0.893 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.893 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
0.893 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z))
0.893 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
0.893 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.893 * [taylor]: Taking taylor expansion of z in z
0.893 * [backup-simplify]: Simplify 0 into 0
0.893 * [backup-simplify]: Simplify 1 into 1
0.894 * [backup-simplify]: Simplify (/ 1 1) into 1
0.894 * [backup-simplify]: Simplify (- 1) into -1
0.894 * [backup-simplify]: Simplify -1 into -1
0.894 * [backup-simplify]: Simplify -1 into -1
0.894 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* (/ 1 (/ 1 (- y))) (* (/ 1 (/ 1 (- x))) 1)))) (+ (* -1 (* (/ 1 (/ 1 (- z))) (* 1 (* 1 (/ 1 (/ 1 (- t))))))) (* 1 (* (/ 1 (/ 1 (- z))) (* 1 (* (/ 1 (/ 1 (- x))) 1)))))) into (- (* x z) (+ (* t z) (* x y)))
0.894 * * * [progress]: simplifying candidates
0.894 * * * * [progress]: [ 1 / 14 ] simplifiying candidate #<alt (λ (x y z t) (log1p (expm1 (fma (- t x) (- y z) x))))>
0.895 * * * * [progress]: [ 2 / 14 ] simplifiying candidate #<alt (λ (x y z t) (expm1 (log1p (fma (- t x) (- y z) x))))>
0.895 * * * * [progress]: [ 3 / 14 ] simplifiying candidate #<alt (λ (x y z t) (+ (* (- t x) (- y z)) x))>
0.895 * * * * [progress]: [ 4 / 14 ] simplifiying candidate #<alt (λ (x y z t) (pow (fma (- t x) (- y z) x) 1))>
0.895 * * * * [progress]: [ 5 / 14 ] simplifiying candidate #<alt (λ (x y z t) (exp (log (fma (- t x) (- y z) x))))>
0.895 * * * * [progress]: [ 6 / 14 ] simplifiying candidate #<alt (λ (x y z t) (log (exp (fma (- t x) (- y z) x))))>
0.895 * * * * [progress]: [ 7 / 14 ] simplifiying candidate #<alt (λ (x y z t) (* (* (cbrt (fma (- t x) (- y z) x)) (cbrt (fma (- t x) (- y z) x))) (cbrt (fma (- t x) (- y z) x))))>
0.895 * * * * [progress]: [ 8 / 14 ] simplifiying candidate #<alt (λ (x y z t) (cbrt (* (* (fma (- t x) (- y z) x) (fma (- t x) (- y z) x)) (fma (- t x) (- y z) x))))>
0.895 * * * * [progress]: [ 9 / 14 ] simplifiying candidate #<alt (λ (x y z t) (* (sqrt (fma (- t x) (- y z) x)) (sqrt (fma (- t x) (- y z) x))))>
0.895 * * * * [progress]: [ 10 / 14 ] simplifiying candidate #<alt (λ (x y z t) (* 1 (fma (- t x) (- y z) x)))>
0.895 * * * * [progress]: [ 11 / 14 ] simplifiying candidate #<alt (λ (x y z t) (posit16->real (real->posit16 (fma (- t x) (- y z) x))))>
0.895 * * * * [progress]: [ 12 / 14 ] simplifiying candidate #<alt (λ (x y z t) (- (+ (* t y) x) (* x y)))>
0.895 * * * * [progress]: [ 13 / 14 ] simplifiying candidate #<alt (λ (x y z t) (- (* x z) (+ (* t z) (* x y))))>
0.895 * * * * [progress]: [ 14 / 14 ] simplifiying candidate #<alt (λ (x y z t) (- (* x z) (+ (* t z) (* x y))))>
0.895 * [simplify]: Simplifying:
  (expm1 (fma (- t x) (- y z) x))
  (log1p (fma (- t x) (- y z) x))
  (* (- t x) (- y z))
  (log (fma (- t x) (- y z) x))
  (exp (fma (- t x) (- y z) x))
  (* (cbrt (fma (- t x) (- y z) x)) (cbrt (fma (- t x) (- y z) x)))
  (cbrt (fma (- t x) (- y z) x))
  (* (* (fma (- t x) (- y z) x) (fma (- t x) (- y z) x)) (fma (- t x) (- y z) x))
  (sqrt (fma (- t x) (- y z) x))
  (sqrt (fma (- t x) (- y z) x))
  (real->posit16 (fma (- t x) (- y z) x))
  (- (+ (* t y) x) (* x y))
  (- (* x z) (+ (* t z) (* x y)))
  (- (* x z) (+ (* t z) (* x y)))
0.895 * * [simplify]: iteration 0: 26 enodes
0.900 * * [simplify]: iteration 1: 50 enodes
0.908 * * [simplify]: iteration 2: 114 enodes
0.944 * * [simplify]: iteration 3: 326 enodes
1.093 * * [simplify]: iteration 4: 1713 enodes
1.465 * * [simplify]: iteration complete: 2000 enodes
1.465 * * [simplify]: Extracting #0: cost 12 inf + 0
1.465 * * [simplify]: Extracting #1: cost 116 inf + 0
1.467 * * [simplify]: Extracting #2: cost 390 inf + 2298
1.476 * * [simplify]: Extracting #3: cost 301 inf + 50716
1.507 * * [simplify]: Extracting #4: cost 12 inf + 118444
1.540 * * [simplify]: Extracting #5: cost 0 inf + 121773
1.570 * [simplify]: Simplified to:
  (expm1 (fma (- y z) (- t x) x))
  (log1p (fma (- y z) (- t x) x))
  (* (- t x) (- y z))
  (log (fma (- y z) (- t x) x))
  (exp (fma (- y z) (- t x) x))
  (* (cbrt (fma (- y z) (- t x) x)) (cbrt (fma (- y z) (- t x) x)))
  (cbrt (fma (- y z) (- t x) x))
  (* (* (fma (- y z) (- t x) x) (fma (- y z) (- t x) x)) (fma (- y z) (- t x) x))
  (sqrt (fma (- y z) (- t x) x))
  (sqrt (fma (- y z) (- t x) x))
  (real->posit16 (fma (- y z) (- t x) x))
  (fma y (- t x) x)
  (- (* (- z y) x) (* z t))
  (- (* (- z y) x) (* z t))
1.571 * * * [progress]: adding candidates to table
1.638 * * [progress]: iteration 2 / 4
1.638 * * * [progress]: picking best candidate
1.641 * * * * [pick]: Picked  #<alt (λ (x y z t) (- (* (- z y) x) (* z t)))>
1.641 * * * [progress]: localizing error
1.660 * * * [progress]: generating rewritten candidates
1.660 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
1.686 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
1.702 * * * [progress]: generating series expansions
1.702 * * * * [progress]: [ 1 / 2 ] generating series at (2)
1.702 * [backup-simplify]: Simplify (- (* (- z y) x) (* z t)) into (- (* x z) (+ (* x y) (* t z)))
1.702 * [approximate]: Taking taylor expansion of (- (* x z) (+ (* x y) (* t z))) in (z y x t) around 0
1.702 * [taylor]: Taking taylor expansion of (- (* x z) (+ (* x y) (* t z))) in t
1.702 * [taylor]: Taking taylor expansion of (* x z) in t
1.702 * [taylor]: Taking taylor expansion of x in t
1.702 * [backup-simplify]: Simplify x into x
1.702 * [taylor]: Taking taylor expansion of z in t
1.703 * [backup-simplify]: Simplify z into z
1.703 * [taylor]: Taking taylor expansion of (+ (* x y) (* t z)) in t
1.703 * [taylor]: Taking taylor expansion of (* x y) in t
1.703 * [taylor]: Taking taylor expansion of x in t
1.703 * [backup-simplify]: Simplify x into x
1.703 * [taylor]: Taking taylor expansion of y in t
1.703 * [backup-simplify]: Simplify y into y
1.703 * [taylor]: Taking taylor expansion of (* t z) in t
1.703 * [taylor]: Taking taylor expansion of t in t
1.703 * [backup-simplify]: Simplify 0 into 0
1.703 * [backup-simplify]: Simplify 1 into 1
1.703 * [taylor]: Taking taylor expansion of z in t
1.703 * [backup-simplify]: Simplify z into z
1.703 * [taylor]: Taking taylor expansion of (- (* x z) (+ (* x y) (* t z))) in x
1.703 * [taylor]: Taking taylor expansion of (* x z) in x
1.703 * [taylor]: Taking taylor expansion of x in x
1.703 * [backup-simplify]: Simplify 0 into 0
1.703 * [backup-simplify]: Simplify 1 into 1
1.703 * [taylor]: Taking taylor expansion of z in x
1.703 * [backup-simplify]: Simplify z into z
1.703 * [taylor]: Taking taylor expansion of (+ (* x y) (* t z)) in x
1.703 * [taylor]: Taking taylor expansion of (* x y) in x
1.703 * [taylor]: Taking taylor expansion of x in x
1.703 * [backup-simplify]: Simplify 0 into 0
1.703 * [backup-simplify]: Simplify 1 into 1
1.703 * [taylor]: Taking taylor expansion of y in x
1.703 * [backup-simplify]: Simplify y into y
1.703 * [taylor]: Taking taylor expansion of (* t z) in x
1.703 * [taylor]: Taking taylor expansion of t in x
1.703 * [backup-simplify]: Simplify t into t
1.703 * [taylor]: Taking taylor expansion of z in x
1.703 * [backup-simplify]: Simplify z into z
1.703 * [taylor]: Taking taylor expansion of (- (* x z) (+ (* x y) (* t z))) in y
1.703 * [taylor]: Taking taylor expansion of (* x z) in y
1.703 * [taylor]: Taking taylor expansion of x in y
1.703 * [backup-simplify]: Simplify x into x
1.703 * [taylor]: Taking taylor expansion of z in y
1.703 * [backup-simplify]: Simplify z into z
1.703 * [taylor]: Taking taylor expansion of (+ (* x y) (* t z)) in y
1.703 * [taylor]: Taking taylor expansion of (* x y) in y
1.703 * [taylor]: Taking taylor expansion of x in y
1.703 * [backup-simplify]: Simplify x into x
1.703 * [taylor]: Taking taylor expansion of y in y
1.703 * [backup-simplify]: Simplify 0 into 0
1.703 * [backup-simplify]: Simplify 1 into 1
1.703 * [taylor]: Taking taylor expansion of (* t z) in y
1.703 * [taylor]: Taking taylor expansion of t in y
1.703 * [backup-simplify]: Simplify t into t
1.703 * [taylor]: Taking taylor expansion of z in y
1.703 * [backup-simplify]: Simplify z into z
1.703 * [taylor]: Taking taylor expansion of (- (* x z) (+ (* x y) (* t z))) in z
1.703 * [taylor]: Taking taylor expansion of (* x z) in z
1.703 * [taylor]: Taking taylor expansion of x in z
1.703 * [backup-simplify]: Simplify x into x
1.703 * [taylor]: Taking taylor expansion of z in z
1.703 * [backup-simplify]: Simplify 0 into 0
1.703 * [backup-simplify]: Simplify 1 into 1
1.703 * [taylor]: Taking taylor expansion of (+ (* x y) (* t z)) in z
1.703 * [taylor]: Taking taylor expansion of (* x y) in z
1.703 * [taylor]: Taking taylor expansion of x in z
1.703 * [backup-simplify]: Simplify x into x
1.703 * [taylor]: Taking taylor expansion of y in z
1.703 * [backup-simplify]: Simplify y into y
1.703 * [taylor]: Taking taylor expansion of (* t z) in z
1.703 * [taylor]: Taking taylor expansion of t in z
1.703 * [backup-simplify]: Simplify t into t
1.703 * [taylor]: Taking taylor expansion of z in z
1.703 * [backup-simplify]: Simplify 0 into 0
1.703 * [backup-simplify]: Simplify 1 into 1
1.703 * [taylor]: Taking taylor expansion of (- (* x z) (+ (* x y) (* t z))) in z
1.703 * [taylor]: Taking taylor expansion of (* x z) in z
1.703 * [taylor]: Taking taylor expansion of x in z
1.703 * [backup-simplify]: Simplify x into x
1.703 * [taylor]: Taking taylor expansion of z in z
1.703 * [backup-simplify]: Simplify 0 into 0
1.703 * [backup-simplify]: Simplify 1 into 1
1.704 * [taylor]: Taking taylor expansion of (+ (* x y) (* t z)) in z
1.704 * [taylor]: Taking taylor expansion of (* x y) in z
1.704 * [taylor]: Taking taylor expansion of x in z
1.704 * [backup-simplify]: Simplify x into x
1.704 * [taylor]: Taking taylor expansion of y in z
1.704 * [backup-simplify]: Simplify y into y
1.704 * [taylor]: Taking taylor expansion of (* t z) in z
1.704 * [taylor]: Taking taylor expansion of t in z
1.704 * [backup-simplify]: Simplify t into t
1.704 * [taylor]: Taking taylor expansion of z in z
1.704 * [backup-simplify]: Simplify 0 into 0
1.704 * [backup-simplify]: Simplify 1 into 1
1.704 * [backup-simplify]: Simplify (* x 0) into 0
1.704 * [backup-simplify]: Simplify (* x y) into (* x y)
1.704 * [backup-simplify]: Simplify (* t 0) into 0
1.704 * [backup-simplify]: Simplify (+ (* x y) 0) into (* x y)
1.704 * [backup-simplify]: Simplify (- (* x y)) into (- (* x y))
1.704 * [backup-simplify]: Simplify (+ 0 (- (* x y))) into (- (* x y))
1.704 * [taylor]: Taking taylor expansion of (- (* x y)) in y
1.704 * [taylor]: Taking taylor expansion of (* x y) in y
1.704 * [taylor]: Taking taylor expansion of x in y
1.704 * [backup-simplify]: Simplify x into x
1.704 * [taylor]: Taking taylor expansion of y in y
1.704 * [backup-simplify]: Simplify 0 into 0
1.704 * [backup-simplify]: Simplify 1 into 1
1.704 * [backup-simplify]: Simplify (* x 0) into 0
1.705 * [backup-simplify]: Simplify (- 0) into 0
1.705 * [taylor]: Taking taylor expansion of 0 in x
1.705 * [backup-simplify]: Simplify 0 into 0
1.705 * [taylor]: Taking taylor expansion of 0 in t
1.705 * [backup-simplify]: Simplify 0 into 0
1.705 * [backup-simplify]: Simplify 0 into 0
1.705 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
1.705 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0
1.706 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t
1.706 * [backup-simplify]: Simplify (+ 0 t) into t
1.706 * [backup-simplify]: Simplify (- t) into (- t)
1.706 * [backup-simplify]: Simplify (+ x (- t)) into (- x t)
1.706 * [taylor]: Taking taylor expansion of (- x t) in y
1.706 * [taylor]: Taking taylor expansion of x in y
1.706 * [backup-simplify]: Simplify x into x
1.706 * [taylor]: Taking taylor expansion of t in y
1.706 * [backup-simplify]: Simplify t into t
1.706 * [backup-simplify]: Simplify (- t) into (- t)
1.706 * [backup-simplify]: Simplify (+ x (- t)) into (- x t)
1.706 * [taylor]: Taking taylor expansion of (- x t) in x
1.706 * [taylor]: Taking taylor expansion of x in x
1.706 * [backup-simplify]: Simplify 0 into 0
1.706 * [backup-simplify]: Simplify 1 into 1
1.706 * [taylor]: Taking taylor expansion of t in x
1.706 * [backup-simplify]: Simplify t into t
1.706 * [backup-simplify]: Simplify (- t) into (- t)
1.706 * [backup-simplify]: Simplify (+ 0 (- t)) into (- t)
1.706 * [taylor]: Taking taylor expansion of (- t) in t
1.706 * [taylor]: Taking taylor expansion of t in t
1.706 * [backup-simplify]: Simplify 0 into 0
1.706 * [backup-simplify]: Simplify 1 into 1
1.707 * [backup-simplify]: Simplify (- 0) into 0
1.707 * [backup-simplify]: Simplify 0 into 0
1.707 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
1.707 * [backup-simplify]: Simplify (- x) into (- x)
1.707 * [taylor]: Taking taylor expansion of (- x) in x
1.707 * [taylor]: Taking taylor expansion of x in x
1.707 * [backup-simplify]: Simplify 0 into 0
1.707 * [backup-simplify]: Simplify 1 into 1
1.708 * [backup-simplify]: Simplify (- 0) into 0
1.708 * [taylor]: Taking taylor expansion of 0 in t
1.708 * [backup-simplify]: Simplify 0 into 0
1.708 * [backup-simplify]: Simplify 0 into 0
1.708 * [taylor]: Taking taylor expansion of 0 in t
1.708 * [backup-simplify]: Simplify 0 into 0
1.708 * [backup-simplify]: Simplify 0 into 0
1.708 * [backup-simplify]: Simplify 0 into 0
1.708 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
1.709 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0
1.709 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 1) (* 0 0))) into 0
1.710 * [backup-simplify]: Simplify (+ 0 0) into 0
1.710 * [backup-simplify]: Simplify (- 0) into 0
1.710 * [backup-simplify]: Simplify (+ 0 0) into 0
1.710 * [taylor]: Taking taylor expansion of 0 in y
1.710 * [backup-simplify]: Simplify 0 into 0
1.710 * [taylor]: Taking taylor expansion of 0 in x
1.710 * [backup-simplify]: Simplify 0 into 0
1.711 * [taylor]: Taking taylor expansion of 0 in t
1.711 * [backup-simplify]: Simplify 0 into 0
1.711 * [backup-simplify]: Simplify 0 into 0
1.711 * [backup-simplify]: Simplify 0 into 0
1.711 * [backup-simplify]: Simplify (- (* (- (/ 1 z) (/ 1 y)) (/ 1 x)) (* (/ 1 z) (/ 1 t))) into (- (/ 1 (* x z)) (+ (/ 1 (* t z)) (/ 1 (* x y))))
1.711 * [approximate]: Taking taylor expansion of (- (/ 1 (* x z)) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in (z y x t) around 0
1.711 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z)) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in t
1.711 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in t
1.711 * [taylor]: Taking taylor expansion of (* x z) in t
1.711 * [taylor]: Taking taylor expansion of x in t
1.711 * [backup-simplify]: Simplify x into x
1.711 * [taylor]: Taking taylor expansion of z in t
1.711 * [backup-simplify]: Simplify z into z
1.711 * [backup-simplify]: Simplify (* x z) into (* x z)
1.711 * [backup-simplify]: Simplify (/ 1 (* x z)) into (/ 1 (* x z))
1.711 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in t
1.711 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
1.711 * [taylor]: Taking taylor expansion of (* t z) in t
1.711 * [taylor]: Taking taylor expansion of t in t
1.711 * [backup-simplify]: Simplify 0 into 0
1.711 * [backup-simplify]: Simplify 1 into 1
1.711 * [taylor]: Taking taylor expansion of z in t
1.711 * [backup-simplify]: Simplify z into z
1.711 * [backup-simplify]: Simplify (* 0 z) into 0
1.712 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
1.712 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.712 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
1.712 * [taylor]: Taking taylor expansion of (* x y) in t
1.712 * [taylor]: Taking taylor expansion of x in t
1.712 * [backup-simplify]: Simplify x into x
1.712 * [taylor]: Taking taylor expansion of y in t
1.712 * [backup-simplify]: Simplify y into y
1.712 * [backup-simplify]: Simplify (* x y) into (* x y)
1.712 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1.712 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z)) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in x
1.712 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
1.712 * [taylor]: Taking taylor expansion of (* x z) in x
1.712 * [taylor]: Taking taylor expansion of x in x
1.712 * [backup-simplify]: Simplify 0 into 0
1.712 * [backup-simplify]: Simplify 1 into 1
1.712 * [taylor]: Taking taylor expansion of z in x
1.712 * [backup-simplify]: Simplify z into z
1.712 * [backup-simplify]: Simplify (* 0 z) into 0
1.712 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
1.712 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.712 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x
1.712 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
1.712 * [taylor]: Taking taylor expansion of (* t z) in x
1.712 * [taylor]: Taking taylor expansion of t in x
1.712 * [backup-simplify]: Simplify t into t
1.712 * [taylor]: Taking taylor expansion of z in x
1.712 * [backup-simplify]: Simplify z into z
1.712 * [backup-simplify]: Simplify (* t z) into (* t z)
1.713 * [backup-simplify]: Simplify (/ 1 (* t z)) into (/ 1 (* t z))
1.713 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.713 * [taylor]: Taking taylor expansion of (* x y) in x
1.713 * [taylor]: Taking taylor expansion of x in x
1.713 * [backup-simplify]: Simplify 0 into 0
1.713 * [backup-simplify]: Simplify 1 into 1
1.713 * [taylor]: Taking taylor expansion of y in x
1.713 * [backup-simplify]: Simplify y into y
1.713 * [backup-simplify]: Simplify (* 0 y) into 0
1.713 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
1.713 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.713 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z)) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in y
1.713 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
1.713 * [taylor]: Taking taylor expansion of (* x z) in y
1.713 * [taylor]: Taking taylor expansion of x in y
1.713 * [backup-simplify]: Simplify x into x
1.713 * [taylor]: Taking taylor expansion of z in y
1.713 * [backup-simplify]: Simplify z into z
1.713 * [backup-simplify]: Simplify (* x z) into (* x z)
1.713 * [backup-simplify]: Simplify (/ 1 (* x z)) into (/ 1 (* x z))
1.713 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in y
1.713 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
1.713 * [taylor]: Taking taylor expansion of (* t z) in y
1.713 * [taylor]: Taking taylor expansion of t in y
1.713 * [backup-simplify]: Simplify t into t
1.713 * [taylor]: Taking taylor expansion of z in y
1.713 * [backup-simplify]: Simplify z into z
1.713 * [backup-simplify]: Simplify (* t z) into (* t z)
1.713 * [backup-simplify]: Simplify (/ 1 (* t z)) into (/ 1 (* t z))
1.713 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
1.713 * [taylor]: Taking taylor expansion of (* x y) in y
1.713 * [taylor]: Taking taylor expansion of x in y
1.713 * [backup-simplify]: Simplify x into x
1.713 * [taylor]: Taking taylor expansion of y in y
1.713 * [backup-simplify]: Simplify 0 into 0
1.713 * [backup-simplify]: Simplify 1 into 1
1.713 * [backup-simplify]: Simplify (* x 0) into 0
1.714 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
1.714 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.714 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z)) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in z
1.714 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
1.714 * [taylor]: Taking taylor expansion of (* x z) in z
1.714 * [taylor]: Taking taylor expansion of x in z
1.714 * [backup-simplify]: Simplify x into x
1.714 * [taylor]: Taking taylor expansion of z in z
1.714 * [backup-simplify]: Simplify 0 into 0
1.714 * [backup-simplify]: Simplify 1 into 1
1.714 * [backup-simplify]: Simplify (* x 0) into 0
1.714 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
1.714 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.714 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in z
1.714 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.714 * [taylor]: Taking taylor expansion of (* t z) in z
1.714 * [taylor]: Taking taylor expansion of t in z
1.714 * [backup-simplify]: Simplify t into t
1.714 * [taylor]: Taking taylor expansion of z in z
1.714 * [backup-simplify]: Simplify 0 into 0
1.714 * [backup-simplify]: Simplify 1 into 1
1.714 * [backup-simplify]: Simplify (* t 0) into 0
1.715 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t
1.715 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
1.715 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
1.715 * [taylor]: Taking taylor expansion of (* x y) in z
1.715 * [taylor]: Taking taylor expansion of x in z
1.715 * [backup-simplify]: Simplify x into x
1.715 * [taylor]: Taking taylor expansion of y in z
1.715 * [backup-simplify]: Simplify y into y
1.715 * [backup-simplify]: Simplify (* x y) into (* x y)
1.715 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1.715 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z)) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in z
1.715 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
1.715 * [taylor]: Taking taylor expansion of (* x z) in z
1.715 * [taylor]: Taking taylor expansion of x in z
1.715 * [backup-simplify]: Simplify x into x
1.715 * [taylor]: Taking taylor expansion of z in z
1.715 * [backup-simplify]: Simplify 0 into 0
1.715 * [backup-simplify]: Simplify 1 into 1
1.715 * [backup-simplify]: Simplify (* x 0) into 0
1.715 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
1.715 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.715 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in z
1.715 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.715 * [taylor]: Taking taylor expansion of (* t z) in z
1.715 * [taylor]: Taking taylor expansion of t in z
1.715 * [backup-simplify]: Simplify t into t
1.715 * [taylor]: Taking taylor expansion of z in z
1.715 * [backup-simplify]: Simplify 0 into 0
1.715 * [backup-simplify]: Simplify 1 into 1
1.715 * [backup-simplify]: Simplify (* t 0) into 0
1.716 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t
1.716 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
1.716 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
1.716 * [taylor]: Taking taylor expansion of (* x y) in z
1.716 * [taylor]: Taking taylor expansion of x in z
1.716 * [backup-simplify]: Simplify x into x
1.716 * [taylor]: Taking taylor expansion of y in z
1.716 * [backup-simplify]: Simplify y into y
1.716 * [backup-simplify]: Simplify (* x y) into (* x y)
1.716 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1.716 * [backup-simplify]: Simplify (+ (/ 1 t) 0) into (/ 1 t)
1.716 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t))
1.716 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 t))) into (- (/ 1 x) (/ 1 t))
1.716 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in y
1.716 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.716 * [taylor]: Taking taylor expansion of x in y
1.716 * [backup-simplify]: Simplify x into x
1.716 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.716 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.716 * [taylor]: Taking taylor expansion of t in y
1.716 * [backup-simplify]: Simplify t into t
1.716 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
1.717 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
1.717 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
1.717 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 1) (* 0 0))) into 0
1.717 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0
1.717 * [backup-simplify]: Simplify (+ 0 (/ 1 (* x y))) into (/ 1 (* x y))
1.717 * [backup-simplify]: Simplify (- (/ 1 (* x y))) into (- (/ 1 (* x y)))
1.717 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (* x y)))) into (- (/ 1 (* x y)))
1.717 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y))) in y
1.717 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
1.717 * [taylor]: Taking taylor expansion of (* x y) in y
1.717 * [taylor]: Taking taylor expansion of x in y
1.718 * [backup-simplify]: Simplify x into x
1.718 * [taylor]: Taking taylor expansion of y in y
1.718 * [backup-simplify]: Simplify 0 into 0
1.718 * [backup-simplify]: Simplify 1 into 1
1.718 * [backup-simplify]: Simplify (* x 0) into 0
1.718 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
1.718 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.718 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
1.718 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
1.718 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.718 * [taylor]: Taking taylor expansion of x in x
1.718 * [backup-simplify]: Simplify 0 into 0
1.718 * [backup-simplify]: Simplify 1 into 1
1.718 * [backup-simplify]: Simplify (/ 1 1) into 1
1.718 * [backup-simplify]: Simplify (- 1) into -1
1.718 * [taylor]: Taking taylor expansion of -1 in t
1.719 * [backup-simplify]: Simplify -1 into -1
1.719 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t))
1.719 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 t))) into (- (/ 1 x) (/ 1 t))
1.719 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in x
1.719 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.719 * [taylor]: Taking taylor expansion of x in x
1.719 * [backup-simplify]: Simplify 0 into 0
1.719 * [backup-simplify]: Simplify 1 into 1
1.719 * [backup-simplify]: Simplify (/ 1 1) into 1
1.719 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.719 * [taylor]: Taking taylor expansion of t in x
1.719 * [backup-simplify]: Simplify t into t
1.719 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
1.719 * [backup-simplify]: Simplify (+ 1 0) into 1
1.719 * [taylor]: Taking taylor expansion of 1 in t
1.719 * [backup-simplify]: Simplify 1 into 1
1.720 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1.720 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.720 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1.721 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0
1.721 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0
1.721 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0
1.721 * [backup-simplify]: Simplify (+ 0 0) into 0
1.721 * [backup-simplify]: Simplify (- 0) into 0
1.721 * [backup-simplify]: Simplify (+ 0 0) into 0
1.721 * [taylor]: Taking taylor expansion of 0 in y
1.721 * [backup-simplify]: Simplify 0 into 0
1.722 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
1.722 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
1.722 * [backup-simplify]: Simplify (- 0) into 0
1.722 * [taylor]: Taking taylor expansion of 0 in x
1.722 * [backup-simplify]: Simplify 0 into 0
1.722 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
1.722 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0
1.723 * [backup-simplify]: Simplify (- 0) into 0
1.723 * [backup-simplify]: Simplify (+ 0 0) into 0
1.723 * [taylor]: Taking taylor expansion of 0 in x
1.723 * [backup-simplify]: Simplify 0 into 0
1.723 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.724 * [backup-simplify]: Simplify (- 0) into 0
1.724 * [taylor]: Taking taylor expansion of 0 in t
1.724 * [backup-simplify]: Simplify 0 into 0
1.724 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.724 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t))
1.724 * [backup-simplify]: Simplify (+ 0 (- (/ 1 t))) into (- (/ 1 t))
1.724 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t
1.724 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.724 * [taylor]: Taking taylor expansion of t in t
1.724 * [backup-simplify]: Simplify 0 into 0
1.724 * [backup-simplify]: Simplify 1 into 1
1.724 * [backup-simplify]: Simplify (/ 1 1) into 1
1.725 * [backup-simplify]: Simplify (- 1) into -1
1.725 * [backup-simplify]: Simplify -1 into -1
1.725 * [backup-simplify]: Simplify -1 into -1
1.725 * [backup-simplify]: Simplify 1 into 1
1.725 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 x)) (* 1 (/ 1 (/ 1 z)))))) (+ (* -1 (* 1 (* (/ 1 (/ 1 x)) (* (/ 1 (/ 1 y)) 1)))) (* -1 (* (/ 1 (/ 1 t)) (* 1 (* 1 (/ 1 (/ 1 z)))))))) into (- (* x z) (+ (* x y) (* t z)))
1.725 * [backup-simplify]: Simplify (- (* (- (/ 1 (- z)) (/ 1 (- y))) (/ 1 (- x))) (* (/ 1 (- z)) (/ 1 (- t)))) into (- (/ 1 (* x z)) (+ (/ 1 (* t z)) (/ 1 (* x y))))
1.725 * [approximate]: Taking taylor expansion of (- (/ 1 (* x z)) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in (z y x t) around 0
1.725 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z)) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in t
1.725 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in t
1.725 * [taylor]: Taking taylor expansion of (* x z) in t
1.725 * [taylor]: Taking taylor expansion of x in t
1.725 * [backup-simplify]: Simplify x into x
1.725 * [taylor]: Taking taylor expansion of z in t
1.725 * [backup-simplify]: Simplify z into z
1.726 * [backup-simplify]: Simplify (* x z) into (* x z)
1.726 * [backup-simplify]: Simplify (/ 1 (* x z)) into (/ 1 (* x z))
1.726 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in t
1.726 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
1.726 * [taylor]: Taking taylor expansion of (* t z) in t
1.726 * [taylor]: Taking taylor expansion of t in t
1.726 * [backup-simplify]: Simplify 0 into 0
1.726 * [backup-simplify]: Simplify 1 into 1
1.726 * [taylor]: Taking taylor expansion of z in t
1.726 * [backup-simplify]: Simplify z into z
1.726 * [backup-simplify]: Simplify (* 0 z) into 0
1.726 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
1.726 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.726 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
1.726 * [taylor]: Taking taylor expansion of (* x y) in t
1.726 * [taylor]: Taking taylor expansion of x in t
1.726 * [backup-simplify]: Simplify x into x
1.726 * [taylor]: Taking taylor expansion of y in t
1.726 * [backup-simplify]: Simplify y into y
1.726 * [backup-simplify]: Simplify (* x y) into (* x y)
1.726 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1.726 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z)) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in x
1.726 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
1.726 * [taylor]: Taking taylor expansion of (* x z) in x
1.726 * [taylor]: Taking taylor expansion of x in x
1.726 * [backup-simplify]: Simplify 0 into 0
1.726 * [backup-simplify]: Simplify 1 into 1
1.726 * [taylor]: Taking taylor expansion of z in x
1.726 * [backup-simplify]: Simplify z into z
1.726 * [backup-simplify]: Simplify (* 0 z) into 0
1.727 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
1.727 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.727 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x
1.727 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
1.727 * [taylor]: Taking taylor expansion of (* t z) in x
1.727 * [taylor]: Taking taylor expansion of t in x
1.727 * [backup-simplify]: Simplify t into t
1.727 * [taylor]: Taking taylor expansion of z in x
1.727 * [backup-simplify]: Simplify z into z
1.727 * [backup-simplify]: Simplify (* t z) into (* t z)
1.727 * [backup-simplify]: Simplify (/ 1 (* t z)) into (/ 1 (* t z))
1.727 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.727 * [taylor]: Taking taylor expansion of (* x y) in x
1.727 * [taylor]: Taking taylor expansion of x in x
1.727 * [backup-simplify]: Simplify 0 into 0
1.727 * [backup-simplify]: Simplify 1 into 1
1.727 * [taylor]: Taking taylor expansion of y in x
1.727 * [backup-simplify]: Simplify y into y
1.727 * [backup-simplify]: Simplify (* 0 y) into 0
1.727 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
1.727 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.727 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z)) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in y
1.727 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
1.727 * [taylor]: Taking taylor expansion of (* x z) in y
1.727 * [taylor]: Taking taylor expansion of x in y
1.727 * [backup-simplify]: Simplify x into x
1.727 * [taylor]: Taking taylor expansion of z in y
1.727 * [backup-simplify]: Simplify z into z
1.727 * [backup-simplify]: Simplify (* x z) into (* x z)
1.727 * [backup-simplify]: Simplify (/ 1 (* x z)) into (/ 1 (* x z))
1.727 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in y
1.727 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
1.727 * [taylor]: Taking taylor expansion of (* t z) in y
1.727 * [taylor]: Taking taylor expansion of t in y
1.727 * [backup-simplify]: Simplify t into t
1.727 * [taylor]: Taking taylor expansion of z in y
1.727 * [backup-simplify]: Simplify z into z
1.728 * [backup-simplify]: Simplify (* t z) into (* t z)
1.728 * [backup-simplify]: Simplify (/ 1 (* t z)) into (/ 1 (* t z))
1.728 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
1.728 * [taylor]: Taking taylor expansion of (* x y) in y
1.728 * [taylor]: Taking taylor expansion of x in y
1.728 * [backup-simplify]: Simplify x into x
1.728 * [taylor]: Taking taylor expansion of y in y
1.728 * [backup-simplify]: Simplify 0 into 0
1.728 * [backup-simplify]: Simplify 1 into 1
1.728 * [backup-simplify]: Simplify (* x 0) into 0
1.728 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
1.728 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.728 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z)) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in z
1.728 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
1.728 * [taylor]: Taking taylor expansion of (* x z) in z
1.728 * [taylor]: Taking taylor expansion of x in z
1.728 * [backup-simplify]: Simplify x into x
1.728 * [taylor]: Taking taylor expansion of z in z
1.728 * [backup-simplify]: Simplify 0 into 0
1.728 * [backup-simplify]: Simplify 1 into 1
1.728 * [backup-simplify]: Simplify (* x 0) into 0
1.728 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
1.728 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.728 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in z
1.728 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.728 * [taylor]: Taking taylor expansion of (* t z) in z
1.729 * [taylor]: Taking taylor expansion of t in z
1.729 * [backup-simplify]: Simplify t into t
1.729 * [taylor]: Taking taylor expansion of z in z
1.729 * [backup-simplify]: Simplify 0 into 0
1.729 * [backup-simplify]: Simplify 1 into 1
1.729 * [backup-simplify]: Simplify (* t 0) into 0
1.729 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t
1.729 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
1.729 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
1.729 * [taylor]: Taking taylor expansion of (* x y) in z
1.729 * [taylor]: Taking taylor expansion of x in z
1.729 * [backup-simplify]: Simplify x into x
1.729 * [taylor]: Taking taylor expansion of y in z
1.729 * [backup-simplify]: Simplify y into y
1.729 * [backup-simplify]: Simplify (* x y) into (* x y)
1.729 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1.729 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z)) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in z
1.729 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
1.729 * [taylor]: Taking taylor expansion of (* x z) in z
1.729 * [taylor]: Taking taylor expansion of x in z
1.729 * [backup-simplify]: Simplify x into x
1.729 * [taylor]: Taking taylor expansion of z in z
1.729 * [backup-simplify]: Simplify 0 into 0
1.729 * [backup-simplify]: Simplify 1 into 1
1.729 * [backup-simplify]: Simplify (* x 0) into 0
1.729 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
1.730 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.730 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in z
1.730 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.730 * [taylor]: Taking taylor expansion of (* t z) in z
1.730 * [taylor]: Taking taylor expansion of t in z
1.730 * [backup-simplify]: Simplify t into t
1.730 * [taylor]: Taking taylor expansion of z in z
1.730 * [backup-simplify]: Simplify 0 into 0
1.730 * [backup-simplify]: Simplify 1 into 1
1.730 * [backup-simplify]: Simplify (* t 0) into 0
1.730 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t
1.730 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
1.730 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
1.730 * [taylor]: Taking taylor expansion of (* x y) in z
1.730 * [taylor]: Taking taylor expansion of x in z
1.730 * [backup-simplify]: Simplify x into x
1.730 * [taylor]: Taking taylor expansion of y in z
1.730 * [backup-simplify]: Simplify y into y
1.730 * [backup-simplify]: Simplify (* x y) into (* x y)
1.730 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1.730 * [backup-simplify]: Simplify (+ (/ 1 t) 0) into (/ 1 t)
1.730 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t))
1.730 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 t))) into (- (/ 1 x) (/ 1 t))
1.730 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in y
1.730 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.730 * [taylor]: Taking taylor expansion of x in y
1.730 * [backup-simplify]: Simplify x into x
1.730 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.730 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.730 * [taylor]: Taking taylor expansion of t in y
1.730 * [backup-simplify]: Simplify t into t
1.731 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
1.731 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
1.731 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
1.731 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 1) (* 0 0))) into 0
1.732 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0
1.732 * [backup-simplify]: Simplify (+ 0 (/ 1 (* x y))) into (/ 1 (* x y))
1.732 * [backup-simplify]: Simplify (- (/ 1 (* x y))) into (- (/ 1 (* x y)))
1.732 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (* x y)))) into (- (/ 1 (* x y)))
1.732 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y))) in y
1.732 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
1.732 * [taylor]: Taking taylor expansion of (* x y) in y
1.732 * [taylor]: Taking taylor expansion of x in y
1.732 * [backup-simplify]: Simplify x into x
1.732 * [taylor]: Taking taylor expansion of y in y
1.732 * [backup-simplify]: Simplify 0 into 0
1.732 * [backup-simplify]: Simplify 1 into 1
1.732 * [backup-simplify]: Simplify (* x 0) into 0
1.732 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
1.732 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.732 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
1.732 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
1.732 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.732 * [taylor]: Taking taylor expansion of x in x
1.732 * [backup-simplify]: Simplify 0 into 0
1.732 * [backup-simplify]: Simplify 1 into 1
1.732 * [backup-simplify]: Simplify (/ 1 1) into 1
1.733 * [backup-simplify]: Simplify (- 1) into -1
1.733 * [taylor]: Taking taylor expansion of -1 in t
1.733 * [backup-simplify]: Simplify -1 into -1
1.733 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t))
1.733 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 t))) into (- (/ 1 x) (/ 1 t))
1.733 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in x
1.733 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.733 * [taylor]: Taking taylor expansion of x in x
1.733 * [backup-simplify]: Simplify 0 into 0
1.733 * [backup-simplify]: Simplify 1 into 1
1.733 * [backup-simplify]: Simplify (/ 1 1) into 1
1.733 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.733 * [taylor]: Taking taylor expansion of t in x
1.733 * [backup-simplify]: Simplify t into t
1.733 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
1.734 * [backup-simplify]: Simplify (+ 1 0) into 1
1.734 * [taylor]: Taking taylor expansion of 1 in t
1.734 * [backup-simplify]: Simplify 1 into 1
1.734 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1.734 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.735 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1.735 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0
1.735 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0
1.735 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0
1.735 * [backup-simplify]: Simplify (+ 0 0) into 0
1.735 * [backup-simplify]: Simplify (- 0) into 0
1.736 * [backup-simplify]: Simplify (+ 0 0) into 0
1.736 * [taylor]: Taking taylor expansion of 0 in y
1.736 * [backup-simplify]: Simplify 0 into 0
1.736 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
1.736 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
1.736 * [backup-simplify]: Simplify (- 0) into 0
1.736 * [taylor]: Taking taylor expansion of 0 in x
1.736 * [backup-simplify]: Simplify 0 into 0
1.737 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
1.737 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0
1.737 * [backup-simplify]: Simplify (- 0) into 0
1.737 * [backup-simplify]: Simplify (+ 0 0) into 0
1.737 * [taylor]: Taking taylor expansion of 0 in x
1.737 * [backup-simplify]: Simplify 0 into 0
1.738 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.738 * [backup-simplify]: Simplify (- 0) into 0
1.738 * [taylor]: Taking taylor expansion of 0 in t
1.738 * [backup-simplify]: Simplify 0 into 0
1.739 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.739 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t))
1.739 * [backup-simplify]: Simplify (+ 0 (- (/ 1 t))) into (- (/ 1 t))
1.739 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t
1.739 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.739 * [taylor]: Taking taylor expansion of t in t
1.739 * [backup-simplify]: Simplify 0 into 0
1.739 * [backup-simplify]: Simplify 1 into 1
1.739 * [backup-simplify]: Simplify (/ 1 1) into 1
1.740 * [backup-simplify]: Simplify (- 1) into -1
1.740 * [backup-simplify]: Simplify -1 into -1
1.740 * [backup-simplify]: Simplify -1 into -1
1.740 * [backup-simplify]: Simplify 1 into 1
1.740 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- x))) (* 1 (/ 1 (/ 1 (- z))))))) (+ (* -1 (* 1 (* (/ 1 (/ 1 (- x))) (* (/ 1 (/ 1 (- y))) 1)))) (* -1 (* (/ 1 (/ 1 (- t))) (* 1 (* 1 (/ 1 (/ 1 (- z))))))))) into (- (* x z) (+ (* x y) (* t z)))
1.740 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
1.740 * [backup-simplify]: Simplify (* (- z y) x) into (* x (- z y))
1.740 * [approximate]: Taking taylor expansion of (* x (- z y)) in (z y x) around 0
1.740 * [taylor]: Taking taylor expansion of (* x (- z y)) in x
1.740 * [taylor]: Taking taylor expansion of x in x
1.740 * [backup-simplify]: Simplify 0 into 0
1.740 * [backup-simplify]: Simplify 1 into 1
1.740 * [taylor]: Taking taylor expansion of (- z y) in x
1.740 * [taylor]: Taking taylor expansion of z in x
1.740 * [backup-simplify]: Simplify z into z
1.740 * [taylor]: Taking taylor expansion of y in x
1.740 * [backup-simplify]: Simplify y into y
1.740 * [taylor]: Taking taylor expansion of (* x (- z y)) in y
1.740 * [taylor]: Taking taylor expansion of x in y
1.740 * [backup-simplify]: Simplify x into x
1.740 * [taylor]: Taking taylor expansion of (- z y) in y
1.740 * [taylor]: Taking taylor expansion of z in y
1.740 * [backup-simplify]: Simplify z into z
1.740 * [taylor]: Taking taylor expansion of y in y
1.740 * [backup-simplify]: Simplify 0 into 0
1.740 * [backup-simplify]: Simplify 1 into 1
1.740 * [taylor]: Taking taylor expansion of (* x (- z y)) in z
1.740 * [taylor]: Taking taylor expansion of x in z
1.740 * [backup-simplify]: Simplify x into x
1.740 * [taylor]: Taking taylor expansion of (- z y) in z
1.740 * [taylor]: Taking taylor expansion of z in z
1.740 * [backup-simplify]: Simplify 0 into 0
1.741 * [backup-simplify]: Simplify 1 into 1
1.741 * [taylor]: Taking taylor expansion of y in z
1.741 * [backup-simplify]: Simplify y into y
1.741 * [taylor]: Taking taylor expansion of (* x (- z y)) in z
1.741 * [taylor]: Taking taylor expansion of x in z
1.741 * [backup-simplify]: Simplify x into x
1.741 * [taylor]: Taking taylor expansion of (- z y) in z
1.741 * [taylor]: Taking taylor expansion of z in z
1.741 * [backup-simplify]: Simplify 0 into 0
1.741 * [backup-simplify]: Simplify 1 into 1
1.741 * [taylor]: Taking taylor expansion of y in z
1.741 * [backup-simplify]: Simplify y into y
1.741 * [backup-simplify]: Simplify (- y) into (- y)
1.741 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y)
1.741 * [backup-simplify]: Simplify (* x (- y)) into (* -1 (* x y))
1.741 * [taylor]: Taking taylor expansion of (* -1 (* x y)) in y
1.741 * [taylor]: Taking taylor expansion of -1 in y
1.741 * [backup-simplify]: Simplify -1 into -1
1.741 * [taylor]: Taking taylor expansion of (* x y) in y
1.741 * [taylor]: Taking taylor expansion of x in y
1.741 * [backup-simplify]: Simplify x into x
1.741 * [taylor]: Taking taylor expansion of y in y
1.741 * [backup-simplify]: Simplify 0 into 0
1.741 * [backup-simplify]: Simplify 1 into 1
1.741 * [backup-simplify]: Simplify (* x 0) into 0
1.741 * [backup-simplify]: Simplify (* -1 0) into 0
1.741 * [taylor]: Taking taylor expansion of 0 in x
1.741 * [backup-simplify]: Simplify 0 into 0
1.741 * [backup-simplify]: Simplify 0 into 0
1.742 * [backup-simplify]: Simplify (- 0) into 0
1.742 * [backup-simplify]: Simplify (+ 1 0) into 1
1.742 * [backup-simplify]: Simplify (+ (* x 1) (* 0 (- y))) into x
1.742 * [taylor]: Taking taylor expansion of x in y
1.742 * [backup-simplify]: Simplify x into x
1.742 * [taylor]: Taking taylor expansion of x in x
1.742 * [backup-simplify]: Simplify 0 into 0
1.742 * [backup-simplify]: Simplify 1 into 1
1.742 * [backup-simplify]: Simplify 0 into 0
1.742 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
1.743 * [backup-simplify]: Simplify (+ (* -1 x) (* 0 0)) into (- x)
1.743 * [taylor]: Taking taylor expansion of (- x) in x
1.743 * [taylor]: Taking taylor expansion of x in x
1.743 * [backup-simplify]: Simplify 0 into 0
1.743 * [backup-simplify]: Simplify 1 into 1
1.743 * [backup-simplify]: Simplify (- 0) into 0
1.743 * [backup-simplify]: Simplify 0 into 0
1.743 * [backup-simplify]: Simplify 0 into 0
1.743 * [backup-simplify]: Simplify (- 0) into 0
1.743 * [backup-simplify]: Simplify (+ 0 0) into 0
1.744 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 (- y)))) into 0
1.744 * [taylor]: Taking taylor expansion of 0 in y
1.744 * [backup-simplify]: Simplify 0 into 0
1.744 * [taylor]: Taking taylor expansion of 0 in x
1.744 * [backup-simplify]: Simplify 0 into 0
1.744 * [backup-simplify]: Simplify 0 into 0
1.744 * [taylor]: Taking taylor expansion of 0 in x
1.744 * [backup-simplify]: Simplify 0 into 0
1.744 * [backup-simplify]: Simplify 0 into 0
1.744 * [backup-simplify]: Simplify 0 into 0
1.744 * [backup-simplify]: Simplify (* (- (/ 1 z) (/ 1 y)) (/ 1 x)) into (/ (- (/ 1 z) (/ 1 y)) x)
1.744 * [approximate]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in (z y x) around 0
1.744 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in x
1.744 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x
1.744 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.744 * [taylor]: Taking taylor expansion of z in x
1.744 * [backup-simplify]: Simplify z into z
1.744 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.744 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.744 * [taylor]: Taking taylor expansion of y in x
1.744 * [backup-simplify]: Simplify y into y
1.744 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.744 * [taylor]: Taking taylor expansion of x in x
1.744 * [backup-simplify]: Simplify 0 into 0
1.744 * [backup-simplify]: Simplify 1 into 1
1.744 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
1.744 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 y))) into (- (/ 1 z) (/ 1 y))
1.744 * [backup-simplify]: Simplify (/ (- (/ 1 z) (/ 1 y)) 1) into (- (/ 1 z) (/ 1 y))
1.744 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in y
1.744 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
1.744 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.744 * [taylor]: Taking taylor expansion of z in y
1.744 * [backup-simplify]: Simplify z into z
1.744 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.744 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.745 * [taylor]: Taking taylor expansion of y in y
1.745 * [backup-simplify]: Simplify 0 into 0
1.745 * [backup-simplify]: Simplify 1 into 1
1.745 * [backup-simplify]: Simplify (/ 1 1) into 1
1.745 * [taylor]: Taking taylor expansion of x in y
1.745 * [backup-simplify]: Simplify x into x
1.745 * [backup-simplify]: Simplify (- 1) into -1
1.745 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.745 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
1.745 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in z
1.745 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z
1.745 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.745 * [taylor]: Taking taylor expansion of z in z
1.745 * [backup-simplify]: Simplify 0 into 0
1.745 * [backup-simplify]: Simplify 1 into 1
1.746 * [backup-simplify]: Simplify (/ 1 1) into 1
1.746 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.746 * [taylor]: Taking taylor expansion of y in z
1.746 * [backup-simplify]: Simplify y into y
1.746 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.746 * [taylor]: Taking taylor expansion of x in z
1.746 * [backup-simplify]: Simplify x into x
1.746 * [backup-simplify]: Simplify (+ 1 0) into 1
1.746 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.746 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in z
1.746 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z
1.746 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.746 * [taylor]: Taking taylor expansion of z in z
1.746 * [backup-simplify]: Simplify 0 into 0
1.746 * [backup-simplify]: Simplify 1 into 1
1.747 * [backup-simplify]: Simplify (/ 1 1) into 1
1.747 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.747 * [taylor]: Taking taylor expansion of y in z
1.747 * [backup-simplify]: Simplify y into y
1.747 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.747 * [taylor]: Taking taylor expansion of x in z
1.747 * [backup-simplify]: Simplify x into x
1.747 * [backup-simplify]: Simplify (+ 1 0) into 1
1.747 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.747 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.747 * [taylor]: Taking taylor expansion of x in y
1.747 * [backup-simplify]: Simplify x into x
1.747 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.748 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.748 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
1.748 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y))
1.748 * [backup-simplify]: Simplify (- (/ (- (/ 1 y)) x) (+ (* (/ 1 x) (/ 0 x)))) into (- (/ 1 (* x y)))
1.748 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y))) in y
1.748 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
1.748 * [taylor]: Taking taylor expansion of (* x y) in y
1.748 * [taylor]: Taking taylor expansion of x in y
1.748 * [backup-simplify]: Simplify x into x
1.748 * [taylor]: Taking taylor expansion of y in y
1.748 * [backup-simplify]: Simplify 0 into 0
1.748 * [backup-simplify]: Simplify 1 into 1
1.748 * [backup-simplify]: Simplify (* x 0) into 0
1.748 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
1.748 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.748 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
1.748 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
1.748 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.748 * [taylor]: Taking taylor expansion of x in x
1.748 * [backup-simplify]: Simplify 0 into 0
1.748 * [backup-simplify]: Simplify 1 into 1
1.749 * [backup-simplify]: Simplify (/ 1 1) into 1
1.749 * [backup-simplify]: Simplify (- 1) into -1
1.749 * [backup-simplify]: Simplify -1 into -1
1.749 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.749 * [taylor]: Taking taylor expansion of x in x
1.749 * [backup-simplify]: Simplify 0 into 0
1.749 * [backup-simplify]: Simplify 1 into 1
1.749 * [backup-simplify]: Simplify (/ 1 1) into 1
1.749 * [backup-simplify]: Simplify 1 into 1
1.750 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.750 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
1.750 * [backup-simplify]: Simplify (- 0) into 0
1.750 * [backup-simplify]: Simplify (+ 0 0) into 0
1.751 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* (- (/ 1 (* x y))) (/ 0 x)))) into 0
1.751 * [taylor]: Taking taylor expansion of 0 in y
1.751 * [backup-simplify]: Simplify 0 into 0
1.751 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
1.751 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
1.751 * [backup-simplify]: Simplify (- 0) into 0
1.751 * [taylor]: Taking taylor expansion of 0 in x
1.751 * [backup-simplify]: Simplify 0 into 0
1.752 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
1.752 * [taylor]: Taking taylor expansion of 0 in x
1.752 * [backup-simplify]: Simplify 0 into 0
1.752 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.752 * [backup-simplify]: Simplify (- 0) into 0
1.752 * [backup-simplify]: Simplify 0 into 0
1.753 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.753 * [backup-simplify]: Simplify 0 into 0
1.753 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.753 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.754 * [backup-simplify]: Simplify (- 0) into 0
1.754 * [backup-simplify]: Simplify (+ 0 0) into 0
1.754 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* (- (/ 1 (* x y))) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.754 * [taylor]: Taking taylor expansion of 0 in y
1.754 * [backup-simplify]: Simplify 0 into 0
1.754 * [taylor]: Taking taylor expansion of 0 in x
1.754 * [backup-simplify]: Simplify 0 into 0
1.755 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1.755 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.755 * [backup-simplify]: Simplify (- 0) into 0
1.755 * [taylor]: Taking taylor expansion of 0 in x
1.755 * [backup-simplify]: Simplify 0 into 0
1.755 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.755 * [taylor]: Taking taylor expansion of 0 in x
1.755 * [backup-simplify]: Simplify 0 into 0
1.755 * [backup-simplify]: Simplify 0 into 0
1.755 * [backup-simplify]: Simplify 0 into 0
1.756 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.756 * [backup-simplify]: Simplify (- 0) into 0
1.756 * [backup-simplify]: Simplify 0 into 0
1.757 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.757 * [backup-simplify]: Simplify 0 into 0
1.758 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 x)) (* 1 (/ 1 (/ 1 z))))) (* -1 (* (/ 1 (/ 1 x)) (* (/ 1 (/ 1 y)) 1)))) into (- (* x z) (* x y))
1.758 * [backup-simplify]: Simplify (* (- (/ 1 (- z)) (/ 1 (- y))) (/ 1 (- x))) into (* -1 (/ (- (/ 1 y) (/ 1 z)) x))
1.758 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 z)) x)) in (z y x) around 0
1.758 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 z)) x)) in x
1.758 * [taylor]: Taking taylor expansion of -1 in x
1.758 * [backup-simplify]: Simplify -1 into -1
1.758 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in x
1.758 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x
1.758 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.758 * [taylor]: Taking taylor expansion of y in x
1.758 * [backup-simplify]: Simplify y into y
1.758 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.758 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.758 * [taylor]: Taking taylor expansion of z in x
1.758 * [backup-simplify]: Simplify z into z
1.758 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.758 * [taylor]: Taking taylor expansion of x in x
1.758 * [backup-simplify]: Simplify 0 into 0
1.758 * [backup-simplify]: Simplify 1 into 1
1.758 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
1.758 * [backup-simplify]: Simplify (+ (/ 1 y) (- (/ 1 z))) into (- (/ 1 y) (/ 1 z))
1.759 * [backup-simplify]: Simplify (/ (- (/ 1 y) (/ 1 z)) 1) into (- (/ 1 y) (/ 1 z))
1.759 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 z)) x)) in y
1.759 * [taylor]: Taking taylor expansion of -1 in y
1.759 * [backup-simplify]: Simplify -1 into -1
1.759 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in y
1.759 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
1.759 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.759 * [taylor]: Taking taylor expansion of y in y
1.759 * [backup-simplify]: Simplify 0 into 0
1.759 * [backup-simplify]: Simplify 1 into 1
1.759 * [backup-simplify]: Simplify (/ 1 1) into 1
1.759 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.759 * [taylor]: Taking taylor expansion of z in y
1.759 * [backup-simplify]: Simplify z into z
1.759 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.759 * [taylor]: Taking taylor expansion of x in y
1.759 * [backup-simplify]: Simplify x into x
1.760 * [backup-simplify]: Simplify (+ 1 0) into 1
1.760 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.760 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 z)) x)) in z
1.760 * [taylor]: Taking taylor expansion of -1 in z
1.760 * [backup-simplify]: Simplify -1 into -1
1.760 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in z
1.760 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
1.760 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.760 * [taylor]: Taking taylor expansion of y in z
1.760 * [backup-simplify]: Simplify y into y
1.760 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.760 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.760 * [taylor]: Taking taylor expansion of z in z
1.760 * [backup-simplify]: Simplify 0 into 0
1.760 * [backup-simplify]: Simplify 1 into 1
1.761 * [backup-simplify]: Simplify (/ 1 1) into 1
1.761 * [taylor]: Taking taylor expansion of x in z
1.761 * [backup-simplify]: Simplify x into x
1.761 * [backup-simplify]: Simplify (- 1) into -1
1.761 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.762 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
1.762 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 z)) x)) in z
1.762 * [taylor]: Taking taylor expansion of -1 in z
1.762 * [backup-simplify]: Simplify -1 into -1
1.762 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in z
1.762 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
1.762 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.762 * [taylor]: Taking taylor expansion of y in z
1.762 * [backup-simplify]: Simplify y into y
1.762 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.762 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.762 * [taylor]: Taking taylor expansion of z in z
1.762 * [backup-simplify]: Simplify 0 into 0
1.762 * [backup-simplify]: Simplify 1 into 1
1.762 * [backup-simplify]: Simplify (/ 1 1) into 1
1.762 * [taylor]: Taking taylor expansion of x in z
1.762 * [backup-simplify]: Simplify x into x
1.763 * [backup-simplify]: Simplify (- 1) into -1
1.763 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.763 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
1.763 * [backup-simplify]: Simplify (* -1 (/ -1 x)) into (/ 1 x)
1.763 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.763 * [taylor]: Taking taylor expansion of x in y
1.763 * [backup-simplify]: Simplify x into x
1.763 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.764 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.764 * [backup-simplify]: Simplify (- 0) into 0
1.764 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
1.765 * [backup-simplify]: Simplify (- (/ (/ 1 y) x) (+ (* (/ -1 x) (/ 0 x)))) into (/ 1 (* x y))
1.765 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (* x y))) (* 0 (/ -1 x))) into (- (/ 1 (* x y)))
1.765 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y))) in y
1.765 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
1.765 * [taylor]: Taking taylor expansion of (* x y) in y
1.765 * [taylor]: Taking taylor expansion of x in y
1.765 * [backup-simplify]: Simplify x into x
1.765 * [taylor]: Taking taylor expansion of y in y
1.765 * [backup-simplify]: Simplify 0 into 0
1.765 * [backup-simplify]: Simplify 1 into 1
1.765 * [backup-simplify]: Simplify (* x 0) into 0
1.767 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
1.768 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.768 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
1.768 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
1.768 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.768 * [taylor]: Taking taylor expansion of x in x
1.768 * [backup-simplify]: Simplify 0 into 0
1.768 * [backup-simplify]: Simplify 1 into 1
1.768 * [backup-simplify]: Simplify (/ 1 1) into 1
1.769 * [backup-simplify]: Simplify (- 1) into -1
1.769 * [backup-simplify]: Simplify -1 into -1
1.769 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.769 * [taylor]: Taking taylor expansion of x in x
1.769 * [backup-simplify]: Simplify 0 into 0
1.769 * [backup-simplify]: Simplify 1 into 1
1.769 * [backup-simplify]: Simplify (/ 1 1) into 1
1.769 * [backup-simplify]: Simplify 1 into 1
1.769 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
1.770 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.771 * [backup-simplify]: Simplify (- 0) into 0
1.771 * [backup-simplify]: Simplify (+ 0 0) into 0
1.771 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* (/ 1 (* x y)) (/ 0 x)))) into 0
1.772 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ 1 (* x y))) (* 0 (/ -1 x)))) into 0
1.772 * [taylor]: Taking taylor expansion of 0 in y
1.772 * [backup-simplify]: Simplify 0 into 0
1.772 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
1.772 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
1.773 * [backup-simplify]: Simplify (- 0) into 0
1.773 * [taylor]: Taking taylor expansion of 0 in x
1.773 * [backup-simplify]: Simplify 0 into 0
1.773 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
1.773 * [taylor]: Taking taylor expansion of 0 in x
1.773 * [backup-simplify]: Simplify 0 into 0
1.774 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.774 * [backup-simplify]: Simplify (- 0) into 0
1.774 * [backup-simplify]: Simplify 0 into 0
1.775 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.775 * [backup-simplify]: Simplify 0 into 0
1.775 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.776 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.776 * [backup-simplify]: Simplify (- 0) into 0
1.776 * [backup-simplify]: Simplify (+ 0 0) into 0
1.777 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* (/ 1 (* x y)) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.777 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (/ 1 (* x y))) (* 0 (/ -1 x))))) into 0
1.778 * [taylor]: Taking taylor expansion of 0 in y
1.778 * [backup-simplify]: Simplify 0 into 0
1.778 * [taylor]: Taking taylor expansion of 0 in x
1.778 * [backup-simplify]: Simplify 0 into 0
1.778 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1.779 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.779 * [backup-simplify]: Simplify (- 0) into 0
1.779 * [taylor]: Taking taylor expansion of 0 in x
1.779 * [backup-simplify]: Simplify 0 into 0
1.779 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.779 * [taylor]: Taking taylor expansion of 0 in x
1.779 * [backup-simplify]: Simplify 0 into 0
1.779 * [backup-simplify]: Simplify 0 into 0
1.779 * [backup-simplify]: Simplify 0 into 0
1.780 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.780 * [backup-simplify]: Simplify (- 0) into 0
1.780 * [backup-simplify]: Simplify 0 into 0
1.781 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.781 * [backup-simplify]: Simplify 0 into 0
1.782 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 (- x))) (* 1 (/ 1 (/ 1 (- z)))))) (* -1 (* (/ 1 (/ 1 (- x))) (* (/ 1 (/ 1 (- y))) 1)))) into (- (* x z) (* x y))
1.782 * * * [progress]: simplifying candidates
1.782 * * * * [progress]: [ 1 / 48 ] simplifiying candidate #<alt (λ (x y z t) (+ (fma (- z y) x (- (* t z))) (fma (- t) z (* t z))))>
1.782 * * * * [progress]: [ 2 / 48 ] simplifiying candidate #<alt (λ (x y z t) (log1p (expm1 (- (* (- z y) x) (* z t)))))>
1.782 * * * * [progress]: [ 3 / 48 ] simplifiying candidate #<alt (λ (x y z t) (expm1 (log1p (- (* (- z y) x) (* z t)))))>
1.782 * * * * [progress]: [ 4 / 48 ] simplifiying candidate #<alt (λ (x y z t) (fma (- z y) x (- (* z t))))>
1.782 * * * * [progress]: [ 5 / 48 ] simplifiying candidate #<alt (λ (x y z t) (log (/ (exp (* (- z y) x)) (exp (* z t)))))>
1.782 * * * * [progress]: [ 6 / 48 ] simplifiying candidate #<alt (λ (x y z t) (pow (- (* (- z y) x) (* z t)) 1))>
1.782 * * * * [progress]: [ 7 / 48 ] simplifiying candidate #<alt (λ (x y z t) (exp (log (- (* (- z y) x) (* z t)))))>
1.782 * * * * [progress]: [ 8 / 48 ] simplifiying candidate #<alt (λ (x y z t) (log (exp (- (* (- z y) x) (* z t)))))>
1.782 * * * * [progress]: [ 9 / 48 ] simplifiying candidate #<alt (λ (x y z t) (* (* (cbrt (- (* (- z y) x) (* z t))) (cbrt (- (* (- z y) x) (* z t)))) (cbrt (- (* (- z y) x) (* z t)))))>
1.782 * * * * [progress]: [ 10 / 48 ] simplifiying candidate #<alt (λ (x y z t) (cbrt (* (* (- (* (- z y) x) (* z t)) (- (* (- z y) x) (* z t))) (- (* (- z y) x) (* z t)))))>
1.782 * * * * [progress]: [ 11 / 48 ] simplifiying candidate #<alt (λ (x y z t) (* (sqrt (- (* (- z y) x) (* z t))) (sqrt (- (* (- z y) x) (* z t)))))>
1.782 * * * * [progress]: [ 12 / 48 ] simplifiying candidate #<alt (λ (x y z t) (/ (- (pow (* (- z y) x) 3) (pow (* z t) 3)) (+ (* (* (- z y) x) (* (- z y) x)) (+ (* (* z t) (* z t)) (* (* (- z y) x) (* z t))))))>
1.782 * * * * [progress]: [ 13 / 48 ] simplifiying candidate #<alt (λ (x y z t) (+ (* (- z y) x) (- (* z t))))>
1.783 * * * * [progress]: [ 14 / 48 ] simplifiying candidate #<alt (λ (x y z t) (* 1 (- (* (- z y) x) (* z t))))>
1.783 * * * * [progress]: [ 15 / 48 ] simplifiying candidate #<alt (λ (x y z t) (/ (- (* (* (- z y) x) (* (- z y) x)) (* (* z t) (* z t))) (+ (* (- z y) x) (* z t))))>
1.783 * * * * [progress]: [ 16 / 48 ] simplifiying candidate #<alt (λ (x y z t) (+ (* (- z y) x) (- (* z t))))>
1.783 * * * * [progress]: [ 17 / 48 ] simplifiying candidate #<alt (λ (x y z t) (posit16->real (real->posit16 (- (* (- z y) x) (* z t)))))>
1.783 * * * * [progress]: [ 18 / 48 ] simplifiying candidate #<alt (λ (x y z t) (- (log1p (expm1 (* (- z y) x))) (* z t)))>
1.783 * * * * [progress]: [ 19 / 48 ] simplifiying candidate #<alt (λ (x y z t) (- (expm1 (log1p (* (- z y) x))) (* z t)))>
1.783 * * * * [progress]: [ 20 / 48 ] simplifiying candidate #<alt (λ (x y z t) (- (pow (* (- z y) x) 1) (* z t)))>
1.783 * * * * [progress]: [ 21 / 48 ] simplifiying candidate #<alt (λ (x y z t) (- (pow (* (- z y) x) 1) (* z t)))>
1.783 * * * * [progress]: [ 22 / 48 ] simplifiying candidate #<alt (λ (x y z t) (- (exp (+ (log (- z y)) (log x))) (* z t)))>
1.783 * * * * [progress]: [ 23 / 48 ] simplifiying candidate #<alt (λ (x y z t) (- (exp (log (* (- z y) x))) (* z t)))>
1.783 * * * * [progress]: [ 24 / 48 ] simplifiying candidate #<alt (λ (x y z t) (- (log (exp (* (- z y) x))) (* z t)))>
1.783 * * * * [progress]: [ 25 / 48 ] simplifiying candidate #<alt (λ (x y z t) (- (cbrt (* (* (* (- z y) (- z y)) (- z y)) (* (* x x) x))) (* z t)))>
1.783 * * * * [progress]: [ 26 / 48 ] simplifiying candidate #<alt (λ (x y z t) (- (* (* (cbrt (* (- z y) x)) (cbrt (* (- z y) x))) (cbrt (* (- z y) x))) (* z t)))>
1.783 * * * * [progress]: [ 27 / 48 ] simplifiying candidate #<alt (λ (x y z t) (- (cbrt (* (* (* (- z y) x) (* (- z y) x)) (* (- z y) x))) (* z t)))>
1.783 * * * * [progress]: [ 28 / 48 ] simplifiying candidate #<alt (λ (x y z t) (- (* (sqrt (* (- z y) x)) (sqrt (* (- z y) x))) (* z t)))>
1.783 * * * * [progress]: [ 29 / 48 ] simplifiying candidate #<alt (λ (x y z t) (- (* 1 (* (- z y) x)) (* z t)))>
1.783 * * * * [progress]: [ 30 / 48 ] simplifiying candidate #<alt (λ (x y z t) (- (* (* (sqrt (- z y)) (sqrt x)) (* (sqrt (- z y)) (sqrt x))) (* z t)))>
1.783 * * * * [progress]: [ 31 / 48 ] simplifiying candidate #<alt (λ (x y z t) (- (* (* (- z y) (* (cbrt x) (cbrt x))) (cbrt x)) (* z t)))>
1.783 * * * * [progress]: [ 32 / 48 ] simplifiying candidate #<alt (λ (x y z t) (- (* (* (- z y) (sqrt x)) (sqrt x)) (* z t)))>
1.784 * * * * [progress]: [ 33 / 48 ] simplifiying candidate #<alt (λ (x y z t) (- (* (* (- z y) 1) x) (* z t)))>
1.784 * * * * [progress]: [ 34 / 48 ] simplifiying candidate #<alt (λ (x y z t) (- (* (* (cbrt (- z y)) (cbrt (- z y))) (* (cbrt (- z y)) x)) (* z t)))>
1.784 * * * * [progress]: [ 35 / 48 ] simplifiying candidate #<alt (λ (x y z t) (- (* (sqrt (- z y)) (* (sqrt (- z y)) x)) (* z t)))>
1.784 * * * * [progress]: [ 36 / 48 ] simplifiying candidate #<alt (λ (x y z t) (- (* 1 (* (- z y) x)) (* z t)))>
1.784 * * * * [progress]: [ 37 / 48 ] simplifiying candidate #<alt (λ (x y z t) (- (* (+ (sqrt z) (sqrt y)) (* (- (sqrt z) (sqrt y)) x)) (* z t)))>
1.784 * * * * [progress]: [ 38 / 48 ] simplifiying candidate #<alt (λ (x y z t) (- (* 1 (* (- z y) x)) (* z t)))>
1.784 * * * * [progress]: [ 39 / 48 ] simplifiying candidate #<alt (λ (x y z t) (- (/ (* (- (pow z 3) (pow y 3)) x) (+ (* z z) (+ (* y y) (* z y)))) (* z t)))>
1.784 * * * * [progress]: [ 40 / 48 ] simplifiying candidate #<alt (λ (x y z t) (- (/ (* (- (* z z) (* y y)) x) (+ z y)) (* z t)))>
1.784 * * * * [progress]: [ 41 / 48 ] simplifiying candidate #<alt (λ (x y z t) (- (posit16->real (real->posit16 (* (- z y) x))) (* z t)))>
1.784 * * * * [progress]: [ 42 / 48 ] simplifiying candidate #<alt (λ (x y z t) (- (* x (- z y)) (* z t)))>
1.784 * * * * [progress]: [ 43 / 48 ] simplifiying candidate #<alt (λ (x y z t) 0)>
1.784 * * * * [progress]: [ 44 / 48 ] simplifiying candidate #<alt (λ (x y z t) (- (* x z) (+ (* x y) (* t z))))>
1.784 * * * * [progress]: [ 45 / 48 ] simplifiying candidate #<alt (λ (x y z t) (- (* x z) (+ (* x y) (* t z))))>
1.784 * * * * [progress]: [ 46 / 48 ] simplifiying candidate #<alt (λ (x y z t) (- 0 (* z t)))>
1.784 * * * * [progress]: [ 47 / 48 ] simplifiying candidate #<alt (λ (x y z t) (- (- (* x z) (* x y)) (* z t)))>
1.784 * * * * [progress]: [ 48 / 48 ] simplifiying candidate #<alt (λ (x y z t) (- (- (* x z) (* x y)) (* z t)))>
1.785 * [simplify]: Simplifying:
  (fma (- z y) x (- (* t z)))
  (fma (- t) z (* t z))
  (expm1 (- (* (- z y) x) (* z t)))
  (log1p (- (* (- z y) x) (* z t)))
  (- (* z t))
  (/ (exp (* (- z y) x)) (exp (* z t)))
  (log (- (* (- z y) x) (* z t)))
  (exp (- (* (- z y) x) (* z t)))
  (* (cbrt (- (* (- z y) x) (* z t))) (cbrt (- (* (- z y) x) (* z t))))
  (cbrt (- (* (- z y) x) (* z t)))
  (* (* (- (* (- z y) x) (* z t)) (- (* (- z y) x) (* z t))) (- (* (- z y) x) (* z t)))
  (sqrt (- (* (- z y) x) (* z t)))
  (sqrt (- (* (- z y) x) (* z t)))
  (- (pow (* (- z y) x) 3) (pow (* z t) 3))
  (+ (* (* (- z y) x) (* (- z y) x)) (+ (* (* z t) (* z t)) (* (* (- z y) x) (* z t))))
  (- (* z t))
  (- (* (* (- z y) x) (* (- z y) x)) (* (* z t) (* z t)))
  (+ (* (- z y) x) (* z t))
  (- (* z t))
  (real->posit16 (- (* (- z y) x) (* z t)))
  (expm1 (* (- z y) x))
  (log1p (* (- z y) x))
  (* (- z y) x)
  (+ (log (- z y)) (log x))
  (log (* (- z y) x))
  (exp (* (- z y) x))
  (* (* (* (- z y) (- z y)) (- z y)) (* (* x x) x))
  (* (cbrt (* (- z y) x)) (cbrt (* (- z y) x)))
  (cbrt (* (- z y) x))
  (* (* (* (- z y) x) (* (- z y) x)) (* (- z y) x))
  (sqrt (* (- z y) x))
  (sqrt (* (- z y) x))
  (* (sqrt (- z y)) (sqrt x))
  (* (sqrt (- z y)) (sqrt x))
  (* (- z y) (* (cbrt x) (cbrt x)))
  (* (- z y) (sqrt x))
  (* (- z y) 1)
  (* (cbrt (- z y)) x)
  (* (sqrt (- z y)) x)
  (* (- z y) x)
  (* (- (sqrt z) (sqrt y)) x)
  (* (- z y) x)
  (* (- (pow z 3) (pow y 3)) x)
  (* (- (* z z) (* y y)) x)
  (real->posit16 (* (- z y) x))
  0
  (- (* x z) (+ (* x y) (* t z)))
  (- (* x z) (+ (* x y) (* t z)))
  0
  (- (* x z) (* x y))
  (- (* x z) (* x y))
1.786 * * [simplify]: iteration 0: 84 enodes
1.813 * * [simplify]: iteration 1: 202 enodes
1.888 * * [simplify]: iteration 2: 595 enodes
2.103 * * [simplify]: iteration complete: 2001 enodes
2.104 * * [simplify]: Extracting #0: cost 36 inf + 0
2.104 * * [simplify]: Extracting #1: cost 302 inf + 1
2.106 * * [simplify]: Extracting #2: cost 665 inf + 1131
2.119 * * [simplify]: Extracting #3: cost 394 inf + 53454
2.139 * * [simplify]: Extracting #4: cost 62 inf + 110043
2.170 * * [simplify]: Extracting #5: cost 13 inf + 123373
2.194 * * [simplify]: Extracting #6: cost 2 inf + 126186
2.221 * * [simplify]: Extracting #7: cost 0 inf + 126692
2.246 * [simplify]: Simplified to:
  (- (* z (- x t)) (* x y))
  (* z (+ (- t) t))
  (expm1 (- (* z (- x t)) (* x y)))
  (log1p (- (* z (- x t)) (* x y)))
  (- (* t z))
  (exp (- (* z (- x t)) (* x y)))
  (log (- (* z (- x t)) (* x y)))
  (exp (- (* z (- x t)) (* x y)))
  (* (cbrt (- (* z (- x t)) (* x y))) (cbrt (- (* z (- x t)) (* x y))))
  (cbrt (- (* z (- x t)) (* x y)))
  (* (- (* z (- x t)) (* x y)) (* (- (* z (- x t)) (* x y)) (- (* z (- x t)) (* x y))))
  (sqrt (- (* z (- x t)) (* x y)))
  (sqrt (- (* z (- x t)) (* x y)))
  (- (* (* x (- z y)) (* (* x (- z y)) (* x (- z y)))) (* (* t z) (* (* t z) (* t z))))
  (fma (* x (- z y)) (* x (- z y)) (fma (* t z) (* x (- z y)) (* (* t z) (* t z))))
  (- (* t z))
  (- (* (* x (- z y)) (* x (- z y))) (* (* t z) (* t z)))
  (fma (- z y) x (* t z))
  (- (* t z))
  (real->posit16 (- (* z (- x t)) (* x y)))
  (expm1 (* x (- z y)))
  (log1p (* x (- z y)))
  (* x (- z y))
  (log (* x (- z y)))
  (log (* x (- z y)))
  (exp (* x (- z y)))
  (* (* x (- z y)) (* (* x (- z y)) (* x (- z y))))
  (* (cbrt (* x (- z y))) (cbrt (* x (- z y))))
  (cbrt (* x (- z y)))
  (* (* x (- z y)) (* (* x (- z y)) (* x (- z y))))
  (sqrt (* x (- z y)))
  (sqrt (* x (- z y)))
  (* (sqrt x) (sqrt (- z y)))
  (* (sqrt x) (sqrt (- z y)))
  (* (cbrt x) (* (cbrt x) (- z y)))
  (* (sqrt x) (- z y))
  (- z y)
  (* x (cbrt (- z y)))
  (* x (sqrt (- z y)))
  (* x (- z y))
  (* (- (sqrt z) (sqrt y)) x)
  (* x (- z y))
  (* (- (* (* z z) z) (* (* y y) y)) x)
  (* x (* (- z y) (+ y z)))
  (real->posit16 (* x (- z y)))
  0
  (- (* z (- x t)) (* x y))
  (- (* z (- x t)) (* x y))
  0
  (* x (- z y))
  (* x (- z y))
2.247 * * * [progress]: adding candidates to table
2.425 * [progress]: [Phase 3 of 3] Extracting.
2.425 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t) (fma (- t x) (- y z) x))> #<alt (λ (x y z t) (- (* (- z y) x) (* z t)))>)
2.425 * * * [regime-changes]: Trying 5 branch expressions: ((- y z) t z y x)
2.425 * * * * [regimes]: Trying to branch on (- y z) from (#<alt (λ (x y z t) (fma (- t x) (- y z) x))> #<alt (λ (x y z t) (- (* (- z y) x) (* z t)))>)
2.467 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t) (fma (- t x) (- y z) x))> #<alt (λ (x y z t) (- (* (- z y) x) (* z t)))>)
2.504 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t) (fma (- t x) (- y z) x))> #<alt (λ (x y z t) (- (* (- z y) x) (* z t)))>)
2.540 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t) (fma (- t x) (- y z) x))> #<alt (λ (x y z t) (- (* (- z y) x) (* z t)))>)
2.568 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t) (fma (- t x) (- y z) x))> #<alt (λ (x y z t) (- (* (- z y) x) (* z t)))>)
2.607 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
2.607 * [simplify]: Simplifying:
  (fma (- t x) (- y z) x)
2.608 * * [simplify]: iteration 0: 7 enodes
2.608 * * [simplify]: iteration complete: 7 enodes
2.608 * * [simplify]: Extracting #0: cost 1 inf + 0
2.608 * * [simplify]: Extracting #1: cost 4 inf + 0
2.608 * * [simplify]: Extracting #2: cost 6 inf + 1
2.608 * * [simplify]: Extracting #3: cost 2 inf + 46
2.608 * * [simplify]: Extracting #4: cost 0 inf + 227
2.608 * [simplify]: Simplified to:
  (fma (- t x) (- y z) x)
4.362 * [regime-testing]: Baseline error score: 0.02262782847855982
4.365 * [regime-testing]: Oracle error score: 0.018502312789098637
4.371 * [regime-testing]: End program error score: 0.02262782847855982
4.443 * [regime-testing]: Target error score: 0.030552858785195498