26.252 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.046 * * * [progress]: [2/2] Setting up program.
0.052 * [progress]: [Phase 2 of 3] Improving.
0.052 * [simplify]: Simplifying:
  (+ x (/ (* (- y x) z) t))
0.053 * * [simplify]: iteration 0: 8 enodes
0.055 * * [simplify]: iteration 1: 14 enodes
0.416 * * [simplify]: iteration 2: 28 enodes
0.420 * * [simplify]: iteration 3: 51 enodes
0.427 * * [simplify]: iteration 4: 89 enodes
0.443 * * [simplify]: iteration 5: 156 enodes
0.490 * * [simplify]: iteration 6: 353 enodes
0.628 * * [simplify]: iteration 7: 1018 enodes
1.850 * * [simplify]: iteration 8: 3315 enodes
2.735 * * [simplify]: iteration complete: 5000 enodes
2.735 * * [simplify]: Extracting #0: cost 1 inf + 0
2.737 * * [simplify]: Extracting #1: cost 271 inf + 0
2.746 * * [simplify]: Extracting #2: cost 466 inf + 122
2.754 * * [simplify]: Extracting #3: cost 276 inf + 1399
2.762 * * [simplify]: Extracting #4: cost 10 inf + 2723
2.770 * * [simplify]: Extracting #5: cost 0 inf + 2769
2.778 * [simplify]: Simplified to:
  (fma (- y x) (/ z t) x)
2.787 * * [progress]: iteration 1 / 4
2.787 * * * [progress]: picking best candidate
2.797 * * * * [pick]: Picked  #<alt (λ (x y z t) (fma (- y x) (/ z t) x))>
2.797 * * * [progress]: localizing error
2.811 * * * [progress]: generating rewritten candidates
2.811 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
2.811 * * * [progress]: generating series expansions
2.812 * * * * [progress]: [ 1 / 1 ] generating series at (2)
2.812 * [backup-simplify]: Simplify (fma (- y x) (/ z t) x) into (fma (- y x) (/ z t) x)
2.812 * [approximate]: Taking taylor expansion of (fma (- y x) (/ z t) x) in (y x z t) around 0
2.812 * [taylor]: Taking taylor expansion of (fma (- y x) (/ z t) x) in t
2.812 * [taylor]: Rewrote expression to (+ (* (- y x) (/ z t)) x)
2.812 * [taylor]: Taking taylor expansion of (* (- y x) (/ z t)) in t
2.812 * [taylor]: Taking taylor expansion of (- y x) in t
2.812 * [taylor]: Taking taylor expansion of y in t
2.812 * [backup-simplify]: Simplify y into y
2.812 * [taylor]: Taking taylor expansion of x in t
2.812 * [backup-simplify]: Simplify x into x
2.812 * [taylor]: Taking taylor expansion of (/ z t) in t
2.812 * [taylor]: Taking taylor expansion of z in t
2.812 * [backup-simplify]: Simplify z into z
2.812 * [taylor]: Taking taylor expansion of t in t
2.812 * [backup-simplify]: Simplify 0 into 0
2.812 * [backup-simplify]: Simplify 1 into 1
2.812 * [backup-simplify]: Simplify (/ z 1) into z
2.812 * [taylor]: Taking taylor expansion of x in t
2.812 * [backup-simplify]: Simplify x into x
2.812 * [taylor]: Taking taylor expansion of (fma (- y x) (/ z t) x) in z
2.812 * [taylor]: Rewrote expression to (+ (* (- y x) (/ z t)) x)
2.812 * [taylor]: Taking taylor expansion of (* (- y x) (/ z t)) in z
2.812 * [taylor]: Taking taylor expansion of (- y x) in z
2.812 * [taylor]: Taking taylor expansion of y in z
2.812 * [backup-simplify]: Simplify y into y
2.812 * [taylor]: Taking taylor expansion of x in z
2.812 * [backup-simplify]: Simplify x into x
2.812 * [taylor]: Taking taylor expansion of (/ z t) in z
2.812 * [taylor]: Taking taylor expansion of z in z
2.812 * [backup-simplify]: Simplify 0 into 0
2.812 * [backup-simplify]: Simplify 1 into 1
2.812 * [taylor]: Taking taylor expansion of t in z
2.812 * [backup-simplify]: Simplify t into t
2.812 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
2.812 * [taylor]: Taking taylor expansion of x in z
2.812 * [backup-simplify]: Simplify x into x
2.812 * [taylor]: Taking taylor expansion of (fma (- y x) (/ z t) x) in x
2.813 * [taylor]: Rewrote expression to (+ (* (- y x) (/ z t)) x)
2.813 * [taylor]: Taking taylor expansion of (* (- y x) (/ z t)) in x
2.813 * [taylor]: Taking taylor expansion of (- y x) in x
2.813 * [taylor]: Taking taylor expansion of y in x
2.813 * [backup-simplify]: Simplify y into y
2.813 * [taylor]: Taking taylor expansion of x in x
2.813 * [backup-simplify]: Simplify 0 into 0
2.813 * [backup-simplify]: Simplify 1 into 1
2.813 * [taylor]: Taking taylor expansion of (/ z t) in x
2.813 * [taylor]: Taking taylor expansion of z in x
2.813 * [backup-simplify]: Simplify z into z
2.813 * [taylor]: Taking taylor expansion of t in x
2.813 * [backup-simplify]: Simplify t into t
2.813 * [backup-simplify]: Simplify (/ z t) into (/ z t)
2.813 * [taylor]: Taking taylor expansion of x in x
2.813 * [backup-simplify]: Simplify 0 into 0
2.813 * [backup-simplify]: Simplify 1 into 1
2.813 * [taylor]: Taking taylor expansion of (fma (- y x) (/ z t) x) in y
2.813 * [taylor]: Rewrote expression to (+ (* (- y x) (/ z t)) x)
2.813 * [taylor]: Taking taylor expansion of (* (- y x) (/ z t)) in y
2.813 * [taylor]: Taking taylor expansion of (- y x) in y
2.813 * [taylor]: Taking taylor expansion of y in y
2.813 * [backup-simplify]: Simplify 0 into 0
2.813 * [backup-simplify]: Simplify 1 into 1
2.813 * [taylor]: Taking taylor expansion of x in y
2.813 * [backup-simplify]: Simplify x into x
2.813 * [taylor]: Taking taylor expansion of (/ z t) in y
2.813 * [taylor]: Taking taylor expansion of z in y
2.813 * [backup-simplify]: Simplify z into z
2.813 * [taylor]: Taking taylor expansion of t in y
2.813 * [backup-simplify]: Simplify t into t
2.813 * [backup-simplify]: Simplify (/ z t) into (/ z t)
2.813 * [taylor]: Taking taylor expansion of x in y
2.813 * [backup-simplify]: Simplify x into x
2.813 * [taylor]: Taking taylor expansion of (fma (- y x) (/ z t) x) in y
2.813 * [taylor]: Rewrote expression to (+ (* (- y x) (/ z t)) x)
2.813 * [taylor]: Taking taylor expansion of (* (- y x) (/ z t)) in y
2.813 * [taylor]: Taking taylor expansion of (- y x) in y
2.813 * [taylor]: Taking taylor expansion of y in y
2.813 * [backup-simplify]: Simplify 0 into 0
2.813 * [backup-simplify]: Simplify 1 into 1
2.813 * [taylor]: Taking taylor expansion of x in y
2.813 * [backup-simplify]: Simplify x into x
2.813 * [taylor]: Taking taylor expansion of (/ z t) in y
2.813 * [taylor]: Taking taylor expansion of z in y
2.813 * [backup-simplify]: Simplify z into z
2.813 * [taylor]: Taking taylor expansion of t in y
2.813 * [backup-simplify]: Simplify t into t
2.813 * [backup-simplify]: Simplify (/ z t) into (/ z t)
2.814 * [taylor]: Taking taylor expansion of x in y
2.814 * [backup-simplify]: Simplify x into x
2.814 * [backup-simplify]: Simplify (- x) into (- x)
2.814 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x)
2.814 * [backup-simplify]: Simplify (* (- x) (/ z t)) into (* -1 (/ (* x z) t))
2.814 * [backup-simplify]: Simplify (+ (* -1 (/ (* x z) t)) x) into (- x (/ (* x z) t))
2.814 * [taylor]: Taking taylor expansion of (- x (/ (* x z) t)) in x
2.814 * [taylor]: Taking taylor expansion of x in x
2.814 * [backup-simplify]: Simplify 0 into 0
2.814 * [backup-simplify]: Simplify 1 into 1
2.814 * [taylor]: Taking taylor expansion of (/ (* x z) t) in x
2.814 * [taylor]: Taking taylor expansion of (* x z) in x
2.814 * [taylor]: Taking taylor expansion of x in x
2.814 * [backup-simplify]: Simplify 0 into 0
2.814 * [backup-simplify]: Simplify 1 into 1
2.814 * [taylor]: Taking taylor expansion of z in x
2.814 * [backup-simplify]: Simplify z into z
2.814 * [taylor]: Taking taylor expansion of t in x
2.814 * [backup-simplify]: Simplify t into t
2.814 * [backup-simplify]: Simplify (* 0 z) into 0
2.815 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
2.815 * [backup-simplify]: Simplify (/ z t) into (/ z t)
2.815 * [backup-simplify]: Simplify (+ 0 0) into 0
2.815 * [taylor]: Taking taylor expansion of 0 in z
2.815 * [backup-simplify]: Simplify 0 into 0
2.815 * [taylor]: Taking taylor expansion of 0 in t
2.815 * [backup-simplify]: Simplify 0 into 0
2.815 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ z t) (/ 0 t)))) into 0
2.815 * [backup-simplify]: Simplify (- 0) into 0
2.816 * [backup-simplify]: Simplify (+ 1 0) into 1
2.816 * [backup-simplify]: Simplify (+ (* (- x) 0) (* 1 (/ z t))) into (/ z t)
2.816 * [backup-simplify]: Simplify (+ (/ z t) 0) into (/ z t)
2.816 * [taylor]: Taking taylor expansion of (/ z t) in x
2.816 * [taylor]: Taking taylor expansion of z in x
2.816 * [backup-simplify]: Simplify z into z
2.816 * [taylor]: Taking taylor expansion of t in x
2.816 * [backup-simplify]: Simplify t into t
2.816 * [backup-simplify]: Simplify (/ z t) into (/ z t)
2.816 * [taylor]: Taking taylor expansion of (/ z t) in z
2.816 * [taylor]: Taking taylor expansion of z in z
2.816 * [backup-simplify]: Simplify 0 into 0
2.816 * [backup-simplify]: Simplify 1 into 1
2.816 * [taylor]: Taking taylor expansion of t in z
2.816 * [backup-simplify]: Simplify t into t
2.816 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
2.816 * [backup-simplify]: Simplify (- (/ z t)) into (- (/ z t))
2.816 * [backup-simplify]: Simplify (+ 1 (- (/ z t))) into (- 1 (/ z t))
2.816 * [taylor]: Taking taylor expansion of (- 1 (/ z t)) in z
2.816 * [taylor]: Taking taylor expansion of 1 in z
2.816 * [backup-simplify]: Simplify 1 into 1
2.816 * [taylor]: Taking taylor expansion of (/ z t) in z
2.816 * [taylor]: Taking taylor expansion of z in z
2.816 * [backup-simplify]: Simplify 0 into 0
2.816 * [backup-simplify]: Simplify 1 into 1
2.816 * [taylor]: Taking taylor expansion of t in z
2.817 * [backup-simplify]: Simplify t into t
2.817 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
2.817 * [backup-simplify]: Simplify (+ 1 0) into 1
2.817 * [taylor]: Taking taylor expansion of 1 in t
2.817 * [backup-simplify]: Simplify 1 into 1
2.817 * [taylor]: Taking taylor expansion of 0 in t
2.817 * [backup-simplify]: Simplify 0 into 0
2.817 * [backup-simplify]: Simplify 0 into 0
2.817 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ z t) (/ 0 t)) (* 0 (/ 0 t)))) into 0
2.817 * [backup-simplify]: Simplify (- 0) into 0
2.818 * [backup-simplify]: Simplify (+ 0 0) into 0
2.818 * [backup-simplify]: Simplify (+ (* (- x) 0) (+ (* 1 0) (* 0 (/ z t)))) into 0
2.818 * [backup-simplify]: Simplify (+ 0 0) into 0
2.818 * [taylor]: Taking taylor expansion of 0 in x
2.818 * [backup-simplify]: Simplify 0 into 0
2.818 * [taylor]: Taking taylor expansion of 0 in z
2.818 * [backup-simplify]: Simplify 0 into 0
2.818 * [taylor]: Taking taylor expansion of 0 in t
2.818 * [backup-simplify]: Simplify 0 into 0
2.819 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ z t) (/ 0 t)))) into 0
2.819 * [taylor]: Taking taylor expansion of 0 in z
2.819 * [backup-simplify]: Simplify 0 into 0
2.819 * [taylor]: Taking taylor expansion of 0 in t
2.819 * [backup-simplify]: Simplify 0 into 0
2.819 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0
2.819 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ z t) (/ 0 t)))) into 0
2.820 * [backup-simplify]: Simplify (- 0) into 0
2.820 * [backup-simplify]: Simplify (+ 0 0) into 0
2.820 * [taylor]: Taking taylor expansion of 0 in z
2.820 * [backup-simplify]: Simplify 0 into 0
2.820 * [taylor]: Taking taylor expansion of 0 in t
2.820 * [backup-simplify]: Simplify 0 into 0
2.820 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.820 * [taylor]: Taking taylor expansion of t in t
2.820 * [backup-simplify]: Simplify 0 into 0
2.820 * [backup-simplify]: Simplify 1 into 1
2.820 * [backup-simplify]: Simplify (/ 1 1) into 1
2.820 * [backup-simplify]: Simplify 1 into 1
2.820 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t))
2.820 * [backup-simplify]: Simplify (+ 0 (- (/ 1 t))) into (- (/ 1 t))
2.820 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t
2.820 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.820 * [taylor]: Taking taylor expansion of t in t
2.820 * [backup-simplify]: Simplify 0 into 0
2.821 * [backup-simplify]: Simplify 1 into 1
2.821 * [backup-simplify]: Simplify (/ 1 1) into 1
2.821 * [backup-simplify]: Simplify (- 1) into -1
2.821 * [backup-simplify]: Simplify -1 into -1
2.821 * [taylor]: Taking taylor expansion of 0 in t
2.821 * [backup-simplify]: Simplify 0 into 0
2.821 * [backup-simplify]: Simplify 1 into 1
2.821 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (* x 1)))) (+ (* -1 (* (/ 1 t) (* z (* x 1)))) (* 1 (* (/ 1 t) (* z (* 1 y)))))) into (- (+ (/ (* z y) t) x) (/ (* x z) t))
2.822 * [backup-simplify]: Simplify (fma (- (/ 1 y) (/ 1 x)) (/ (/ 1 z) (/ 1 t)) (/ 1 x)) into (fma (- (/ 1 y) (/ 1 x)) (/ t z) (/ 1 x))
2.822 * [approximate]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ t z) (/ 1 x)) in (y x z t) around 0
2.822 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ t z) (/ 1 x)) in t
2.822 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ t z)) (/ 1 x))
2.822 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ t z)) in t
2.822 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in t
2.822 * [taylor]: Taking taylor expansion of (/ 1 y) in t
2.822 * [taylor]: Taking taylor expansion of y in t
2.822 * [backup-simplify]: Simplify y into y
2.822 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.822 * [taylor]: Taking taylor expansion of (/ 1 x) in t
2.822 * [taylor]: Taking taylor expansion of x in t
2.822 * [backup-simplify]: Simplify x into x
2.822 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.822 * [taylor]: Taking taylor expansion of (/ t z) in t
2.822 * [taylor]: Taking taylor expansion of t in t
2.822 * [backup-simplify]: Simplify 0 into 0
2.822 * [backup-simplify]: Simplify 1 into 1
2.822 * [taylor]: Taking taylor expansion of z in t
2.822 * [backup-simplify]: Simplify z into z
2.822 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.822 * [taylor]: Taking taylor expansion of (/ 1 x) in t
2.822 * [taylor]: Taking taylor expansion of x in t
2.822 * [backup-simplify]: Simplify x into x
2.822 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.822 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ t z) (/ 1 x)) in z
2.822 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ t z)) (/ 1 x))
2.822 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ t z)) in z
2.822 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z
2.822 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.823 * [taylor]: Taking taylor expansion of y in z
2.823 * [backup-simplify]: Simplify y into y
2.823 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.823 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.823 * [taylor]: Taking taylor expansion of x in z
2.823 * [backup-simplify]: Simplify x into x
2.823 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.823 * [taylor]: Taking taylor expansion of (/ t z) in z
2.823 * [taylor]: Taking taylor expansion of t in z
2.823 * [backup-simplify]: Simplify t into t
2.823 * [taylor]: Taking taylor expansion of z in z
2.823 * [backup-simplify]: Simplify 0 into 0
2.823 * [backup-simplify]: Simplify 1 into 1
2.823 * [backup-simplify]: Simplify (/ t 1) into t
2.823 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.823 * [taylor]: Taking taylor expansion of x in z
2.823 * [backup-simplify]: Simplify x into x
2.823 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.823 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ t z) (/ 1 x)) in x
2.823 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ t z)) (/ 1 x))
2.823 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ t z)) in x
2.823 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
2.823 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.823 * [taylor]: Taking taylor expansion of y in x
2.823 * [backup-simplify]: Simplify y into y
2.823 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.823 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.823 * [taylor]: Taking taylor expansion of x in x
2.823 * [backup-simplify]: Simplify 0 into 0
2.823 * [backup-simplify]: Simplify 1 into 1
2.824 * [backup-simplify]: Simplify (/ 1 1) into 1
2.824 * [taylor]: Taking taylor expansion of (/ t z) in x
2.824 * [taylor]: Taking taylor expansion of t in x
2.824 * [backup-simplify]: Simplify t into t
2.824 * [taylor]: Taking taylor expansion of z in x
2.824 * [backup-simplify]: Simplify z into z
2.824 * [backup-simplify]: Simplify (/ t z) into (/ t z)
2.824 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.824 * [taylor]: Taking taylor expansion of x in x
2.824 * [backup-simplify]: Simplify 0 into 0
2.824 * [backup-simplify]: Simplify 1 into 1
2.824 * [backup-simplify]: Simplify (/ 1 1) into 1
2.824 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ t z) (/ 1 x)) in y
2.824 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ t z)) (/ 1 x))
2.824 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ t z)) in y
2.824 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
2.824 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.824 * [taylor]: Taking taylor expansion of y in y
2.824 * [backup-simplify]: Simplify 0 into 0
2.824 * [backup-simplify]: Simplify 1 into 1
2.825 * [backup-simplify]: Simplify (/ 1 1) into 1
2.825 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.825 * [taylor]: Taking taylor expansion of x in y
2.825 * [backup-simplify]: Simplify x into x
2.825 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.825 * [taylor]: Taking taylor expansion of (/ t z) in y
2.825 * [taylor]: Taking taylor expansion of t in y
2.825 * [backup-simplify]: Simplify t into t
2.825 * [taylor]: Taking taylor expansion of z in y
2.825 * [backup-simplify]: Simplify z into z
2.825 * [backup-simplify]: Simplify (/ t z) into (/ t z)
2.825 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.825 * [taylor]: Taking taylor expansion of x in y
2.825 * [backup-simplify]: Simplify x into x
2.825 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.825 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ t z) (/ 1 x)) in y
2.825 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ t z)) (/ 1 x))
2.825 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ t z)) in y
2.825 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
2.825 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.825 * [taylor]: Taking taylor expansion of y in y
2.825 * [backup-simplify]: Simplify 0 into 0
2.825 * [backup-simplify]: Simplify 1 into 1
2.825 * [backup-simplify]: Simplify (/ 1 1) into 1
2.825 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.825 * [taylor]: Taking taylor expansion of x in y
2.825 * [backup-simplify]: Simplify x into x
2.826 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.826 * [taylor]: Taking taylor expansion of (/ t z) in y
2.826 * [taylor]: Taking taylor expansion of t in y
2.826 * [backup-simplify]: Simplify t into t
2.826 * [taylor]: Taking taylor expansion of z in y
2.826 * [backup-simplify]: Simplify z into z
2.826 * [backup-simplify]: Simplify (/ t z) into (/ t z)
2.826 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.826 * [taylor]: Taking taylor expansion of x in y
2.826 * [backup-simplify]: Simplify x into x
2.826 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.826 * [backup-simplify]: Simplify (+ 1 0) into 1
2.826 * [backup-simplify]: Simplify (* 1 (/ t z)) into (/ t z)
2.826 * [backup-simplify]: Simplify (+ (/ t z) 0) into (/ t z)
2.826 * [taylor]: Taking taylor expansion of (/ t z) in x
2.826 * [taylor]: Taking taylor expansion of t in x
2.826 * [backup-simplify]: Simplify t into t
2.826 * [taylor]: Taking taylor expansion of z in x
2.826 * [backup-simplify]: Simplify z into z
2.826 * [backup-simplify]: Simplify (/ t z) into (/ t z)
2.826 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)))) into 0
2.827 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.827 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
2.827 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x))
2.827 * [backup-simplify]: Simplify (+ (* 1 0) (* (- (/ 1 x)) (/ t z))) into (- (/ t (* x z)))
2.828 * [backup-simplify]: Simplify (+ (- (/ t (* x z))) (/ 1 x)) into (- (/ 1 x) (/ t (* x z)))
2.828 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ t (* x z))) in x
2.828 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.828 * [taylor]: Taking taylor expansion of x in x
2.828 * [backup-simplify]: Simplify 0 into 0
2.828 * [backup-simplify]: Simplify 1 into 1
2.828 * [backup-simplify]: Simplify (/ 1 1) into 1
2.828 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x
2.828 * [taylor]: Taking taylor expansion of t in x
2.828 * [backup-simplify]: Simplify t into t
2.828 * [taylor]: Taking taylor expansion of (* x z) in x
2.828 * [taylor]: Taking taylor expansion of x in x
2.828 * [backup-simplify]: Simplify 0 into 0
2.828 * [backup-simplify]: Simplify 1 into 1
2.828 * [taylor]: Taking taylor expansion of z in x
2.828 * [backup-simplify]: Simplify z into z
2.828 * [backup-simplify]: Simplify (* 0 z) into 0
2.828 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
2.828 * [backup-simplify]: Simplify (/ t z) into (/ t z)
2.828 * [backup-simplify]: Simplify (- (/ t z)) into (- (/ t z))
2.829 * [backup-simplify]: Simplify (+ 1 (- (/ t z))) into (- 1 (/ t z))
2.829 * [taylor]: Taking taylor expansion of (- 1 (/ t z)) in z
2.829 * [taylor]: Taking taylor expansion of 1 in z
2.829 * [backup-simplify]: Simplify 1 into 1
2.829 * [taylor]: Taking taylor expansion of (/ t z) in z
2.829 * [taylor]: Taking taylor expansion of t in z
2.829 * [backup-simplify]: Simplify t into t
2.829 * [taylor]: Taking taylor expansion of z in z
2.829 * [backup-simplify]: Simplify 0 into 0
2.829 * [backup-simplify]: Simplify 1 into 1
2.829 * [backup-simplify]: Simplify (/ t 1) into t
2.829 * [backup-simplify]: Simplify (- t) into (- t)
2.829 * [backup-simplify]: Simplify (+ 0 (- t)) into (- t)
2.829 * [taylor]: Taking taylor expansion of (- t) in t
2.829 * [taylor]: Taking taylor expansion of t in t
2.829 * [backup-simplify]: Simplify 0 into 0
2.829 * [backup-simplify]: Simplify 1 into 1
2.829 * [backup-simplify]: Simplify (- 0) into 0
2.829 * [backup-simplify]: Simplify 0 into 0
2.829 * [taylor]: Taking taylor expansion of (/ t z) in z
2.829 * [taylor]: Taking taylor expansion of t in z
2.829 * [backup-simplify]: Simplify t into t
2.829 * [taylor]: Taking taylor expansion of z in z
2.829 * [backup-simplify]: Simplify 0 into 0
2.829 * [backup-simplify]: Simplify 1 into 1
2.829 * [backup-simplify]: Simplify (/ t 1) into t
2.829 * [taylor]: Taking taylor expansion of t in t
2.829 * [backup-simplify]: Simplify 0 into 0
2.829 * [backup-simplify]: Simplify 1 into 1
2.829 * [backup-simplify]: Simplify 0 into 0
2.829 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
2.830 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.830 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
2.830 * [backup-simplify]: Simplify (- 0) into 0
2.831 * [backup-simplify]: Simplify (+ 0 0) into 0
2.832 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 x)) 0) (* 0 (/ t z)))) into 0
2.832 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
2.832 * [backup-simplify]: Simplify (+ 0 0) into 0
2.832 * [taylor]: Taking taylor expansion of 0 in x
2.832 * [backup-simplify]: Simplify 0 into 0
2.833 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.834 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0
2.834 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)))) into 0
2.835 * [backup-simplify]: Simplify (- 0) into 0
2.835 * [backup-simplify]: Simplify (+ 0 0) into 0
2.835 * [taylor]: Taking taylor expansion of 0 in z
2.835 * [backup-simplify]: Simplify 0 into 0
2.835 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)))) into 0
2.835 * [taylor]: Taking taylor expansion of 0 in z
2.835 * [backup-simplify]: Simplify 0 into 0
2.836 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
2.837 * [backup-simplify]: Simplify (- 0) into 0
2.837 * [backup-simplify]: Simplify (+ 1 0) into 1
2.837 * [taylor]: Taking taylor expansion of 1 in t
2.837 * [backup-simplify]: Simplify 1 into 1
2.837 * [backup-simplify]: Simplify 1 into 1
2.838 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
2.838 * [taylor]: Taking taylor expansion of 0 in t
2.838 * [backup-simplify]: Simplify 0 into 0
2.838 * [backup-simplify]: Simplify 0 into 0
2.839 * [backup-simplify]: Simplify (- 1) into -1
2.839 * [backup-simplify]: Simplify -1 into -1
2.839 * [backup-simplify]: Simplify 1 into 1
2.839 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 t) (* (/ 1 (/ 1 z)) (* 1 (/ 1 (/ 1 y)))))) (+ (* -1 (* (/ 1 t) (* (/ 1 (/ 1 z)) (* (/ 1 (/ 1 x)) 1)))) (* 1 (* 1 (* 1 (* (/ 1 (/ 1 x)) 1)))))) into (- (+ (/ (* z y) t) x) (/ (* x z) t))
2.840 * [backup-simplify]: Simplify (fma (- (/ 1 (- y)) (/ 1 (- x))) (/ (/ 1 (- z)) (/ 1 (- t))) (/ 1 (- x))) into (fma (- (/ 1 x) (/ 1 y)) (/ t z) (/ -1 x))
2.840 * [approximate]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ t z) (/ -1 x)) in (y x z t) around 0
2.840 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ t z) (/ -1 x)) in t
2.840 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ t z)) (/ -1 x))
2.840 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ t z)) in t
2.840 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in t
2.840 * [taylor]: Taking taylor expansion of (/ 1 x) in t
2.840 * [taylor]: Taking taylor expansion of x in t
2.840 * [backup-simplify]: Simplify x into x
2.840 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.840 * [taylor]: Taking taylor expansion of (/ 1 y) in t
2.840 * [taylor]: Taking taylor expansion of y in t
2.840 * [backup-simplify]: Simplify y into y
2.840 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.841 * [taylor]: Taking taylor expansion of (/ t z) in t
2.841 * [taylor]: Taking taylor expansion of t in t
2.841 * [backup-simplify]: Simplify 0 into 0
2.841 * [backup-simplify]: Simplify 1 into 1
2.841 * [taylor]: Taking taylor expansion of z in t
2.841 * [backup-simplify]: Simplify z into z
2.841 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.841 * [taylor]: Taking taylor expansion of (/ -1 x) in t
2.841 * [taylor]: Taking taylor expansion of -1 in t
2.841 * [backup-simplify]: Simplify -1 into -1
2.841 * [taylor]: Taking taylor expansion of x in t
2.841 * [backup-simplify]: Simplify x into x
2.841 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
2.841 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ t z) (/ -1 x)) in z
2.841 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ t z)) (/ -1 x))
2.841 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ t z)) in z
2.841 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z
2.841 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.841 * [taylor]: Taking taylor expansion of x in z
2.841 * [backup-simplify]: Simplify x into x
2.841 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.841 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.841 * [taylor]: Taking taylor expansion of y in z
2.841 * [backup-simplify]: Simplify y into y
2.841 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.841 * [taylor]: Taking taylor expansion of (/ t z) in z
2.841 * [taylor]: Taking taylor expansion of t in z
2.841 * [backup-simplify]: Simplify t into t
2.841 * [taylor]: Taking taylor expansion of z in z
2.842 * [backup-simplify]: Simplify 0 into 0
2.842 * [backup-simplify]: Simplify 1 into 1
2.842 * [backup-simplify]: Simplify (/ t 1) into t
2.842 * [taylor]: Taking taylor expansion of (/ -1 x) in z
2.842 * [taylor]: Taking taylor expansion of -1 in z
2.842 * [backup-simplify]: Simplify -1 into -1
2.842 * [taylor]: Taking taylor expansion of x in z
2.842 * [backup-simplify]: Simplify x into x
2.842 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
2.842 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ t z) (/ -1 x)) in x
2.842 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ t z)) (/ -1 x))
2.842 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ t z)) in x
2.842 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
2.842 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.842 * [taylor]: Taking taylor expansion of x in x
2.842 * [backup-simplify]: Simplify 0 into 0
2.842 * [backup-simplify]: Simplify 1 into 1
2.843 * [backup-simplify]: Simplify (/ 1 1) into 1
2.843 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.843 * [taylor]: Taking taylor expansion of y in x
2.843 * [backup-simplify]: Simplify y into y
2.843 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.843 * [taylor]: Taking taylor expansion of (/ t z) in x
2.843 * [taylor]: Taking taylor expansion of t in x
2.843 * [backup-simplify]: Simplify t into t
2.843 * [taylor]: Taking taylor expansion of z in x
2.843 * [backup-simplify]: Simplify z into z
2.843 * [backup-simplify]: Simplify (/ t z) into (/ t z)
2.843 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.843 * [taylor]: Taking taylor expansion of -1 in x
2.843 * [backup-simplify]: Simplify -1 into -1
2.843 * [taylor]: Taking taylor expansion of x in x
2.843 * [backup-simplify]: Simplify 0 into 0
2.843 * [backup-simplify]: Simplify 1 into 1
2.844 * [backup-simplify]: Simplify (/ -1 1) into -1
2.844 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ t z) (/ -1 x)) in y
2.844 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ t z)) (/ -1 x))
2.844 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ t z)) in y
2.844 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
2.844 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.844 * [taylor]: Taking taylor expansion of x in y
2.844 * [backup-simplify]: Simplify x into x
2.844 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.844 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.844 * [taylor]: Taking taylor expansion of y in y
2.844 * [backup-simplify]: Simplify 0 into 0
2.844 * [backup-simplify]: Simplify 1 into 1
2.844 * [backup-simplify]: Simplify (/ 1 1) into 1
2.845 * [taylor]: Taking taylor expansion of (/ t z) in y
2.845 * [taylor]: Taking taylor expansion of t in y
2.845 * [backup-simplify]: Simplify t into t
2.845 * [taylor]: Taking taylor expansion of z in y
2.845 * [backup-simplify]: Simplify z into z
2.845 * [backup-simplify]: Simplify (/ t z) into (/ t z)
2.845 * [taylor]: Taking taylor expansion of (/ -1 x) in y
2.845 * [taylor]: Taking taylor expansion of -1 in y
2.845 * [backup-simplify]: Simplify -1 into -1
2.845 * [taylor]: Taking taylor expansion of x in y
2.845 * [backup-simplify]: Simplify x into x
2.845 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
2.845 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ t z) (/ -1 x)) in y
2.845 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ t z)) (/ -1 x))
2.845 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ t z)) in y
2.845 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
2.845 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.845 * [taylor]: Taking taylor expansion of x in y
2.845 * [backup-simplify]: Simplify x into x
2.845 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.845 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.845 * [taylor]: Taking taylor expansion of y in y
2.845 * [backup-simplify]: Simplify 0 into 0
2.845 * [backup-simplify]: Simplify 1 into 1
2.846 * [backup-simplify]: Simplify (/ 1 1) into 1
2.846 * [taylor]: Taking taylor expansion of (/ t z) in y
2.846 * [taylor]: Taking taylor expansion of t in y
2.846 * [backup-simplify]: Simplify t into t
2.846 * [taylor]: Taking taylor expansion of z in y
2.846 * [backup-simplify]: Simplify z into z
2.846 * [backup-simplify]: Simplify (/ t z) into (/ t z)
2.846 * [taylor]: Taking taylor expansion of (/ -1 x) in y
2.846 * [taylor]: Taking taylor expansion of -1 in y
2.846 * [backup-simplify]: Simplify -1 into -1
2.846 * [taylor]: Taking taylor expansion of x in y
2.846 * [backup-simplify]: Simplify x into x
2.846 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
2.847 * [backup-simplify]: Simplify (- 1) into -1
2.847 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.847 * [backup-simplify]: Simplify (* -1 (/ t z)) into (* -1 (/ t z))
2.847 * [backup-simplify]: Simplify (+ (* -1 (/ t z)) 0) into (- (/ t z))
2.847 * [taylor]: Taking taylor expansion of (- (/ t z)) in x
2.847 * [taylor]: Taking taylor expansion of (/ t z) in x
2.847 * [taylor]: Taking taylor expansion of t in x
2.847 * [backup-simplify]: Simplify t into t
2.847 * [taylor]: Taking taylor expansion of z in x
2.847 * [backup-simplify]: Simplify z into z
2.847 * [backup-simplify]: Simplify (/ t z) into (/ t z)
2.848 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)))) into 0
2.848 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.849 * [backup-simplify]: Simplify (- 0) into 0
2.849 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
2.849 * [backup-simplify]: Simplify (+ (* -1 0) (* (/ 1 x) (/ t z))) into (/ t (* x z))
2.850 * [backup-simplify]: Simplify (+ (/ t (* x z)) (/ -1 x)) into (- (/ t (* x z)) (/ 1 x))
2.850 * [taylor]: Taking taylor expansion of (- (/ t (* x z)) (/ 1 x)) in x
2.850 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x
2.850 * [taylor]: Taking taylor expansion of t in x
2.850 * [backup-simplify]: Simplify t into t
2.850 * [taylor]: Taking taylor expansion of (* x z) in x
2.850 * [taylor]: Taking taylor expansion of x in x
2.850 * [backup-simplify]: Simplify 0 into 0
2.850 * [backup-simplify]: Simplify 1 into 1
2.850 * [taylor]: Taking taylor expansion of z in x
2.850 * [backup-simplify]: Simplify z into z
2.850 * [backup-simplify]: Simplify (* 0 z) into 0
2.850 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
2.850 * [backup-simplify]: Simplify (/ t z) into (/ t z)
2.850 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.850 * [taylor]: Taking taylor expansion of x in x
2.850 * [backup-simplify]: Simplify 0 into 0
2.851 * [backup-simplify]: Simplify 1 into 1
2.851 * [backup-simplify]: Simplify (/ 1 1) into 1
2.851 * [backup-simplify]: Simplify (- 1) into -1
2.851 * [backup-simplify]: Simplify (+ (/ t z) -1) into (- (/ t z) 1)
2.851 * [taylor]: Taking taylor expansion of (- (/ t z) 1) in z
2.851 * [taylor]: Taking taylor expansion of (/ t z) in z
2.851 * [taylor]: Taking taylor expansion of t in z
2.851 * [backup-simplify]: Simplify t into t
2.852 * [taylor]: Taking taylor expansion of z in z
2.852 * [backup-simplify]: Simplify 0 into 0
2.852 * [backup-simplify]: Simplify 1 into 1
2.852 * [backup-simplify]: Simplify (/ t 1) into t
2.852 * [taylor]: Taking taylor expansion of 1 in z
2.852 * [backup-simplify]: Simplify 1 into 1
2.852 * [backup-simplify]: Simplify (+ t 0) into t
2.852 * [taylor]: Taking taylor expansion of t in t
2.852 * [backup-simplify]: Simplify 0 into 0
2.852 * [backup-simplify]: Simplify 1 into 1
2.852 * [backup-simplify]: Simplify 0 into 0
2.852 * [backup-simplify]: Simplify (- (/ t z)) into (- (/ t z))
2.852 * [taylor]: Taking taylor expansion of (- (/ t z)) in z
2.852 * [taylor]: Taking taylor expansion of (/ t z) in z
2.852 * [taylor]: Taking taylor expansion of t in z
2.852 * [backup-simplify]: Simplify t into t
2.852 * [taylor]: Taking taylor expansion of z in z
2.852 * [backup-simplify]: Simplify 0 into 0
2.852 * [backup-simplify]: Simplify 1 into 1
2.852 * [backup-simplify]: Simplify (/ t 1) into t
2.852 * [backup-simplify]: Simplify (- t) into (- t)
2.852 * [taylor]: Taking taylor expansion of (- t) in t
2.852 * [taylor]: Taking taylor expansion of t in t
2.852 * [backup-simplify]: Simplify 0 into 0
2.852 * [backup-simplify]: Simplify 1 into 1
2.853 * [backup-simplify]: Simplify (- 0) into 0
2.853 * [backup-simplify]: Simplify 0 into 0
2.853 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
2.853 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
2.854 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.855 * [backup-simplify]: Simplify (- 0) into 0
2.855 * [backup-simplify]: Simplify (+ 0 0) into 0
2.856 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 x) 0) (* 0 (/ t z)))) into 0
2.856 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
2.856 * [backup-simplify]: Simplify (+ 0 0) into 0
2.856 * [taylor]: Taking taylor expansion of 0 in x
2.856 * [backup-simplify]: Simplify 0 into 0
2.857 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0
2.857 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)))) into 0
2.858 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.858 * [backup-simplify]: Simplify (- 0) into 0
2.859 * [backup-simplify]: Simplify (+ 0 0) into 0
2.859 * [taylor]: Taking taylor expansion of 0 in z
2.859 * [backup-simplify]: Simplify 0 into 0
2.859 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)))) into 0
2.859 * [backup-simplify]: Simplify (- 0) into 0
2.859 * [taylor]: Taking taylor expansion of 0 in z
2.859 * [backup-simplify]: Simplify 0 into 0
2.860 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
2.861 * [backup-simplify]: Simplify (- 1) into -1
2.861 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.861 * [taylor]: Taking taylor expansion of -1 in t
2.861 * [backup-simplify]: Simplify -1 into -1
2.861 * [backup-simplify]: Simplify -1 into -1
2.862 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
2.862 * [backup-simplify]: Simplify (- 0) into 0
2.862 * [taylor]: Taking taylor expansion of 0 in t
2.863 * [backup-simplify]: Simplify 0 into 0
2.863 * [backup-simplify]: Simplify 0 into 0
2.863 * [backup-simplify]: Simplify 1 into 1
2.863 * [backup-simplify]: Simplify (- 1) into -1
2.863 * [backup-simplify]: Simplify -1 into -1
2.864 * [backup-simplify]: Simplify (+ (* -1 (* (/ 1 (- t)) (* (/ 1 (/ 1 (- z))) (* 1 (/ 1 (/ 1 (- y))))))) (+ (* 1 (* (/ 1 (- t)) (* (/ 1 (/ 1 (- z))) (* (/ 1 (/ 1 (- x))) 1)))) (* -1 (* 1 (* 1 (* (/ 1 (/ 1 (- x))) 1)))))) into (- (+ (/ (* z y) t) x) (/ (* x z) t))
2.864 * * * [progress]: simplifying candidates
2.864 * [simplify]: Simplifying:
  (expm1 (fma (- y x) (/ z t) x))
  (log1p (fma (- y x) (/ z t) x))
  (* (- y x) (/ z t))
  (log (fma (- y x) (/ z t) x))
  (exp (fma (- y x) (/ z t) x))
  (* (cbrt (fma (- y x) (/ z t) x)) (cbrt (fma (- y x) (/ z t) x)))
  (cbrt (fma (- y x) (/ z t) x))
  (* (* (fma (- y x) (/ z t) x) (fma (- y x) (/ z t) x)) (fma (- y x) (/ z t) x))
  (sqrt (fma (- y x) (/ z t) x))
  (sqrt (fma (- y x) (/ z t) x))
  (- (+ (/ (* z y) t) x) (/ (* x z) t))
  (- (+ (/ (* z y) t) x) (/ (* x z) t))
  (- (+ (/ (* z y) t) x) (/ (* x z) t))
2.865 * * [simplify]: iteration 0: 23 enodes
2.871 * * [simplify]: iteration 1: 41 enodes
2.882 * * [simplify]: iteration 2: 86 enodes
2.918 * * [simplify]: iteration 3: 263 enodes
3.094 * * [simplify]: iteration 4: 1513 enodes
4.077 * * [simplify]: iteration complete: 5001 enodes
4.078 * * [simplify]: Extracting #0: cost 10 inf + 0
4.078 * * [simplify]: Extracting #1: cost 136 inf + 0
4.085 * * [simplify]: Extracting #2: cost 1034 inf + 130
4.092 * * [simplify]: Extracting #3: cost 1151 inf + 6872
4.098 * * [simplify]: Extracting #4: cost 205 inf + 24052
4.104 * * [simplify]: Extracting #5: cost 2 inf + 27754
4.110 * * [simplify]: Extracting #6: cost 0 inf + 27778
4.123 * [simplify]: Simplified to:
  (expm1 (fma (/ z t) (- y x) x))
  (log1p (fma (/ z t) (- y x) x))
  (* z (/ (- y x) t))
  (log (fma (/ z t) (- y x) x))
  (exp (fma (/ z t) (- y x) x))
  (* (cbrt (fma (/ z t) (- y x) x)) (cbrt (fma (/ z t) (- y x) x)))
  (cbrt (fma (/ z t) (- y x) x))
  (pow (fma (/ z t) (- y x) x) 3)
  (sqrt (fma (/ z t) (- y x) x))
  (sqrt (fma (/ z t) (- y x) x))
  (fma (/ z t) (- y x) x)
  (fma (/ z t) (- y x) x)
  (fma (/ z t) (- y x) x)
4.124 * * * [progress]: adding candidates to table
4.180 * * [progress]: iteration 2 / 4
4.180 * * * [progress]: picking best candidate
4.186 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ x (/ (* (- y x) z) t)))>
4.187 * * * [progress]: localizing error
4.196 * * * [progress]: generating rewritten candidates
4.196 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
4.217 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 1)
4.237 * * * [progress]: generating series expansions
4.237 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
4.237 * [backup-simplify]: Simplify (/ (* (- y x) z) t) into (/ (* z (- y x)) t)
4.237 * [approximate]: Taking taylor expansion of (/ (* z (- y x)) t) in (y x z t) around 0
4.237 * [taylor]: Taking taylor expansion of (/ (* z (- y x)) t) in t
4.237 * [taylor]: Taking taylor expansion of (* z (- y x)) in t
4.237 * [taylor]: Taking taylor expansion of z in t
4.237 * [backup-simplify]: Simplify z into z
4.237 * [taylor]: Taking taylor expansion of (- y x) in t
4.237 * [taylor]: Taking taylor expansion of y in t
4.237 * [backup-simplify]: Simplify y into y
4.237 * [taylor]: Taking taylor expansion of x in t
4.237 * [backup-simplify]: Simplify x into x
4.237 * [taylor]: Taking taylor expansion of t in t
4.237 * [backup-simplify]: Simplify 0 into 0
4.237 * [backup-simplify]: Simplify 1 into 1
4.237 * [backup-simplify]: Simplify (- x) into (- x)
4.237 * [backup-simplify]: Simplify (+ y (- x)) into (- y x)
4.237 * [backup-simplify]: Simplify (* z (- y x)) into (* z (- y x))
4.237 * [backup-simplify]: Simplify (/ (* z (- y x)) 1) into (* z (- y x))
4.237 * [taylor]: Taking taylor expansion of (/ (* z (- y x)) t) in z
4.237 * [taylor]: Taking taylor expansion of (* z (- y x)) in z
4.237 * [taylor]: Taking taylor expansion of z in z
4.237 * [backup-simplify]: Simplify 0 into 0
4.237 * [backup-simplify]: Simplify 1 into 1
4.237 * [taylor]: Taking taylor expansion of (- y x) in z
4.237 * [taylor]: Taking taylor expansion of y in z
4.237 * [backup-simplify]: Simplify y into y
4.237 * [taylor]: Taking taylor expansion of x in z
4.237 * [backup-simplify]: Simplify x into x
4.237 * [taylor]: Taking taylor expansion of t in z
4.237 * [backup-simplify]: Simplify t into t
4.237 * [backup-simplify]: Simplify (- x) into (- x)
4.237 * [backup-simplify]: Simplify (+ y (- x)) into (- y x)
4.237 * [backup-simplify]: Simplify (* 0 (- y x)) into 0
4.238 * [backup-simplify]: Simplify (- 0) into 0
4.238 * [backup-simplify]: Simplify (+ 0 0) into 0
4.239 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- y x))) into (- y x)
4.239 * [backup-simplify]: Simplify (/ (- y x) t) into (/ (- y x) t)
4.239 * [taylor]: Taking taylor expansion of (/ (* z (- y x)) t) in x
4.239 * [taylor]: Taking taylor expansion of (* z (- y x)) in x
4.239 * [taylor]: Taking taylor expansion of z in x
4.239 * [backup-simplify]: Simplify z into z
4.239 * [taylor]: Taking taylor expansion of (- y x) in x
4.239 * [taylor]: Taking taylor expansion of y in x
4.239 * [backup-simplify]: Simplify y into y
4.239 * [taylor]: Taking taylor expansion of x in x
4.239 * [backup-simplify]: Simplify 0 into 0
4.239 * [backup-simplify]: Simplify 1 into 1
4.239 * [taylor]: Taking taylor expansion of t in x
4.239 * [backup-simplify]: Simplify t into t
4.239 * [backup-simplify]: Simplify (- 0) into 0
4.239 * [backup-simplify]: Simplify (+ y 0) into y
4.240 * [backup-simplify]: Simplify (* z y) into (* z y)
4.240 * [backup-simplify]: Simplify (/ (* z y) t) into (/ (* z y) t)
4.240 * [taylor]: Taking taylor expansion of (/ (* z (- y x)) t) in y
4.240 * [taylor]: Taking taylor expansion of (* z (- y x)) in y
4.240 * [taylor]: Taking taylor expansion of z in y
4.240 * [backup-simplify]: Simplify z into z
4.240 * [taylor]: Taking taylor expansion of (- y x) in y
4.240 * [taylor]: Taking taylor expansion of y in y
4.240 * [backup-simplify]: Simplify 0 into 0
4.240 * [backup-simplify]: Simplify 1 into 1
4.240 * [taylor]: Taking taylor expansion of x in y
4.240 * [backup-simplify]: Simplify x into x
4.240 * [taylor]: Taking taylor expansion of t in y
4.240 * [backup-simplify]: Simplify t into t
4.240 * [backup-simplify]: Simplify (- x) into (- x)
4.240 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x)
4.240 * [backup-simplify]: Simplify (* z (- x)) into (* -1 (* x z))
4.240 * [backup-simplify]: Simplify (/ (* -1 (* x z)) t) into (* -1 (/ (* x z) t))
4.240 * [taylor]: Taking taylor expansion of (/ (* z (- y x)) t) in y
4.240 * [taylor]: Taking taylor expansion of (* z (- y x)) in y
4.240 * [taylor]: Taking taylor expansion of z in y
4.240 * [backup-simplify]: Simplify z into z
4.240 * [taylor]: Taking taylor expansion of (- y x) in y
4.240 * [taylor]: Taking taylor expansion of y in y
4.240 * [backup-simplify]: Simplify 0 into 0
4.240 * [backup-simplify]: Simplify 1 into 1
4.240 * [taylor]: Taking taylor expansion of x in y
4.240 * [backup-simplify]: Simplify x into x
4.241 * [taylor]: Taking taylor expansion of t in y
4.241 * [backup-simplify]: Simplify t into t
4.241 * [backup-simplify]: Simplify (- x) into (- x)
4.241 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x)
4.241 * [backup-simplify]: Simplify (* z (- x)) into (* -1 (* x z))
4.241 * [backup-simplify]: Simplify (/ (* -1 (* x z)) t) into (* -1 (/ (* x z) t))
4.241 * [taylor]: Taking taylor expansion of (* -1 (/ (* x z) t)) in x
4.241 * [taylor]: Taking taylor expansion of -1 in x
4.241 * [backup-simplify]: Simplify -1 into -1
4.241 * [taylor]: Taking taylor expansion of (/ (* x z) t) in x
4.241 * [taylor]: Taking taylor expansion of (* x z) in x
4.241 * [taylor]: Taking taylor expansion of x in x
4.241 * [backup-simplify]: Simplify 0 into 0
4.241 * [backup-simplify]: Simplify 1 into 1
4.241 * [taylor]: Taking taylor expansion of z in x
4.241 * [backup-simplify]: Simplify z into z
4.241 * [taylor]: Taking taylor expansion of t in x
4.241 * [backup-simplify]: Simplify t into t
4.241 * [backup-simplify]: Simplify (* 0 z) into 0
4.242 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
4.242 * [backup-simplify]: Simplify (/ z t) into (/ z t)
4.242 * [backup-simplify]: Simplify (- 0) into 0
4.243 * [backup-simplify]: Simplify (+ 1 0) into 1
4.243 * [backup-simplify]: Simplify (+ (* z 1) (* 0 (- x))) into z
4.243 * [backup-simplify]: Simplify (- (/ z t) (+ (* (* -1 (/ (* x z) t)) (/ 0 t)))) into (/ z t)
4.243 * [taylor]: Taking taylor expansion of (/ z t) in x
4.243 * [taylor]: Taking taylor expansion of z in x
4.243 * [backup-simplify]: Simplify z into z
4.243 * [taylor]: Taking taylor expansion of t in x
4.243 * [backup-simplify]: Simplify t into t
4.244 * [backup-simplify]: Simplify (/ z t) into (/ z t)
4.244 * [taylor]: Taking taylor expansion of (/ z t) in z
4.244 * [taylor]: Taking taylor expansion of z in z
4.244 * [backup-simplify]: Simplify 0 into 0
4.244 * [backup-simplify]: Simplify 1 into 1
4.244 * [taylor]: Taking taylor expansion of t in z
4.244 * [backup-simplify]: Simplify t into t
4.244 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
4.244 * [taylor]: Taking taylor expansion of (/ 1 t) in t
4.244 * [taylor]: Taking taylor expansion of t in t
4.244 * [backup-simplify]: Simplify 0 into 0
4.244 * [backup-simplify]: Simplify 1 into 1
4.244 * [backup-simplify]: Simplify (/ 1 1) into 1
4.244 * [backup-simplify]: Simplify 1 into 1
4.245 * [backup-simplify]: Simplify (* -1 (/ z t)) into (* -1 (/ z t))
4.245 * [taylor]: Taking taylor expansion of (* -1 (/ z t)) in z
4.245 * [taylor]: Taking taylor expansion of -1 in z
4.245 * [backup-simplify]: Simplify -1 into -1
4.245 * [taylor]: Taking taylor expansion of (/ z t) in z
4.245 * [taylor]: Taking taylor expansion of z in z
4.245 * [backup-simplify]: Simplify 0 into 0
4.245 * [backup-simplify]: Simplify 1 into 1
4.245 * [taylor]: Taking taylor expansion of t in z
4.245 * [backup-simplify]: Simplify t into t
4.245 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
4.245 * [backup-simplify]: Simplify (* -1 (/ 1 t)) into (/ -1 t)
4.245 * [taylor]: Taking taylor expansion of (/ -1 t) in t
4.245 * [taylor]: Taking taylor expansion of -1 in t
4.245 * [backup-simplify]: Simplify -1 into -1
4.245 * [taylor]: Taking taylor expansion of t in t
4.245 * [backup-simplify]: Simplify 0 into 0
4.245 * [backup-simplify]: Simplify 1 into 1
4.246 * [backup-simplify]: Simplify (/ -1 1) into -1
4.246 * [backup-simplify]: Simplify -1 into -1
4.246 * [backup-simplify]: Simplify (- 0) into 0
4.247 * [backup-simplify]: Simplify (+ 0 0) into 0
4.248 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 (- x)))) into 0
4.248 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (* -1 (/ (* x z) t)) (/ 0 t)) (* (/ z t) (/ 0 t)))) into 0
4.248 * [taylor]: Taking taylor expansion of 0 in x
4.248 * [backup-simplify]: Simplify 0 into 0
4.248 * [taylor]: Taking taylor expansion of 0 in z
4.248 * [backup-simplify]: Simplify 0 into 0
4.248 * [taylor]: Taking taylor expansion of 0 in t
4.248 * [backup-simplify]: Simplify 0 into 0
4.249 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ z t) (/ 0 t)))) into 0
4.249 * [taylor]: Taking taylor expansion of 0 in z
4.249 * [backup-simplify]: Simplify 0 into 0
4.249 * [taylor]: Taking taylor expansion of 0 in t
4.249 * [backup-simplify]: Simplify 0 into 0
4.250 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0
4.250 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ z t) (/ 0 t)))) into 0
4.250 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ z t))) into 0
4.251 * [taylor]: Taking taylor expansion of 0 in z
4.251 * [backup-simplify]: Simplify 0 into 0
4.251 * [taylor]: Taking taylor expansion of 0 in t
4.251 * [backup-simplify]: Simplify 0 into 0
4.251 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ 1 t) (/ 0 t)))) into 0
4.251 * [taylor]: Taking taylor expansion of 0 in t
4.251 * [backup-simplify]: Simplify 0 into 0
4.251 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ 1 t) (/ 0 t)))) into 0
4.252 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 t))) into 0
4.252 * [taylor]: Taking taylor expansion of 0 in t
4.252 * [backup-simplify]: Simplify 0 into 0
4.252 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.252 * [backup-simplify]: Simplify 0 into 0
4.253 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
4.253 * [backup-simplify]: Simplify 0 into 0
4.254 * [backup-simplify]: Simplify (- 0) into 0
4.254 * [backup-simplify]: Simplify (+ 0 0) into 0
4.255 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 (- x))))) into 0
4.255 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (* -1 (/ (* x z) t)) (/ 0 t)) (* (/ z t) (/ 0 t)) (* 0 (/ 0 t)))) into 0
4.255 * [taylor]: Taking taylor expansion of 0 in x
4.255 * [backup-simplify]: Simplify 0 into 0
4.255 * [taylor]: Taking taylor expansion of 0 in z
4.255 * [backup-simplify]: Simplify 0 into 0
4.255 * [taylor]: Taking taylor expansion of 0 in t
4.255 * [backup-simplify]: Simplify 0 into 0
4.255 * [taylor]: Taking taylor expansion of 0 in z
4.255 * [backup-simplify]: Simplify 0 into 0
4.255 * [taylor]: Taking taylor expansion of 0 in t
4.255 * [backup-simplify]: Simplify 0 into 0
4.255 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ z t) (/ 0 t)) (* 0 (/ 0 t)))) into 0
4.255 * [taylor]: Taking taylor expansion of 0 in z
4.255 * [backup-simplify]: Simplify 0 into 0
4.255 * [taylor]: Taking taylor expansion of 0 in t
4.255 * [backup-simplify]: Simplify 0 into 0
4.256 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 z)))) into 0
4.256 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ z t) (/ 0 t)) (* 0 (/ 0 t)))) into 0
4.257 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ z t)))) into 0
4.257 * [taylor]: Taking taylor expansion of 0 in z
4.257 * [backup-simplify]: Simplify 0 into 0
4.257 * [taylor]: Taking taylor expansion of 0 in t
4.257 * [backup-simplify]: Simplify 0 into 0
4.257 * [taylor]: Taking taylor expansion of 0 in t
4.257 * [backup-simplify]: Simplify 0 into 0
4.257 * [taylor]: Taking taylor expansion of 0 in t
4.257 * [backup-simplify]: Simplify 0 into 0
4.257 * [taylor]: Taking taylor expansion of 0 in t
4.257 * [backup-simplify]: Simplify 0 into 0
4.257 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0
4.257 * [taylor]: Taking taylor expansion of 0 in t
4.257 * [backup-simplify]: Simplify 0 into 0
4.257 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0
4.258 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 t)))) into 0
4.258 * [taylor]: Taking taylor expansion of 0 in t
4.258 * [backup-simplify]: Simplify 0 into 0
4.258 * [backup-simplify]: Simplify 0 into 0
4.258 * [backup-simplify]: Simplify 0 into 0
4.258 * [backup-simplify]: Simplify 0 into 0
4.258 * [backup-simplify]: Simplify 0 into 0
4.258 * [backup-simplify]: Simplify (+ (* -1 (* (/ 1 t) (* z (* x 1)))) (* 1 (* (/ 1 t) (* z (* 1 y))))) into (- (/ (* z y) t) (/ (* x z) t))
4.258 * [backup-simplify]: Simplify (/ (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) (/ 1 t)) into (/ (* t (- (/ 1 y) (/ 1 x))) z)
4.258 * [approximate]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in (y x z t) around 0
4.258 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in t
4.258 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in t
4.258 * [taylor]: Taking taylor expansion of t in t
4.258 * [backup-simplify]: Simplify 0 into 0
4.258 * [backup-simplify]: Simplify 1 into 1
4.258 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in t
4.258 * [taylor]: Taking taylor expansion of (/ 1 y) in t
4.259 * [taylor]: Taking taylor expansion of y in t
4.259 * [backup-simplify]: Simplify y into y
4.259 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.259 * [taylor]: Taking taylor expansion of (/ 1 x) in t
4.259 * [taylor]: Taking taylor expansion of x in t
4.259 * [backup-simplify]: Simplify x into x
4.259 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.259 * [taylor]: Taking taylor expansion of z in t
4.259 * [backup-simplify]: Simplify z into z
4.259 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
4.259 * [backup-simplify]: Simplify (+ (/ 1 y) (- (/ 1 x))) into (- (/ 1 y) (/ 1 x))
4.259 * [backup-simplify]: Simplify (* 0 (- (/ 1 y) (/ 1 x))) into 0
4.259 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.259 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
4.259 * [backup-simplify]: Simplify (- 0) into 0
4.260 * [backup-simplify]: Simplify (+ 0 0) into 0
4.260 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- (/ 1 y) (/ 1 x)))) into (- (/ 1 y) (/ 1 x))
4.260 * [backup-simplify]: Simplify (/ (- (/ 1 y) (/ 1 x)) z) into (/ (- (/ 1 y) (/ 1 x)) z)
4.260 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in z
4.260 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in z
4.260 * [taylor]: Taking taylor expansion of t in z
4.260 * [backup-simplify]: Simplify t into t
4.260 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z
4.260 * [taylor]: Taking taylor expansion of (/ 1 y) in z
4.260 * [taylor]: Taking taylor expansion of y in z
4.260 * [backup-simplify]: Simplify y into y
4.260 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.260 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.260 * [taylor]: Taking taylor expansion of x in z
4.260 * [backup-simplify]: Simplify x into x
4.260 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.260 * [taylor]: Taking taylor expansion of z in z
4.260 * [backup-simplify]: Simplify 0 into 0
4.260 * [backup-simplify]: Simplify 1 into 1
4.260 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
4.260 * [backup-simplify]: Simplify (+ (/ 1 y) (- (/ 1 x))) into (- (/ 1 y) (/ 1 x))
4.260 * [backup-simplify]: Simplify (* t (- (/ 1 y) (/ 1 x))) into (* t (- (/ 1 y) (/ 1 x)))
4.261 * [backup-simplify]: Simplify (/ (* t (- (/ 1 y) (/ 1 x))) 1) into (* t (- (/ 1 y) (/ 1 x)))
4.261 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in x
4.261 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in x
4.261 * [taylor]: Taking taylor expansion of t in x
4.261 * [backup-simplify]: Simplify t into t
4.261 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
4.261 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.261 * [taylor]: Taking taylor expansion of y in x
4.261 * [backup-simplify]: Simplify y into y
4.261 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.261 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.261 * [taylor]: Taking taylor expansion of x in x
4.261 * [backup-simplify]: Simplify 0 into 0
4.261 * [backup-simplify]: Simplify 1 into 1
4.261 * [backup-simplify]: Simplify (/ 1 1) into 1
4.261 * [taylor]: Taking taylor expansion of z in x
4.261 * [backup-simplify]: Simplify z into z
4.261 * [backup-simplify]: Simplify (- 1) into -1
4.262 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.262 * [backup-simplify]: Simplify (* t -1) into (* -1 t)
4.262 * [backup-simplify]: Simplify (/ (* -1 t) z) into (* -1 (/ t z))
4.262 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in y
4.262 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in y
4.262 * [taylor]: Taking taylor expansion of t in y
4.262 * [backup-simplify]: Simplify t into t
4.262 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
4.262 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.262 * [taylor]: Taking taylor expansion of y in y
4.262 * [backup-simplify]: Simplify 0 into 0
4.262 * [backup-simplify]: Simplify 1 into 1
4.262 * [backup-simplify]: Simplify (/ 1 1) into 1
4.262 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.262 * [taylor]: Taking taylor expansion of x in y
4.262 * [backup-simplify]: Simplify x into x
4.262 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.262 * [taylor]: Taking taylor expansion of z in y
4.262 * [backup-simplify]: Simplify z into z
4.262 * [backup-simplify]: Simplify (+ 1 0) into 1
4.263 * [backup-simplify]: Simplify (* t 1) into t
4.263 * [backup-simplify]: Simplify (/ t z) into (/ t z)
4.263 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in y
4.263 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in y
4.263 * [taylor]: Taking taylor expansion of t in y
4.263 * [backup-simplify]: Simplify t into t
4.263 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
4.263 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.263 * [taylor]: Taking taylor expansion of y in y
4.263 * [backup-simplify]: Simplify 0 into 0
4.263 * [backup-simplify]: Simplify 1 into 1
4.263 * [backup-simplify]: Simplify (/ 1 1) into 1
4.263 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.263 * [taylor]: Taking taylor expansion of x in y
4.263 * [backup-simplify]: Simplify x into x
4.263 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.263 * [taylor]: Taking taylor expansion of z in y
4.263 * [backup-simplify]: Simplify z into z
4.263 * [backup-simplify]: Simplify (+ 1 0) into 1
4.264 * [backup-simplify]: Simplify (* t 1) into t
4.264 * [backup-simplify]: Simplify (/ t z) into (/ t z)
4.264 * [taylor]: Taking taylor expansion of (/ t z) in x
4.264 * [taylor]: Taking taylor expansion of t in x
4.264 * [backup-simplify]: Simplify t into t
4.264 * [taylor]: Taking taylor expansion of z in x
4.264 * [backup-simplify]: Simplify z into z
4.264 * [backup-simplify]: Simplify (/ t z) into (/ t z)
4.264 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.264 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
4.265 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x))
4.265 * [backup-simplify]: Simplify (+ (* t (- (/ 1 x))) (* 0 1)) into (- (/ t x))
4.265 * [backup-simplify]: Simplify (- (/ (- (/ t x)) z) (+ (* (/ t z) (/ 0 z)))) into (- (/ t (* x z)))
4.265 * [taylor]: Taking taylor expansion of (- (/ t (* x z))) in x
4.265 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x
4.265 * [taylor]: Taking taylor expansion of t in x
4.265 * [backup-simplify]: Simplify t into t
4.265 * [taylor]: Taking taylor expansion of (* x z) in x
4.265 * [taylor]: Taking taylor expansion of x in x
4.265 * [backup-simplify]: Simplify 0 into 0
4.265 * [backup-simplify]: Simplify 1 into 1
4.265 * [taylor]: Taking taylor expansion of z in x
4.265 * [backup-simplify]: Simplify z into z
4.265 * [backup-simplify]: Simplify (* 0 z) into 0
4.266 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
4.266 * [backup-simplify]: Simplify (/ t z) into (/ t z)
4.266 * [backup-simplify]: Simplify (- (/ t z)) into (- (/ t z))
4.266 * [taylor]: Taking taylor expansion of (- (/ t z)) in z
4.266 * [taylor]: Taking taylor expansion of (/ t z) in z
4.266 * [taylor]: Taking taylor expansion of t in z
4.266 * [backup-simplify]: Simplify t into t
4.266 * [taylor]: Taking taylor expansion of z in z
4.266 * [backup-simplify]: Simplify 0 into 0
4.266 * [backup-simplify]: Simplify 1 into 1
4.266 * [backup-simplify]: Simplify (/ t 1) into t
4.266 * [backup-simplify]: Simplify (- t) into (- t)
4.266 * [taylor]: Taking taylor expansion of (- t) in t
4.266 * [taylor]: Taking taylor expansion of t in t
4.266 * [backup-simplify]: Simplify 0 into 0
4.266 * [backup-simplify]: Simplify 1 into 1
4.266 * [backup-simplify]: Simplify (- 1) into -1
4.266 * [backup-simplify]: Simplify -1 into -1
4.266 * [taylor]: Taking taylor expansion of (/ t z) in z
4.266 * [taylor]: Taking taylor expansion of t in z
4.266 * [backup-simplify]: Simplify t into t
4.266 * [taylor]: Taking taylor expansion of z in z
4.266 * [backup-simplify]: Simplify 0 into 0
4.266 * [backup-simplify]: Simplify 1 into 1
4.266 * [backup-simplify]: Simplify (/ t 1) into t
4.266 * [taylor]: Taking taylor expansion of t in t
4.266 * [backup-simplify]: Simplify 0 into 0
4.266 * [backup-simplify]: Simplify 1 into 1
4.266 * [backup-simplify]: Simplify 1 into 1
4.267 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.267 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
4.267 * [backup-simplify]: Simplify (- 0) into 0
4.268 * [backup-simplify]: Simplify (+ 0 0) into 0
4.268 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 (- (/ 1 x))) (* 0 1))) into 0
4.268 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)) (* (- (/ t (* x z))) (/ 0 z)))) into 0
4.268 * [taylor]: Taking taylor expansion of 0 in x
4.268 * [backup-simplify]: Simplify 0 into 0
4.269 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0
4.269 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)))) into 0
4.269 * [backup-simplify]: Simplify (- 0) into 0
4.269 * [taylor]: Taking taylor expansion of 0 in z
4.269 * [backup-simplify]: Simplify 0 into 0
4.269 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)))) into 0
4.269 * [taylor]: Taking taylor expansion of 0 in z
4.269 * [backup-simplify]: Simplify 0 into 0
4.270 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
4.270 * [backup-simplify]: Simplify (- 0) into 0
4.270 * [taylor]: Taking taylor expansion of 0 in t
4.270 * [backup-simplify]: Simplify 0 into 0
4.270 * [backup-simplify]: Simplify 0 into 0
4.271 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
4.271 * [taylor]: Taking taylor expansion of 0 in t
4.271 * [backup-simplify]: Simplify 0 into 0
4.271 * [backup-simplify]: Simplify 0 into 0
4.271 * [backup-simplify]: Simplify (- 0) into 0
4.271 * [backup-simplify]: Simplify 0 into 0
4.271 * [backup-simplify]: Simplify 0 into 0
4.271 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.272 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.272 * [backup-simplify]: Simplify (- 0) into 0
4.272 * [backup-simplify]: Simplify (+ 0 0) into 0
4.273 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 (- (/ 1 x))) (* 0 1)))) into 0
4.273 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)) (* (- (/ t (* x z))) (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.273 * [taylor]: Taking taylor expansion of 0 in x
4.273 * [backup-simplify]: Simplify 0 into 0
4.273 * [taylor]: Taking taylor expansion of 0 in z
4.273 * [backup-simplify]: Simplify 0 into 0
4.274 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 z)))) into 0
4.274 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.274 * [backup-simplify]: Simplify (- 0) into 0
4.274 * [taylor]: Taking taylor expansion of 0 in z
4.274 * [backup-simplify]: Simplify 0 into 0
4.274 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.274 * [taylor]: Taking taylor expansion of 0 in z
4.274 * [backup-simplify]: Simplify 0 into 0
4.274 * [taylor]: Taking taylor expansion of 0 in t
4.274 * [backup-simplify]: Simplify 0 into 0
4.274 * [backup-simplify]: Simplify 0 into 0
4.274 * [taylor]: Taking taylor expansion of 0 in t
4.274 * [backup-simplify]: Simplify 0 into 0
4.274 * [backup-simplify]: Simplify 0 into 0
4.275 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 t) (* (/ 1 (/ 1 z)) (* 1 (/ 1 (/ 1 y)))))) (* -1 (* (/ 1 t) (* (/ 1 (/ 1 z)) (* (/ 1 (/ 1 x)) 1))))) into (- (/ (* z y) t) (/ (* x z) t))
4.275 * [backup-simplify]: Simplify (/ (* (- (/ 1 (- y)) (/ 1 (- x))) (/ 1 (- z))) (/ 1 (- t))) into (/ (* t (- (/ 1 x) (/ 1 y))) z)
4.275 * [approximate]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 y))) z) in (y x z t) around 0
4.275 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 y))) z) in t
4.275 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 y))) in t
4.275 * [taylor]: Taking taylor expansion of t in t
4.275 * [backup-simplify]: Simplify 0 into 0
4.275 * [backup-simplify]: Simplify 1 into 1
4.275 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in t
4.275 * [taylor]: Taking taylor expansion of (/ 1 x) in t
4.275 * [taylor]: Taking taylor expansion of x in t
4.275 * [backup-simplify]: Simplify x into x
4.275 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.275 * [taylor]: Taking taylor expansion of (/ 1 y) in t
4.275 * [taylor]: Taking taylor expansion of y in t
4.275 * [backup-simplify]: Simplify y into y
4.275 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.275 * [taylor]: Taking taylor expansion of z in t
4.275 * [backup-simplify]: Simplify z into z
4.275 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
4.275 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 y))) into (- (/ 1 x) (/ 1 y))
4.275 * [backup-simplify]: Simplify (* 0 (- (/ 1 x) (/ 1 y))) into 0
4.275 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
4.276 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.276 * [backup-simplify]: Simplify (- 0) into 0
4.276 * [backup-simplify]: Simplify (+ 0 0) into 0
4.276 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- (/ 1 x) (/ 1 y)))) into (- (/ 1 x) (/ 1 y))
4.276 * [backup-simplify]: Simplify (/ (- (/ 1 x) (/ 1 y)) z) into (/ (- (/ 1 x) (/ 1 y)) z)
4.276 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 y))) z) in z
4.276 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 y))) in z
4.277 * [taylor]: Taking taylor expansion of t in z
4.277 * [backup-simplify]: Simplify t into t
4.277 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z
4.277 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.277 * [taylor]: Taking taylor expansion of x in z
4.277 * [backup-simplify]: Simplify x into x
4.277 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.277 * [taylor]: Taking taylor expansion of (/ 1 y) in z
4.277 * [taylor]: Taking taylor expansion of y in z
4.277 * [backup-simplify]: Simplify y into y
4.277 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.277 * [taylor]: Taking taylor expansion of z in z
4.277 * [backup-simplify]: Simplify 0 into 0
4.277 * [backup-simplify]: Simplify 1 into 1
4.277 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
4.277 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 y))) into (- (/ 1 x) (/ 1 y))
4.277 * [backup-simplify]: Simplify (* t (- (/ 1 x) (/ 1 y))) into (* t (- (/ 1 x) (/ 1 y)))
4.277 * [backup-simplify]: Simplify (/ (* t (- (/ 1 x) (/ 1 y))) 1) into (* t (- (/ 1 x) (/ 1 y)))
4.277 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 y))) z) in x
4.277 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 y))) in x
4.277 * [taylor]: Taking taylor expansion of t in x
4.277 * [backup-simplify]: Simplify t into t
4.277 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
4.277 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.277 * [taylor]: Taking taylor expansion of x in x
4.277 * [backup-simplify]: Simplify 0 into 0
4.277 * [backup-simplify]: Simplify 1 into 1
4.277 * [backup-simplify]: Simplify (/ 1 1) into 1
4.277 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.277 * [taylor]: Taking taylor expansion of y in x
4.277 * [backup-simplify]: Simplify y into y
4.278 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.278 * [taylor]: Taking taylor expansion of z in x
4.278 * [backup-simplify]: Simplify z into z
4.278 * [backup-simplify]: Simplify (+ 1 0) into 1
4.278 * [backup-simplify]: Simplify (* t 1) into t
4.278 * [backup-simplify]: Simplify (/ t z) into (/ t z)
4.278 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 y))) z) in y
4.278 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 y))) in y
4.278 * [taylor]: Taking taylor expansion of t in y
4.278 * [backup-simplify]: Simplify t into t
4.278 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
4.278 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.278 * [taylor]: Taking taylor expansion of x in y
4.278 * [backup-simplify]: Simplify x into x
4.278 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.278 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.278 * [taylor]: Taking taylor expansion of y in y
4.278 * [backup-simplify]: Simplify 0 into 0
4.278 * [backup-simplify]: Simplify 1 into 1
4.278 * [backup-simplify]: Simplify (/ 1 1) into 1
4.278 * [taylor]: Taking taylor expansion of z in y
4.278 * [backup-simplify]: Simplify z into z
4.279 * [backup-simplify]: Simplify (- 1) into -1
4.279 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.279 * [backup-simplify]: Simplify (* t -1) into (* -1 t)
4.279 * [backup-simplify]: Simplify (/ (* -1 t) z) into (* -1 (/ t z))
4.279 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 y))) z) in y
4.279 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 y))) in y
4.279 * [taylor]: Taking taylor expansion of t in y
4.279 * [backup-simplify]: Simplify t into t
4.279 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
4.279 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.279 * [taylor]: Taking taylor expansion of x in y
4.279 * [backup-simplify]: Simplify x into x
4.279 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.279 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.279 * [taylor]: Taking taylor expansion of y in y
4.279 * [backup-simplify]: Simplify 0 into 0
4.279 * [backup-simplify]: Simplify 1 into 1
4.279 * [backup-simplify]: Simplify (/ 1 1) into 1
4.279 * [taylor]: Taking taylor expansion of z in y
4.279 * [backup-simplify]: Simplify z into z
4.280 * [backup-simplify]: Simplify (- 1) into -1
4.280 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.280 * [backup-simplify]: Simplify (* t -1) into (* -1 t)
4.280 * [backup-simplify]: Simplify (/ (* -1 t) z) into (* -1 (/ t z))
4.280 * [taylor]: Taking taylor expansion of (* -1 (/ t z)) in x
4.280 * [taylor]: Taking taylor expansion of -1 in x
4.280 * [backup-simplify]: Simplify -1 into -1
4.280 * [taylor]: Taking taylor expansion of (/ t z) in x
4.280 * [taylor]: Taking taylor expansion of t in x
4.280 * [backup-simplify]: Simplify t into t
4.280 * [taylor]: Taking taylor expansion of z in x
4.280 * [backup-simplify]: Simplify z into z
4.280 * [backup-simplify]: Simplify (/ t z) into (/ t z)
4.281 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.281 * [backup-simplify]: Simplify (- 0) into 0
4.281 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
4.281 * [backup-simplify]: Simplify (+ (* t (/ 1 x)) (* 0 -1)) into (/ t x)
4.282 * [backup-simplify]: Simplify (- (/ (/ t x) z) (+ (* (* -1 (/ t z)) (/ 0 z)))) into (/ t (* x z))
4.282 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x
4.282 * [taylor]: Taking taylor expansion of t in x
4.282 * [backup-simplify]: Simplify t into t
4.282 * [taylor]: Taking taylor expansion of (* x z) in x
4.282 * [taylor]: Taking taylor expansion of x in x
4.282 * [backup-simplify]: Simplify 0 into 0
4.282 * [backup-simplify]: Simplify 1 into 1
4.282 * [taylor]: Taking taylor expansion of z in x
4.282 * [backup-simplify]: Simplify z into z
4.282 * [backup-simplify]: Simplify (* 0 z) into 0
4.282 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
4.282 * [backup-simplify]: Simplify (/ t z) into (/ t z)
4.282 * [taylor]: Taking taylor expansion of (/ t z) in z
4.282 * [taylor]: Taking taylor expansion of t in z
4.282 * [backup-simplify]: Simplify t into t
4.282 * [taylor]: Taking taylor expansion of z in z
4.282 * [backup-simplify]: Simplify 0 into 0
4.282 * [backup-simplify]: Simplify 1 into 1
4.282 * [backup-simplify]: Simplify (/ t 1) into t
4.282 * [taylor]: Taking taylor expansion of t in t
4.282 * [backup-simplify]: Simplify 0 into 0
4.282 * [backup-simplify]: Simplify 1 into 1
4.282 * [backup-simplify]: Simplify 1 into 1
4.282 * [backup-simplify]: Simplify (* -1 (/ t z)) into (* -1 (/ t z))
4.282 * [taylor]: Taking taylor expansion of (* -1 (/ t z)) in z
4.282 * [taylor]: Taking taylor expansion of -1 in z
4.282 * [backup-simplify]: Simplify -1 into -1
4.282 * [taylor]: Taking taylor expansion of (/ t z) in z
4.282 * [taylor]: Taking taylor expansion of t in z
4.282 * [backup-simplify]: Simplify t into t
4.282 * [taylor]: Taking taylor expansion of z in z
4.282 * [backup-simplify]: Simplify 0 into 0
4.282 * [backup-simplify]: Simplify 1 into 1
4.282 * [backup-simplify]: Simplify (/ t 1) into t
4.283 * [backup-simplify]: Simplify (* -1 t) into (* -1 t)
4.283 * [taylor]: Taking taylor expansion of (* -1 t) in t
4.283 * [taylor]: Taking taylor expansion of -1 in t
4.283 * [backup-simplify]: Simplify -1 into -1
4.283 * [taylor]: Taking taylor expansion of t in t
4.283 * [backup-simplify]: Simplify 0 into 0
4.283 * [backup-simplify]: Simplify 1 into 1
4.283 * [backup-simplify]: Simplify (+ (* -1 1) (* 0 0)) into -1
4.283 * [backup-simplify]: Simplify -1 into -1
4.283 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
4.284 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.284 * [backup-simplify]: Simplify (- 0) into 0
4.284 * [backup-simplify]: Simplify (+ 0 0) into 0
4.285 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 (/ 1 x)) (* 0 -1))) into 0
4.285 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (* -1 (/ t z)) (/ 0 z)) (* (/ t (* x z)) (/ 0 z)))) into 0
4.285 * [taylor]: Taking taylor expansion of 0 in x
4.285 * [backup-simplify]: Simplify 0 into 0
4.285 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0
4.285 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)))) into 0
4.286 * [taylor]: Taking taylor expansion of 0 in z
4.286 * [backup-simplify]: Simplify 0 into 0
4.286 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)))) into 0
4.286 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ t z))) into 0
4.286 * [taylor]: Taking taylor expansion of 0 in z
4.286 * [backup-simplify]: Simplify 0 into 0
4.287 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
4.287 * [taylor]: Taking taylor expansion of 0 in t
4.287 * [backup-simplify]: Simplify 0 into 0
4.287 * [backup-simplify]: Simplify 0 into 0
4.287 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
4.287 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 t)) into 0
4.287 * [taylor]: Taking taylor expansion of 0 in t
4.287 * [backup-simplify]: Simplify 0 into 0
4.287 * [backup-simplify]: Simplify 0 into 0
4.288 * [backup-simplify]: Simplify 0 into 0
4.288 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0
4.288 * [backup-simplify]: Simplify 0 into 0
4.288 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.289 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.289 * [backup-simplify]: Simplify (- 0) into 0
4.289 * [backup-simplify]: Simplify (+ 0 0) into 0
4.290 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 (/ 1 x)) (* 0 -1)))) into 0
4.290 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (* -1 (/ t z)) (/ 0 z)) (* (/ t (* x z)) (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.290 * [taylor]: Taking taylor expansion of 0 in x
4.290 * [backup-simplify]: Simplify 0 into 0
4.290 * [taylor]: Taking taylor expansion of 0 in z
4.290 * [backup-simplify]: Simplify 0 into 0
4.291 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 z)))) into 0
4.291 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.291 * [taylor]: Taking taylor expansion of 0 in z
4.291 * [backup-simplify]: Simplify 0 into 0
4.292 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.292 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ t z)))) into 0
4.292 * [taylor]: Taking taylor expansion of 0 in z
4.292 * [backup-simplify]: Simplify 0 into 0
4.292 * [taylor]: Taking taylor expansion of 0 in t
4.293 * [backup-simplify]: Simplify 0 into 0
4.293 * [backup-simplify]: Simplify 0 into 0
4.293 * [taylor]: Taking taylor expansion of 0 in t
4.293 * [backup-simplify]: Simplify 0 into 0
4.293 * [backup-simplify]: Simplify 0 into 0
4.293 * [backup-simplify]: Simplify (+ (* -1 (* (/ 1 (- t)) (* (/ 1 (/ 1 (- z))) (* 1 (/ 1 (/ 1 (- y))))))) (* 1 (* (/ 1 (- t)) (* (/ 1 (/ 1 (- z))) (* (/ 1 (/ 1 (- x))) 1))))) into (- (/ (* z y) t) (/ (* x z) t))
4.293 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 1)
4.293 * [backup-simplify]: Simplify (* (- y x) z) into (* z (- y x))
4.294 * [approximate]: Taking taylor expansion of (* z (- y x)) in (y x z) around 0
4.294 * [taylor]: Taking taylor expansion of (* z (- y x)) in z
4.294 * [taylor]: Taking taylor expansion of z in z
4.294 * [backup-simplify]: Simplify 0 into 0
4.294 * [backup-simplify]: Simplify 1 into 1
4.294 * [taylor]: Taking taylor expansion of (- y x) in z
4.294 * [taylor]: Taking taylor expansion of y in z
4.294 * [backup-simplify]: Simplify y into y
4.294 * [taylor]: Taking taylor expansion of x in z
4.294 * [backup-simplify]: Simplify x into x
4.294 * [taylor]: Taking taylor expansion of (* z (- y x)) in x
4.294 * [taylor]: Taking taylor expansion of z in x
4.294 * [backup-simplify]: Simplify z into z
4.294 * [taylor]: Taking taylor expansion of (- y x) in x
4.294 * [taylor]: Taking taylor expansion of y in x
4.294 * [backup-simplify]: Simplify y into y
4.294 * [taylor]: Taking taylor expansion of x in x
4.294 * [backup-simplify]: Simplify 0 into 0
4.294 * [backup-simplify]: Simplify 1 into 1
4.294 * [taylor]: Taking taylor expansion of (* z (- y x)) in y
4.294 * [taylor]: Taking taylor expansion of z in y
4.294 * [backup-simplify]: Simplify z into z
4.294 * [taylor]: Taking taylor expansion of (- y x) in y
4.294 * [taylor]: Taking taylor expansion of y in y
4.294 * [backup-simplify]: Simplify 0 into 0
4.294 * [backup-simplify]: Simplify 1 into 1
4.294 * [taylor]: Taking taylor expansion of x in y
4.294 * [backup-simplify]: Simplify x into x
4.294 * [taylor]: Taking taylor expansion of (* z (- y x)) in y
4.294 * [taylor]: Taking taylor expansion of z in y
4.294 * [backup-simplify]: Simplify z into z
4.294 * [taylor]: Taking taylor expansion of (- y x) in y
4.294 * [taylor]: Taking taylor expansion of y in y
4.294 * [backup-simplify]: Simplify 0 into 0
4.294 * [backup-simplify]: Simplify 1 into 1
4.294 * [taylor]: Taking taylor expansion of x in y
4.294 * [backup-simplify]: Simplify x into x
4.294 * [backup-simplify]: Simplify (- x) into (- x)
4.294 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x)
4.295 * [backup-simplify]: Simplify (* z (- x)) into (* -1 (* x z))
4.295 * [taylor]: Taking taylor expansion of (* -1 (* x z)) in x
4.295 * [taylor]: Taking taylor expansion of -1 in x
4.295 * [backup-simplify]: Simplify -1 into -1
4.295 * [taylor]: Taking taylor expansion of (* x z) in x
4.295 * [taylor]: Taking taylor expansion of x in x
4.295 * [backup-simplify]: Simplify 0 into 0
4.295 * [backup-simplify]: Simplify 1 into 1
4.295 * [taylor]: Taking taylor expansion of z in x
4.295 * [backup-simplify]: Simplify z into z
4.295 * [backup-simplify]: Simplify (* 0 z) into 0
4.295 * [backup-simplify]: Simplify (* -1 0) into 0
4.295 * [taylor]: Taking taylor expansion of 0 in z
4.295 * [backup-simplify]: Simplify 0 into 0
4.295 * [backup-simplify]: Simplify 0 into 0
4.295 * [backup-simplify]: Simplify (- 0) into 0
4.296 * [backup-simplify]: Simplify (+ 1 0) into 1
4.296 * [backup-simplify]: Simplify (+ (* z 1) (* 0 (- x))) into z
4.296 * [taylor]: Taking taylor expansion of z in x
4.296 * [backup-simplify]: Simplify z into z
4.296 * [taylor]: Taking taylor expansion of z in z
4.296 * [backup-simplify]: Simplify 0 into 0
4.296 * [backup-simplify]: Simplify 1 into 1
4.296 * [backup-simplify]: Simplify 0 into 0
4.296 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
4.296 * [backup-simplify]: Simplify (+ (* -1 z) (* 0 0)) into (- z)
4.296 * [taylor]: Taking taylor expansion of (- z) in z
4.296 * [taylor]: Taking taylor expansion of z in z
4.296 * [backup-simplify]: Simplify 0 into 0
4.296 * [backup-simplify]: Simplify 1 into 1
4.297 * [backup-simplify]: Simplify (- 0) into 0
4.297 * [backup-simplify]: Simplify 0 into 0
4.297 * [backup-simplify]: Simplify 0 into 0
4.297 * [backup-simplify]: Simplify (- 0) into 0
4.297 * [backup-simplify]: Simplify (+ 0 0) into 0
4.298 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 (- x)))) into 0
4.298 * [taylor]: Taking taylor expansion of 0 in x
4.298 * [backup-simplify]: Simplify 0 into 0
4.298 * [taylor]: Taking taylor expansion of 0 in z
4.298 * [backup-simplify]: Simplify 0 into 0
4.298 * [backup-simplify]: Simplify 0 into 0
4.298 * [taylor]: Taking taylor expansion of 0 in z
4.298 * [backup-simplify]: Simplify 0 into 0
4.298 * [backup-simplify]: Simplify 0 into 0
4.298 * [backup-simplify]: Simplify 0 into 0
4.298 * [backup-simplify]: Simplify (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) into (/ (- (/ 1 y) (/ 1 x)) z)
4.298 * [approximate]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in (y x z) around 0
4.298 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in z
4.298 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z
4.298 * [taylor]: Taking taylor expansion of (/ 1 y) in z
4.298 * [taylor]: Taking taylor expansion of y in z
4.298 * [backup-simplify]: Simplify y into y
4.298 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.298 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.298 * [taylor]: Taking taylor expansion of x in z
4.298 * [backup-simplify]: Simplify x into x
4.298 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.298 * [taylor]: Taking taylor expansion of z in z
4.298 * [backup-simplify]: Simplify 0 into 0
4.298 * [backup-simplify]: Simplify 1 into 1
4.298 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
4.298 * [backup-simplify]: Simplify (+ (/ 1 y) (- (/ 1 x))) into (- (/ 1 y) (/ 1 x))
4.298 * [backup-simplify]: Simplify (/ (- (/ 1 y) (/ 1 x)) 1) into (- (/ 1 y) (/ 1 x))
4.298 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in x
4.298 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
4.298 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.298 * [taylor]: Taking taylor expansion of y in x
4.298 * [backup-simplify]: Simplify y into y
4.299 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.299 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.299 * [taylor]: Taking taylor expansion of x in x
4.299 * [backup-simplify]: Simplify 0 into 0
4.299 * [backup-simplify]: Simplify 1 into 1
4.302 * [backup-simplify]: Simplify (/ 1 1) into 1
4.302 * [taylor]: Taking taylor expansion of z in x
4.302 * [backup-simplify]: Simplify z into z
4.302 * [backup-simplify]: Simplify (- 1) into -1
4.302 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.302 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
4.303 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y
4.303 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
4.303 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.303 * [taylor]: Taking taylor expansion of y in y
4.303 * [backup-simplify]: Simplify 0 into 0
4.303 * [backup-simplify]: Simplify 1 into 1
4.303 * [backup-simplify]: Simplify (/ 1 1) into 1
4.303 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.303 * [taylor]: Taking taylor expansion of x in y
4.303 * [backup-simplify]: Simplify x into x
4.303 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.303 * [taylor]: Taking taylor expansion of z in y
4.303 * [backup-simplify]: Simplify z into z
4.303 * [backup-simplify]: Simplify (+ 1 0) into 1
4.303 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.303 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y
4.303 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
4.303 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.303 * [taylor]: Taking taylor expansion of y in y
4.303 * [backup-simplify]: Simplify 0 into 0
4.303 * [backup-simplify]: Simplify 1 into 1
4.304 * [backup-simplify]: Simplify (/ 1 1) into 1
4.304 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.304 * [taylor]: Taking taylor expansion of x in y
4.304 * [backup-simplify]: Simplify x into x
4.304 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.304 * [taylor]: Taking taylor expansion of z in y
4.304 * [backup-simplify]: Simplify z into z
4.304 * [backup-simplify]: Simplify (+ 1 0) into 1
4.304 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.304 * [taylor]: Taking taylor expansion of (/ 1 z) in x
4.304 * [taylor]: Taking taylor expansion of z in x
4.304 * [backup-simplify]: Simplify z into z
4.304 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.305 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.305 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
4.305 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x))
4.305 * [backup-simplify]: Simplify (- (/ (- (/ 1 x)) z) (+ (* (/ 1 z) (/ 0 z)))) into (- (/ 1 (* x z)))
4.305 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z))) in x
4.305 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
4.305 * [taylor]: Taking taylor expansion of (* x z) in x
4.305 * [taylor]: Taking taylor expansion of x in x
4.305 * [backup-simplify]: Simplify 0 into 0
4.305 * [backup-simplify]: Simplify 1 into 1
4.305 * [taylor]: Taking taylor expansion of z in x
4.305 * [backup-simplify]: Simplify z into z
4.305 * [backup-simplify]: Simplify (* 0 z) into 0
4.305 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
4.305 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.305 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
4.305 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
4.305 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.305 * [taylor]: Taking taylor expansion of z in z
4.305 * [backup-simplify]: Simplify 0 into 0
4.305 * [backup-simplify]: Simplify 1 into 1
4.306 * [backup-simplify]: Simplify (/ 1 1) into 1
4.306 * [backup-simplify]: Simplify (- 1) into -1
4.306 * [backup-simplify]: Simplify -1 into -1
4.306 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.306 * [taylor]: Taking taylor expansion of z in z
4.306 * [backup-simplify]: Simplify 0 into 0
4.306 * [backup-simplify]: Simplify 1 into 1
4.306 * [backup-simplify]: Simplify (/ 1 1) into 1
4.306 * [backup-simplify]: Simplify 1 into 1
4.307 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.307 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
4.307 * [backup-simplify]: Simplify (- 0) into 0
4.307 * [backup-simplify]: Simplify (+ 0 0) into 0
4.308 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* (- (/ 1 (* x z))) (/ 0 z)))) into 0
4.308 * [taylor]: Taking taylor expansion of 0 in x
4.308 * [backup-simplify]: Simplify 0 into 0
4.308 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0
4.308 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
4.308 * [backup-simplify]: Simplify (- 0) into 0
4.308 * [taylor]: Taking taylor expansion of 0 in z
4.309 * [backup-simplify]: Simplify 0 into 0
4.309 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
4.309 * [taylor]: Taking taylor expansion of 0 in z
4.309 * [backup-simplify]: Simplify 0 into 0
4.309 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.309 * [backup-simplify]: Simplify (- 0) into 0
4.309 * [backup-simplify]: Simplify 0 into 0
4.310 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.310 * [backup-simplify]: Simplify 0 into 0
4.310 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.310 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.311 * [backup-simplify]: Simplify (- 0) into 0
4.311 * [backup-simplify]: Simplify (+ 0 0) into 0
4.311 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* (- (/ 1 (* x z))) (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.311 * [taylor]: Taking taylor expansion of 0 in x
4.311 * [backup-simplify]: Simplify 0 into 0
4.311 * [taylor]: Taking taylor expansion of 0 in z
4.311 * [backup-simplify]: Simplify 0 into 0
4.312 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 z)))) into 0
4.312 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.312 * [backup-simplify]: Simplify (- 0) into 0
4.312 * [taylor]: Taking taylor expansion of 0 in z
4.312 * [backup-simplify]: Simplify 0 into 0
4.312 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.312 * [taylor]: Taking taylor expansion of 0 in z
4.313 * [backup-simplify]: Simplify 0 into 0
4.313 * [backup-simplify]: Simplify 0 into 0
4.313 * [backup-simplify]: Simplify 0 into 0
4.313 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.313 * [backup-simplify]: Simplify (- 0) into 0
4.313 * [backup-simplify]: Simplify 0 into 0
4.314 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.314 * [backup-simplify]: Simplify 0 into 0
4.314 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 z)) (* 1 (/ 1 (/ 1 y))))) (* -1 (* (/ 1 (/ 1 z)) (* (/ 1 (/ 1 x)) 1)))) into (- (* z y) (* x z))
4.314 * [backup-simplify]: Simplify (* (- (/ 1 (- y)) (/ 1 (- x))) (/ 1 (- z))) into (* -1 (/ (- (/ 1 x) (/ 1 y)) z))
4.314 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in (y x z) around 0
4.314 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in z
4.314 * [taylor]: Taking taylor expansion of -1 in z
4.314 * [backup-simplify]: Simplify -1 into -1
4.314 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in z
4.314 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z
4.314 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.314 * [taylor]: Taking taylor expansion of x in z
4.314 * [backup-simplify]: Simplify x into x
4.314 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.314 * [taylor]: Taking taylor expansion of (/ 1 y) in z
4.314 * [taylor]: Taking taylor expansion of y in z
4.315 * [backup-simplify]: Simplify y into y
4.315 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.315 * [taylor]: Taking taylor expansion of z in z
4.315 * [backup-simplify]: Simplify 0 into 0
4.315 * [backup-simplify]: Simplify 1 into 1
4.315 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
4.315 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 y))) into (- (/ 1 x) (/ 1 y))
4.315 * [backup-simplify]: Simplify (/ (- (/ 1 x) (/ 1 y)) 1) into (- (/ 1 x) (/ 1 y))
4.315 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in x
4.315 * [taylor]: Taking taylor expansion of -1 in x
4.315 * [backup-simplify]: Simplify -1 into -1
4.315 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in x
4.315 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
4.315 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.315 * [taylor]: Taking taylor expansion of x in x
4.315 * [backup-simplify]: Simplify 0 into 0
4.315 * [backup-simplify]: Simplify 1 into 1
4.315 * [backup-simplify]: Simplify (/ 1 1) into 1
4.315 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.315 * [taylor]: Taking taylor expansion of y in x
4.315 * [backup-simplify]: Simplify y into y
4.315 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.315 * [taylor]: Taking taylor expansion of z in x
4.315 * [backup-simplify]: Simplify z into z
4.316 * [backup-simplify]: Simplify (+ 1 0) into 1
4.316 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.316 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in y
4.316 * [taylor]: Taking taylor expansion of -1 in y
4.316 * [backup-simplify]: Simplify -1 into -1
4.316 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y
4.316 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
4.316 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.316 * [taylor]: Taking taylor expansion of x in y
4.316 * [backup-simplify]: Simplify x into x
4.316 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.316 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.316 * [taylor]: Taking taylor expansion of y in y
4.316 * [backup-simplify]: Simplify 0 into 0
4.316 * [backup-simplify]: Simplify 1 into 1
4.316 * [backup-simplify]: Simplify (/ 1 1) into 1
4.316 * [taylor]: Taking taylor expansion of z in y
4.316 * [backup-simplify]: Simplify z into z
4.316 * [backup-simplify]: Simplify (- 1) into -1
4.317 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.317 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
4.317 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in y
4.317 * [taylor]: Taking taylor expansion of -1 in y
4.317 * [backup-simplify]: Simplify -1 into -1
4.317 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y
4.317 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
4.317 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.317 * [taylor]: Taking taylor expansion of x in y
4.317 * [backup-simplify]: Simplify x into x
4.317 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.317 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.317 * [taylor]: Taking taylor expansion of y in y
4.317 * [backup-simplify]: Simplify 0 into 0
4.317 * [backup-simplify]: Simplify 1 into 1
4.317 * [backup-simplify]: Simplify (/ 1 1) into 1
4.317 * [taylor]: Taking taylor expansion of z in y
4.317 * [backup-simplify]: Simplify z into z
4.317 * [backup-simplify]: Simplify (- 1) into -1
4.318 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.318 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
4.318 * [backup-simplify]: Simplify (* -1 (/ -1 z)) into (/ 1 z)
4.318 * [taylor]: Taking taylor expansion of (/ 1 z) in x
4.318 * [taylor]: Taking taylor expansion of z in x
4.318 * [backup-simplify]: Simplify z into z
4.318 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.318 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.319 * [backup-simplify]: Simplify (- 0) into 0
4.319 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
4.319 * [backup-simplify]: Simplify (- (/ (/ 1 x) z) (+ (* (/ -1 z) (/ 0 z)))) into (/ 1 (* x z))
4.319 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (* x z))) (* 0 (/ -1 z))) into (- (/ 1 (* x z)))
4.319 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z))) in x
4.319 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
4.319 * [taylor]: Taking taylor expansion of (* x z) in x
4.319 * [taylor]: Taking taylor expansion of x in x
4.319 * [backup-simplify]: Simplify 0 into 0
4.319 * [backup-simplify]: Simplify 1 into 1
4.319 * [taylor]: Taking taylor expansion of z in x
4.319 * [backup-simplify]: Simplify z into z
4.319 * [backup-simplify]: Simplify (* 0 z) into 0
4.319 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
4.319 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.319 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
4.319 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
4.319 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.319 * [taylor]: Taking taylor expansion of z in z
4.319 * [backup-simplify]: Simplify 0 into 0
4.319 * [backup-simplify]: Simplify 1 into 1
4.320 * [backup-simplify]: Simplify (/ 1 1) into 1
4.320 * [backup-simplify]: Simplify (- 1) into -1
4.320 * [backup-simplify]: Simplify -1 into -1
4.320 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.320 * [taylor]: Taking taylor expansion of z in z
4.320 * [backup-simplify]: Simplify 0 into 0
4.320 * [backup-simplify]: Simplify 1 into 1
4.320 * [backup-simplify]: Simplify (/ 1 1) into 1
4.320 * [backup-simplify]: Simplify 1 into 1
4.320 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
4.321 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.321 * [backup-simplify]: Simplify (- 0) into 0
4.322 * [backup-simplify]: Simplify (+ 0 0) into 0
4.322 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* (/ 1 (* x z)) (/ 0 z)))) into 0
4.322 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ 1 (* x z))) (* 0 (/ -1 z)))) into 0
4.322 * [taylor]: Taking taylor expansion of 0 in x
4.322 * [backup-simplify]: Simplify 0 into 0
4.323 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0
4.323 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
4.323 * [backup-simplify]: Simplify (- 0) into 0
4.323 * [taylor]: Taking taylor expansion of 0 in z
4.323 * [backup-simplify]: Simplify 0 into 0
4.323 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
4.323 * [taylor]: Taking taylor expansion of 0 in z
4.323 * [backup-simplify]: Simplify 0 into 0
4.324 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.324 * [backup-simplify]: Simplify (- 0) into 0
4.324 * [backup-simplify]: Simplify 0 into 0
4.324 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.324 * [backup-simplify]: Simplify 0 into 0
4.325 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.325 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.325 * [backup-simplify]: Simplify (- 0) into 0
4.326 * [backup-simplify]: Simplify (+ 0 0) into 0
4.326 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* (/ 1 (* x z)) (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.326 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (/ 1 (* x z))) (* 0 (/ -1 z))))) into 0
4.326 * [taylor]: Taking taylor expansion of 0 in x
4.326 * [backup-simplify]: Simplify 0 into 0
4.326 * [taylor]: Taking taylor expansion of 0 in z
4.326 * [backup-simplify]: Simplify 0 into 0
4.328 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 z)))) into 0
4.328 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.328 * [backup-simplify]: Simplify (- 0) into 0
4.328 * [taylor]: Taking taylor expansion of 0 in z
4.328 * [backup-simplify]: Simplify 0 into 0
4.328 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.328 * [taylor]: Taking taylor expansion of 0 in z
4.328 * [backup-simplify]: Simplify 0 into 0
4.328 * [backup-simplify]: Simplify 0 into 0
4.329 * [backup-simplify]: Simplify 0 into 0
4.329 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.330 * [backup-simplify]: Simplify (- 0) into 0
4.330 * [backup-simplify]: Simplify 0 into 0
4.331 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.331 * [backup-simplify]: Simplify 0 into 0
4.331 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 (- z))) (* 1 (/ 1 (/ 1 (- y)))))) (* -1 (* (/ 1 (/ 1 (- z))) (* (/ 1 (/ 1 (- x))) 1)))) into (- (* z y) (* x z))
4.331 * * * [progress]: simplifying candidates
4.333 * [simplify]: Simplifying:
  (expm1 (/ (* (- y x) z) t))
  (log1p (/ (* (- y x) z) t))
  (- (+ (log (- y x)) (log z)) (log t))
  (- (log (* (- y x) z)) (log t))
  (log (/ (* (- y x) z) t))
  (exp (/ (* (- y x) z) t))
  (/ (* (* (* (- y x) (- y x)) (- y x)) (* (* z z) z)) (* (* t t) t))
  (/ (* (* (* (- y x) z) (* (- y x) z)) (* (- y x) z)) (* (* t t) t))
  (* (cbrt (/ (* (- y x) z) t)) (cbrt (/ (* (- y x) z) t)))
  (cbrt (/ (* (- y x) z) t))
  (* (* (/ (* (- y x) z) t) (/ (* (- y x) z) t)) (/ (* (- y x) z) t))
  (sqrt (/ (* (- y x) z) t))
  (sqrt (/ (* (- y x) z) t))
  (- (* (- y x) z))
  (- t)
  (/ (- y x) (* (cbrt t) (cbrt t)))
  (/ z (cbrt t))
  (/ (- y x) (sqrt t))
  (/ z (sqrt t))
  (/ (- y x) 1)
  (/ z t)
  (/ 1 t)
  (/ t (* (- y x) z))
  (/ (* (- y x) z) (* (cbrt t) (cbrt t)))
  (/ (* (- y x) z) (sqrt t))
  (/ (* (- y x) z) 1)
  (/ t z)
  (* t (+ (* y y) (+ (* x x) (* y x))))
  (* t (+ y x))
  (expm1 (* (- y x) z))
  (log1p (* (- y x) z))
  (* (- y x) z)
  (+ (log (- y x)) (log z))
  (log (* (- y x) z))
  (exp (* (- y x) z))
  (* (* (* (- y x) (- y x)) (- y x)) (* (* z z) z))
  (* (cbrt (* (- y x) z)) (cbrt (* (- y x) z)))
  (cbrt (* (- y x) z))
  (* (* (* (- y x) z) (* (- y x) z)) (* (- y x) z))
  (sqrt (* (- y x) z))
  (sqrt (* (- y x) z))
  (* (sqrt (- y x)) (sqrt z))
  (* (sqrt (- y x)) (sqrt z))
  (* (- y x) (* (cbrt z) (cbrt z)))
  (* (- y x) (sqrt z))
  (* (- y x) 1)
  (* (cbrt (- y x)) z)
  (* (sqrt (- y x)) z)
  (* (- y x) z)
  (* (- (sqrt y) (sqrt x)) z)
  (* (- y x) z)
  (* (- (pow y 3) (pow x 3)) z)
  (* (- (* y y) (* x x)) z)
  (- (/ (* z y) t) (/ (* x z) t))
  (- (/ (* z y) t) (/ (* x z) t))
  (- (/ (* z y) t) (/ (* x z) t))
  0
  (- (* z y) (* x z))
  (- (* z y) (* x z))
4.335 * * [simplify]: iteration 0: 95 enodes
4.367 * * [simplify]: iteration 1: 240 enodes
4.484 * * [simplify]: iteration 2: 1259 enodes
5.376 * * [simplify]: iteration complete: 5001 enodes
5.376 * * [simplify]: Extracting #0: cost 43 inf + 0
5.378 * * [simplify]: Extracting #1: cost 772 inf + 1
5.382 * * [simplify]: Extracting #2: cost 1645 inf + 240
5.389 * * [simplify]: Extracting #3: cost 1049 inf + 5012
5.395 * * [simplify]: Extracting #4: cost 118 inf + 13487
5.404 * * [simplify]: Extracting #5: cost 27 inf + 14434
5.417 * * [simplify]: Extracting #6: cost 6 inf + 14516
5.426 * * [simplify]: Extracting #7: cost 0 inf + 14547
5.436 * [simplify]: Simplified to:
  (expm1 (* (/ z t) (- y x)))
  (log1p (* (/ z t) (- y x)))
  (log (* (/ z t) (- y x)))
  (log (* (/ z t) (- y x)))
  (log (* (/ z t) (- y x)))
  (pow (exp (/ (- y x) t)) z)
  (pow (* (/ z t) (- y x)) 3)
  (pow (* (/ z t) (- y x)) 3)
  (* (cbrt (* (/ z t) (- y x))) (cbrt (* (/ z t) (- y x))))
  (cbrt (* (/ z t) (- y x)))
  (pow (* (/ z t) (- y x)) 3)
  (sqrt (* (/ z t) (- y x)))
  (sqrt (* (/ z t) (- y x)))
  (* (- z) (- y x))
  (- t)
  (/ (- y x) (* (cbrt t) (cbrt t)))
  (/ z (cbrt t))
  (/ (- y x) (sqrt t))
  (/ z (sqrt t))
  (- y x)
  (/ z t)
  (/ 1 t)
  (/ t (* (- y x) z))
  (/ (/ (* (- y x) z) (cbrt t)) (cbrt t))
  (/ z (/ (sqrt t) (- y x)))
  (* (- y x) z)
  (/ t z)
  (* t (fma y y (* x (+ x y))))
  (* (+ x y) t)
  (expm1 (* (- y x) z))
  (log1p (* (- y x) z))
  (* (- y x) z)
  (log (* (- y x) z))
  (log (* (- y x) z))
  (exp (* (- y x) z))
  (pow (* (- y x) z) 3)
  (* (cbrt (* (- y x) z)) (cbrt (* (- y x) z)))
  (cbrt (* (- y x) z))
  (pow (* (- y x) z) 3)
  (sqrt (* (- y x) z))
  (sqrt (* (- y x) z))
  (* (sqrt z) (sqrt (- y x)))
  (* (sqrt z) (sqrt (- y x)))
  (* (* (- y x) (cbrt z)) (cbrt z))
  (* (sqrt z) (- y x))
  (- y x)
  (* z (cbrt (- y x)))
  (* (sqrt (- y x)) z)
  (* (- y x) z)
  (* z (- (sqrt y) (sqrt x)))
  (* (- y x) z)
  (* (- (pow y 3) (pow x 3)) z)
  (* (+ x y) (* (- y x) z))
  (fma (/ z t) y (* (/ x t) (- z)))
  (fma (/ z t) y (* (/ x t) (- z)))
  (fma (/ z t) y (* (/ x t) (- z)))
  0
  (* z (- y x))
  (* z (- y x))
5.436 * * * [progress]: adding candidates to table
5.706 * * [progress]: iteration 3 / 4
5.706 * * * [progress]: picking best candidate
5.718 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ x (* (- y x) (/ z t))))>
5.718 * * * [progress]: localizing error
5.730 * * * [progress]: generating rewritten candidates
5.730 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2)
5.765 * * * [progress]: generating series expansions
5.765 * * * * [progress]: [ 1 / 1 ] generating series at (2 2)
5.766 * [backup-simplify]: Simplify (* (- y x) (/ z t)) into (/ (* z (- y x)) t)
5.766 * [approximate]: Taking taylor expansion of (/ (* z (- y x)) t) in (y x z t) around 0
5.766 * [taylor]: Taking taylor expansion of (/ (* z (- y x)) t) in t
5.766 * [taylor]: Taking taylor expansion of (* z (- y x)) in t
5.766 * [taylor]: Taking taylor expansion of z in t
5.766 * [backup-simplify]: Simplify z into z
5.766 * [taylor]: Taking taylor expansion of (- y x) in t
5.766 * [taylor]: Taking taylor expansion of y in t
5.766 * [backup-simplify]: Simplify y into y
5.766 * [taylor]: Taking taylor expansion of x in t
5.766 * [backup-simplify]: Simplify x into x
5.766 * [taylor]: Taking taylor expansion of t in t
5.766 * [backup-simplify]: Simplify 0 into 0
5.766 * [backup-simplify]: Simplify 1 into 1
5.766 * [backup-simplify]: Simplify (- x) into (- x)
5.766 * [backup-simplify]: Simplify (+ y (- x)) into (- y x)
5.766 * [backup-simplify]: Simplify (* z (- y x)) into (* z (- y x))
5.766 * [backup-simplify]: Simplify (/ (* z (- y x)) 1) into (* z (- y x))
5.766 * [taylor]: Taking taylor expansion of (/ (* z (- y x)) t) in z
5.766 * [taylor]: Taking taylor expansion of (* z (- y x)) in z
5.766 * [taylor]: Taking taylor expansion of z in z
5.766 * [backup-simplify]: Simplify 0 into 0
5.766 * [backup-simplify]: Simplify 1 into 1
5.766 * [taylor]: Taking taylor expansion of (- y x) in z
5.766 * [taylor]: Taking taylor expansion of y in z
5.767 * [backup-simplify]: Simplify y into y
5.767 * [taylor]: Taking taylor expansion of x in z
5.767 * [backup-simplify]: Simplify x into x
5.767 * [taylor]: Taking taylor expansion of t in z
5.767 * [backup-simplify]: Simplify t into t
5.767 * [backup-simplify]: Simplify (- x) into (- x)
5.767 * [backup-simplify]: Simplify (+ y (- x)) into (- y x)
5.767 * [backup-simplify]: Simplify (* 0 (- y x)) into 0
5.768 * [backup-simplify]: Simplify (- 0) into 0
5.768 * [backup-simplify]: Simplify (+ 0 0) into 0
5.769 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- y x))) into (- y x)
5.769 * [backup-simplify]: Simplify (/ (- y x) t) into (/ (- y x) t)
5.769 * [taylor]: Taking taylor expansion of (/ (* z (- y x)) t) in x
5.769 * [taylor]: Taking taylor expansion of (* z (- y x)) in x
5.769 * [taylor]: Taking taylor expansion of z in x
5.769 * [backup-simplify]: Simplify z into z
5.769 * [taylor]: Taking taylor expansion of (- y x) in x
5.769 * [taylor]: Taking taylor expansion of y in x
5.769 * [backup-simplify]: Simplify y into y
5.769 * [taylor]: Taking taylor expansion of x in x
5.769 * [backup-simplify]: Simplify 0 into 0
5.769 * [backup-simplify]: Simplify 1 into 1
5.769 * [taylor]: Taking taylor expansion of t in x
5.769 * [backup-simplify]: Simplify t into t
5.769 * [backup-simplify]: Simplify (- 0) into 0
5.769 * [backup-simplify]: Simplify (+ y 0) into y
5.770 * [backup-simplify]: Simplify (* z y) into (* z y)
5.770 * [backup-simplify]: Simplify (/ (* z y) t) into (/ (* z y) t)
5.770 * [taylor]: Taking taylor expansion of (/ (* z (- y x)) t) in y
5.770 * [taylor]: Taking taylor expansion of (* z (- y x)) in y
5.770 * [taylor]: Taking taylor expansion of z in y
5.770 * [backup-simplify]: Simplify z into z
5.770 * [taylor]: Taking taylor expansion of (- y x) in y
5.770 * [taylor]: Taking taylor expansion of y in y
5.770 * [backup-simplify]: Simplify 0 into 0
5.770 * [backup-simplify]: Simplify 1 into 1
5.770 * [taylor]: Taking taylor expansion of x in y
5.770 * [backup-simplify]: Simplify x into x
5.770 * [taylor]: Taking taylor expansion of t in y
5.770 * [backup-simplify]: Simplify t into t
5.770 * [backup-simplify]: Simplify (- x) into (- x)
5.770 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x)
5.770 * [backup-simplify]: Simplify (* z (- x)) into (* -1 (* x z))
5.770 * [backup-simplify]: Simplify (/ (* -1 (* x z)) t) into (* -1 (/ (* x z) t))
5.770 * [taylor]: Taking taylor expansion of (/ (* z (- y x)) t) in y
5.770 * [taylor]: Taking taylor expansion of (* z (- y x)) in y
5.770 * [taylor]: Taking taylor expansion of z in y
5.770 * [backup-simplify]: Simplify z into z
5.771 * [taylor]: Taking taylor expansion of (- y x) in y
5.771 * [taylor]: Taking taylor expansion of y in y
5.771 * [backup-simplify]: Simplify 0 into 0
5.771 * [backup-simplify]: Simplify 1 into 1
5.771 * [taylor]: Taking taylor expansion of x in y
5.771 * [backup-simplify]: Simplify x into x
5.771 * [taylor]: Taking taylor expansion of t in y
5.771 * [backup-simplify]: Simplify t into t
5.771 * [backup-simplify]: Simplify (- x) into (- x)
5.771 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x)
5.771 * [backup-simplify]: Simplify (* z (- x)) into (* -1 (* x z))
5.771 * [backup-simplify]: Simplify (/ (* -1 (* x z)) t) into (* -1 (/ (* x z) t))
5.771 * [taylor]: Taking taylor expansion of (* -1 (/ (* x z) t)) in x
5.771 * [taylor]: Taking taylor expansion of -1 in x
5.771 * [backup-simplify]: Simplify -1 into -1
5.771 * [taylor]: Taking taylor expansion of (/ (* x z) t) in x
5.771 * [taylor]: Taking taylor expansion of (* x z) in x
5.771 * [taylor]: Taking taylor expansion of x in x
5.771 * [backup-simplify]: Simplify 0 into 0
5.771 * [backup-simplify]: Simplify 1 into 1
5.771 * [taylor]: Taking taylor expansion of z in x
5.771 * [backup-simplify]: Simplify z into z
5.771 * [taylor]: Taking taylor expansion of t in x
5.772 * [backup-simplify]: Simplify t into t
5.772 * [backup-simplify]: Simplify (* 0 z) into 0
5.772 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
5.772 * [backup-simplify]: Simplify (/ z t) into (/ z t)
5.773 * [backup-simplify]: Simplify (- 0) into 0
5.773 * [backup-simplify]: Simplify (+ 1 0) into 1
5.773 * [backup-simplify]: Simplify (+ (* z 1) (* 0 (- x))) into z
5.773 * [backup-simplify]: Simplify (- (/ z t) (+ (* (* -1 (/ (* x z) t)) (/ 0 t)))) into (/ z t)
5.773 * [taylor]: Taking taylor expansion of (/ z t) in x
5.773 * [taylor]: Taking taylor expansion of z in x
5.773 * [backup-simplify]: Simplify z into z
5.773 * [taylor]: Taking taylor expansion of t in x
5.774 * [backup-simplify]: Simplify t into t
5.774 * [backup-simplify]: Simplify (/ z t) into (/ z t)
5.774 * [taylor]: Taking taylor expansion of (/ z t) in z
5.774 * [taylor]: Taking taylor expansion of z in z
5.774 * [backup-simplify]: Simplify 0 into 0
5.774 * [backup-simplify]: Simplify 1 into 1
5.774 * [taylor]: Taking taylor expansion of t in z
5.774 * [backup-simplify]: Simplify t into t
5.774 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
5.774 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.774 * [taylor]: Taking taylor expansion of t in t
5.774 * [backup-simplify]: Simplify 0 into 0
5.774 * [backup-simplify]: Simplify 1 into 1
5.774 * [backup-simplify]: Simplify (/ 1 1) into 1
5.774 * [backup-simplify]: Simplify 1 into 1
5.774 * [backup-simplify]: Simplify (* -1 (/ z t)) into (* -1 (/ z t))
5.775 * [taylor]: Taking taylor expansion of (* -1 (/ z t)) in z
5.775 * [taylor]: Taking taylor expansion of -1 in z
5.775 * [backup-simplify]: Simplify -1 into -1
5.775 * [taylor]: Taking taylor expansion of (/ z t) in z
5.775 * [taylor]: Taking taylor expansion of z in z
5.775 * [backup-simplify]: Simplify 0 into 0
5.775 * [backup-simplify]: Simplify 1 into 1
5.775 * [taylor]: Taking taylor expansion of t in z
5.775 * [backup-simplify]: Simplify t into t
5.775 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
5.775 * [backup-simplify]: Simplify (* -1 (/ 1 t)) into (/ -1 t)
5.775 * [taylor]: Taking taylor expansion of (/ -1 t) in t
5.775 * [taylor]: Taking taylor expansion of -1 in t
5.775 * [backup-simplify]: Simplify -1 into -1
5.775 * [taylor]: Taking taylor expansion of t in t
5.775 * [backup-simplify]: Simplify 0 into 0
5.775 * [backup-simplify]: Simplify 1 into 1
5.776 * [backup-simplify]: Simplify (/ -1 1) into -1
5.776 * [backup-simplify]: Simplify -1 into -1
5.776 * [backup-simplify]: Simplify (- 0) into 0
5.776 * [backup-simplify]: Simplify (+ 0 0) into 0
5.777 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 (- x)))) into 0
5.777 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (* -1 (/ (* x z) t)) (/ 0 t)) (* (/ z t) (/ 0 t)))) into 0
5.777 * [taylor]: Taking taylor expansion of 0 in x
5.777 * [backup-simplify]: Simplify 0 into 0
5.777 * [taylor]: Taking taylor expansion of 0 in z
5.777 * [backup-simplify]: Simplify 0 into 0
5.777 * [taylor]: Taking taylor expansion of 0 in t
5.778 * [backup-simplify]: Simplify 0 into 0
5.778 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ z t) (/ 0 t)))) into 0
5.778 * [taylor]: Taking taylor expansion of 0 in z
5.778 * [backup-simplify]: Simplify 0 into 0
5.778 * [taylor]: Taking taylor expansion of 0 in t
5.778 * [backup-simplify]: Simplify 0 into 0
5.779 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0
5.779 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ z t) (/ 0 t)))) into 0
5.779 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ z t))) into 0
5.779 * [taylor]: Taking taylor expansion of 0 in z
5.779 * [backup-simplify]: Simplify 0 into 0
5.780 * [taylor]: Taking taylor expansion of 0 in t
5.780 * [backup-simplify]: Simplify 0 into 0
5.780 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ 1 t) (/ 0 t)))) into 0
5.780 * [taylor]: Taking taylor expansion of 0 in t
5.780 * [backup-simplify]: Simplify 0 into 0
5.780 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ 1 t) (/ 0 t)))) into 0
5.780 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 t))) into 0
5.781 * [taylor]: Taking taylor expansion of 0 in t
5.781 * [backup-simplify]: Simplify 0 into 0
5.781 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.781 * [backup-simplify]: Simplify 0 into 0
5.782 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
5.782 * [backup-simplify]: Simplify 0 into 0
5.783 * [backup-simplify]: Simplify (- 0) into 0
5.783 * [backup-simplify]: Simplify (+ 0 0) into 0
5.784 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 (- x))))) into 0
5.785 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (* -1 (/ (* x z) t)) (/ 0 t)) (* (/ z t) (/ 0 t)) (* 0 (/ 0 t)))) into 0
5.785 * [taylor]: Taking taylor expansion of 0 in x
5.785 * [backup-simplify]: Simplify 0 into 0
5.785 * [taylor]: Taking taylor expansion of 0 in z
5.785 * [backup-simplify]: Simplify 0 into 0
5.785 * [taylor]: Taking taylor expansion of 0 in t
5.785 * [backup-simplify]: Simplify 0 into 0
5.785 * [taylor]: Taking taylor expansion of 0 in z
5.785 * [backup-simplify]: Simplify 0 into 0
5.785 * [taylor]: Taking taylor expansion of 0 in t
5.785 * [backup-simplify]: Simplify 0 into 0
5.785 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ z t) (/ 0 t)) (* 0 (/ 0 t)))) into 0
5.785 * [taylor]: Taking taylor expansion of 0 in z
5.785 * [backup-simplify]: Simplify 0 into 0
5.785 * [taylor]: Taking taylor expansion of 0 in t
5.785 * [backup-simplify]: Simplify 0 into 0
5.786 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 z)))) into 0
5.787 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ z t) (/ 0 t)) (* 0 (/ 0 t)))) into 0
5.788 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ z t)))) into 0
5.788 * [taylor]: Taking taylor expansion of 0 in z
5.788 * [backup-simplify]: Simplify 0 into 0
5.788 * [taylor]: Taking taylor expansion of 0 in t
5.788 * [backup-simplify]: Simplify 0 into 0
5.788 * [taylor]: Taking taylor expansion of 0 in t
5.788 * [backup-simplify]: Simplify 0 into 0
5.788 * [taylor]: Taking taylor expansion of 0 in t
5.788 * [backup-simplify]: Simplify 0 into 0
5.788 * [taylor]: Taking taylor expansion of 0 in t
5.788 * [backup-simplify]: Simplify 0 into 0
5.788 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0
5.788 * [taylor]: Taking taylor expansion of 0 in t
5.788 * [backup-simplify]: Simplify 0 into 0
5.788 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0
5.789 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 t)))) into 0
5.789 * [taylor]: Taking taylor expansion of 0 in t
5.789 * [backup-simplify]: Simplify 0 into 0
5.789 * [backup-simplify]: Simplify 0 into 0
5.790 * [backup-simplify]: Simplify 0 into 0
5.790 * [backup-simplify]: Simplify 0 into 0
5.790 * [backup-simplify]: Simplify 0 into 0
5.790 * [backup-simplify]: Simplify (+ (* -1 (* (/ 1 t) (* z (* x 1)))) (* 1 (* (/ 1 t) (* z (* 1 y))))) into (- (/ (* z y) t) (/ (* x z) t))
5.790 * [backup-simplify]: Simplify (* (- (/ 1 y) (/ 1 x)) (/ (/ 1 z) (/ 1 t))) into (/ (* t (- (/ 1 y) (/ 1 x))) z)
5.790 * [approximate]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in (y x z t) around 0
5.790 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in t
5.790 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in t
5.790 * [taylor]: Taking taylor expansion of t in t
5.791 * [backup-simplify]: Simplify 0 into 0
5.791 * [backup-simplify]: Simplify 1 into 1
5.791 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in t
5.791 * [taylor]: Taking taylor expansion of (/ 1 y) in t
5.791 * [taylor]: Taking taylor expansion of y in t
5.791 * [backup-simplify]: Simplify y into y
5.791 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.791 * [taylor]: Taking taylor expansion of (/ 1 x) in t
5.791 * [taylor]: Taking taylor expansion of x in t
5.791 * [backup-simplify]: Simplify x into x
5.791 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.791 * [taylor]: Taking taylor expansion of z in t
5.791 * [backup-simplify]: Simplify z into z
5.791 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
5.791 * [backup-simplify]: Simplify (+ (/ 1 y) (- (/ 1 x))) into (- (/ 1 y) (/ 1 x))
5.791 * [backup-simplify]: Simplify (* 0 (- (/ 1 y) (/ 1 x))) into 0
5.791 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
5.792 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
5.792 * [backup-simplify]: Simplify (- 0) into 0
5.792 * [backup-simplify]: Simplify (+ 0 0) into 0
5.793 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- (/ 1 y) (/ 1 x)))) into (- (/ 1 y) (/ 1 x))
5.793 * [backup-simplify]: Simplify (/ (- (/ 1 y) (/ 1 x)) z) into (/ (- (/ 1 y) (/ 1 x)) z)
5.793 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in z
5.793 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in z
5.793 * [taylor]: Taking taylor expansion of t in z
5.793 * [backup-simplify]: Simplify t into t
5.793 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z
5.793 * [taylor]: Taking taylor expansion of (/ 1 y) in z
5.793 * [taylor]: Taking taylor expansion of y in z
5.793 * [backup-simplify]: Simplify y into y
5.793 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.793 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.793 * [taylor]: Taking taylor expansion of x in z
5.793 * [backup-simplify]: Simplify x into x
5.794 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.794 * [taylor]: Taking taylor expansion of z in z
5.794 * [backup-simplify]: Simplify 0 into 0
5.794 * [backup-simplify]: Simplify 1 into 1
5.794 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
5.794 * [backup-simplify]: Simplify (+ (/ 1 y) (- (/ 1 x))) into (- (/ 1 y) (/ 1 x))
5.794 * [backup-simplify]: Simplify (* t (- (/ 1 y) (/ 1 x))) into (* t (- (/ 1 y) (/ 1 x)))
5.794 * [backup-simplify]: Simplify (/ (* t (- (/ 1 y) (/ 1 x))) 1) into (* t (- (/ 1 y) (/ 1 x)))
5.794 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in x
5.794 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in x
5.794 * [taylor]: Taking taylor expansion of t in x
5.794 * [backup-simplify]: Simplify t into t
5.794 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
5.794 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.794 * [taylor]: Taking taylor expansion of y in x
5.794 * [backup-simplify]: Simplify y into y
5.794 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.795 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.795 * [taylor]: Taking taylor expansion of x in x
5.795 * [backup-simplify]: Simplify 0 into 0
5.795 * [backup-simplify]: Simplify 1 into 1
5.795 * [backup-simplify]: Simplify (/ 1 1) into 1
5.795 * [taylor]: Taking taylor expansion of z in x
5.795 * [backup-simplify]: Simplify z into z
5.795 * [backup-simplify]: Simplify (- 1) into -1
5.796 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.796 * [backup-simplify]: Simplify (* t -1) into (* -1 t)
5.796 * [backup-simplify]: Simplify (/ (* -1 t) z) into (* -1 (/ t z))
5.796 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in y
5.796 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in y
5.796 * [taylor]: Taking taylor expansion of t in y
5.796 * [backup-simplify]: Simplify t into t
5.796 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
5.796 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.796 * [taylor]: Taking taylor expansion of y in y
5.796 * [backup-simplify]: Simplify 0 into 0
5.796 * [backup-simplify]: Simplify 1 into 1
5.797 * [backup-simplify]: Simplify (/ 1 1) into 1
5.797 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.797 * [taylor]: Taking taylor expansion of x in y
5.797 * [backup-simplify]: Simplify x into x
5.797 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.797 * [taylor]: Taking taylor expansion of z in y
5.797 * [backup-simplify]: Simplify z into z
5.797 * [backup-simplify]: Simplify (+ 1 0) into 1
5.797 * [backup-simplify]: Simplify (* t 1) into t
5.798 * [backup-simplify]: Simplify (/ t z) into (/ t z)
5.798 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in y
5.798 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in y
5.798 * [taylor]: Taking taylor expansion of t in y
5.798 * [backup-simplify]: Simplify t into t
5.798 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
5.798 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.798 * [taylor]: Taking taylor expansion of y in y
5.798 * [backup-simplify]: Simplify 0 into 0
5.798 * [backup-simplify]: Simplify 1 into 1
5.798 * [backup-simplify]: Simplify (/ 1 1) into 1
5.798 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.798 * [taylor]: Taking taylor expansion of x in y
5.798 * [backup-simplify]: Simplify x into x
5.798 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.798 * [taylor]: Taking taylor expansion of z in y
5.798 * [backup-simplify]: Simplify z into z
5.799 * [backup-simplify]: Simplify (+ 1 0) into 1
5.799 * [backup-simplify]: Simplify (* t 1) into t
5.799 * [backup-simplify]: Simplify (/ t z) into (/ t z)
5.799 * [taylor]: Taking taylor expansion of (/ t z) in x
5.799 * [taylor]: Taking taylor expansion of t in x
5.799 * [backup-simplify]: Simplify t into t
5.799 * [taylor]: Taking taylor expansion of z in x
5.799 * [backup-simplify]: Simplify z into z
5.799 * [backup-simplify]: Simplify (/ t z) into (/ t z)
5.800 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.800 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
5.800 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x))
5.801 * [backup-simplify]: Simplify (+ (* t (- (/ 1 x))) (* 0 1)) into (- (/ t x))
5.801 * [backup-simplify]: Simplify (- (/ (- (/ t x)) z) (+ (* (/ t z) (/ 0 z)))) into (- (/ t (* x z)))
5.801 * [taylor]: Taking taylor expansion of (- (/ t (* x z))) in x
5.801 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x
5.801 * [taylor]: Taking taylor expansion of t in x
5.801 * [backup-simplify]: Simplify t into t
5.801 * [taylor]: Taking taylor expansion of (* x z) in x
5.801 * [taylor]: Taking taylor expansion of x in x
5.801 * [backup-simplify]: Simplify 0 into 0
5.801 * [backup-simplify]: Simplify 1 into 1
5.801 * [taylor]: Taking taylor expansion of z in x
5.801 * [backup-simplify]: Simplify z into z
5.801 * [backup-simplify]: Simplify (* 0 z) into 0
5.802 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
5.802 * [backup-simplify]: Simplify (/ t z) into (/ t z)
5.802 * [backup-simplify]: Simplify (- (/ t z)) into (- (/ t z))
5.802 * [taylor]: Taking taylor expansion of (- (/ t z)) in z
5.802 * [taylor]: Taking taylor expansion of (/ t z) in z
5.802 * [taylor]: Taking taylor expansion of t in z
5.802 * [backup-simplify]: Simplify t into t
5.802 * [taylor]: Taking taylor expansion of z in z
5.802 * [backup-simplify]: Simplify 0 into 0
5.802 * [backup-simplify]: Simplify 1 into 1
5.802 * [backup-simplify]: Simplify (/ t 1) into t
5.802 * [backup-simplify]: Simplify (- t) into (- t)
5.802 * [taylor]: Taking taylor expansion of (- t) in t
5.802 * [taylor]: Taking taylor expansion of t in t
5.802 * [backup-simplify]: Simplify 0 into 0
5.803 * [backup-simplify]: Simplify 1 into 1
5.803 * [backup-simplify]: Simplify (- 1) into -1
5.803 * [backup-simplify]: Simplify -1 into -1
5.803 * [taylor]: Taking taylor expansion of (/ t z) in z
5.803 * [taylor]: Taking taylor expansion of t in z
5.803 * [backup-simplify]: Simplify t into t
5.803 * [taylor]: Taking taylor expansion of z in z
5.803 * [backup-simplify]: Simplify 0 into 0
5.803 * [backup-simplify]: Simplify 1 into 1
5.803 * [backup-simplify]: Simplify (/ t 1) into t
5.803 * [taylor]: Taking taylor expansion of t in t
5.803 * [backup-simplify]: Simplify 0 into 0
5.803 * [backup-simplify]: Simplify 1 into 1
5.803 * [backup-simplify]: Simplify 1 into 1
5.804 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.804 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
5.805 * [backup-simplify]: Simplify (- 0) into 0
5.805 * [backup-simplify]: Simplify (+ 0 0) into 0
5.806 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 (- (/ 1 x))) (* 0 1))) into 0
5.806 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)) (* (- (/ t (* x z))) (/ 0 z)))) into 0
5.806 * [taylor]: Taking taylor expansion of 0 in x
5.806 * [backup-simplify]: Simplify 0 into 0
5.807 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0
5.807 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)))) into 0
5.808 * [backup-simplify]: Simplify (- 0) into 0
5.808 * [taylor]: Taking taylor expansion of 0 in z
5.808 * [backup-simplify]: Simplify 0 into 0
5.808 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)))) into 0
5.808 * [taylor]: Taking taylor expansion of 0 in z
5.808 * [backup-simplify]: Simplify 0 into 0
5.809 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
5.809 * [backup-simplify]: Simplify (- 0) into 0
5.809 * [taylor]: Taking taylor expansion of 0 in t
5.809 * [backup-simplify]: Simplify 0 into 0
5.809 * [backup-simplify]: Simplify 0 into 0
5.810 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
5.810 * [taylor]: Taking taylor expansion of 0 in t
5.810 * [backup-simplify]: Simplify 0 into 0
5.810 * [backup-simplify]: Simplify 0 into 0
5.811 * [backup-simplify]: Simplify (- 0) into 0
5.811 * [backup-simplify]: Simplify 0 into 0
5.811 * [backup-simplify]: Simplify 0 into 0
5.811 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.811 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
5.812 * [backup-simplify]: Simplify (- 0) into 0
5.812 * [backup-simplify]: Simplify (+ 0 0) into 0
5.812 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 (- (/ 1 x))) (* 0 1)))) into 0
5.813 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)) (* (- (/ t (* x z))) (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.813 * [taylor]: Taking taylor expansion of 0 in x
5.813 * [backup-simplify]: Simplify 0 into 0
5.813 * [taylor]: Taking taylor expansion of 0 in z
5.813 * [backup-simplify]: Simplify 0 into 0
5.814 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 z)))) into 0
5.814 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.814 * [backup-simplify]: Simplify (- 0) into 0
5.814 * [taylor]: Taking taylor expansion of 0 in z
5.814 * [backup-simplify]: Simplify 0 into 0
5.814 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.814 * [taylor]: Taking taylor expansion of 0 in z
5.814 * [backup-simplify]: Simplify 0 into 0
5.814 * [taylor]: Taking taylor expansion of 0 in t
5.814 * [backup-simplify]: Simplify 0 into 0
5.814 * [backup-simplify]: Simplify 0 into 0
5.814 * [taylor]: Taking taylor expansion of 0 in t
5.814 * [backup-simplify]: Simplify 0 into 0
5.814 * [backup-simplify]: Simplify 0 into 0
5.815 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 t) (* (/ 1 (/ 1 z)) (* 1 (/ 1 (/ 1 y)))))) (* -1 (* (/ 1 t) (* (/ 1 (/ 1 z)) (* (/ 1 (/ 1 x)) 1))))) into (- (/ (* z y) t) (/ (* x z) t))
5.815 * [backup-simplify]: Simplify (* (- (/ 1 (- y)) (/ 1 (- x))) (/ (/ 1 (- z)) (/ 1 (- t)))) into (/ (* t (- (/ 1 x) (/ 1 y))) z)
5.815 * [approximate]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 y))) z) in (y x z t) around 0
5.815 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 y))) z) in t
5.815 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 y))) in t
5.815 * [taylor]: Taking taylor expansion of t in t
5.815 * [backup-simplify]: Simplify 0 into 0
5.815 * [backup-simplify]: Simplify 1 into 1
5.815 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in t
5.815 * [taylor]: Taking taylor expansion of (/ 1 x) in t
5.815 * [taylor]: Taking taylor expansion of x in t
5.815 * [backup-simplify]: Simplify x into x
5.815 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.815 * [taylor]: Taking taylor expansion of (/ 1 y) in t
5.815 * [taylor]: Taking taylor expansion of y in t
5.815 * [backup-simplify]: Simplify y into y
5.815 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.815 * [taylor]: Taking taylor expansion of z in t
5.815 * [backup-simplify]: Simplify z into z
5.815 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
5.815 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 y))) into (- (/ 1 x) (/ 1 y))
5.815 * [backup-simplify]: Simplify (* 0 (- (/ 1 x) (/ 1 y))) into 0
5.815 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
5.815 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
5.816 * [backup-simplify]: Simplify (- 0) into 0
5.816 * [backup-simplify]: Simplify (+ 0 0) into 0
5.816 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- (/ 1 x) (/ 1 y)))) into (- (/ 1 x) (/ 1 y))
5.816 * [backup-simplify]: Simplify (/ (- (/ 1 x) (/ 1 y)) z) into (/ (- (/ 1 x) (/ 1 y)) z)
5.816 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 y))) z) in z
5.816 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 y))) in z
5.816 * [taylor]: Taking taylor expansion of t in z
5.816 * [backup-simplify]: Simplify t into t
5.816 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z
5.816 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.816 * [taylor]: Taking taylor expansion of x in z
5.816 * [backup-simplify]: Simplify x into x
5.816 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.816 * [taylor]: Taking taylor expansion of (/ 1 y) in z
5.816 * [taylor]: Taking taylor expansion of y in z
5.816 * [backup-simplify]: Simplify y into y
5.817 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.817 * [taylor]: Taking taylor expansion of z in z
5.817 * [backup-simplify]: Simplify 0 into 0
5.817 * [backup-simplify]: Simplify 1 into 1
5.817 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
5.817 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 y))) into (- (/ 1 x) (/ 1 y))
5.817 * [backup-simplify]: Simplify (* t (- (/ 1 x) (/ 1 y))) into (* t (- (/ 1 x) (/ 1 y)))
5.817 * [backup-simplify]: Simplify (/ (* t (- (/ 1 x) (/ 1 y))) 1) into (* t (- (/ 1 x) (/ 1 y)))
5.817 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 y))) z) in x
5.817 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 y))) in x
5.817 * [taylor]: Taking taylor expansion of t in x
5.817 * [backup-simplify]: Simplify t into t
5.817 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
5.817 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.817 * [taylor]: Taking taylor expansion of x in x
5.817 * [backup-simplify]: Simplify 0 into 0
5.817 * [backup-simplify]: Simplify 1 into 1
5.817 * [backup-simplify]: Simplify (/ 1 1) into 1
5.817 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.817 * [taylor]: Taking taylor expansion of y in x
5.817 * [backup-simplify]: Simplify y into y
5.817 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.817 * [taylor]: Taking taylor expansion of z in x
5.817 * [backup-simplify]: Simplify z into z
5.818 * [backup-simplify]: Simplify (+ 1 0) into 1
5.818 * [backup-simplify]: Simplify (* t 1) into t
5.818 * [backup-simplify]: Simplify (/ t z) into (/ t z)
5.818 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 y))) z) in y
5.818 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 y))) in y
5.818 * [taylor]: Taking taylor expansion of t in y
5.818 * [backup-simplify]: Simplify t into t
5.818 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
5.818 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.818 * [taylor]: Taking taylor expansion of x in y
5.818 * [backup-simplify]: Simplify x into x
5.818 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.818 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.818 * [taylor]: Taking taylor expansion of y in y
5.818 * [backup-simplify]: Simplify 0 into 0
5.818 * [backup-simplify]: Simplify 1 into 1
5.818 * [backup-simplify]: Simplify (/ 1 1) into 1
5.818 * [taylor]: Taking taylor expansion of z in y
5.818 * [backup-simplify]: Simplify z into z
5.818 * [backup-simplify]: Simplify (- 1) into -1
5.819 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.819 * [backup-simplify]: Simplify (* t -1) into (* -1 t)
5.819 * [backup-simplify]: Simplify (/ (* -1 t) z) into (* -1 (/ t z))
5.819 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 y))) z) in y
5.819 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 y))) in y
5.819 * [taylor]: Taking taylor expansion of t in y
5.819 * [backup-simplify]: Simplify t into t
5.819 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
5.819 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.819 * [taylor]: Taking taylor expansion of x in y
5.819 * [backup-simplify]: Simplify x into x
5.819 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.819 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.819 * [taylor]: Taking taylor expansion of y in y
5.819 * [backup-simplify]: Simplify 0 into 0
5.819 * [backup-simplify]: Simplify 1 into 1
5.819 * [backup-simplify]: Simplify (/ 1 1) into 1
5.819 * [taylor]: Taking taylor expansion of z in y
5.819 * [backup-simplify]: Simplify z into z
5.820 * [backup-simplify]: Simplify (- 1) into -1
5.820 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.820 * [backup-simplify]: Simplify (* t -1) into (* -1 t)
5.820 * [backup-simplify]: Simplify (/ (* -1 t) z) into (* -1 (/ t z))
5.820 * [taylor]: Taking taylor expansion of (* -1 (/ t z)) in x
5.820 * [taylor]: Taking taylor expansion of -1 in x
5.820 * [backup-simplify]: Simplify -1 into -1
5.820 * [taylor]: Taking taylor expansion of (/ t z) in x
5.820 * [taylor]: Taking taylor expansion of t in x
5.820 * [backup-simplify]: Simplify t into t
5.820 * [taylor]: Taking taylor expansion of z in x
5.820 * [backup-simplify]: Simplify z into z
5.820 * [backup-simplify]: Simplify (/ t z) into (/ t z)
5.821 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.821 * [backup-simplify]: Simplify (- 0) into 0
5.821 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
5.821 * [backup-simplify]: Simplify (+ (* t (/ 1 x)) (* 0 -1)) into (/ t x)
5.821 * [backup-simplify]: Simplify (- (/ (/ t x) z) (+ (* (* -1 (/ t z)) (/ 0 z)))) into (/ t (* x z))
5.821 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x
5.821 * [taylor]: Taking taylor expansion of t in x
5.821 * [backup-simplify]: Simplify t into t
5.821 * [taylor]: Taking taylor expansion of (* x z) in x
5.821 * [taylor]: Taking taylor expansion of x in x
5.821 * [backup-simplify]: Simplify 0 into 0
5.821 * [backup-simplify]: Simplify 1 into 1
5.822 * [taylor]: Taking taylor expansion of z in x
5.822 * [backup-simplify]: Simplify z into z
5.822 * [backup-simplify]: Simplify (* 0 z) into 0
5.822 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
5.822 * [backup-simplify]: Simplify (/ t z) into (/ t z)
5.822 * [taylor]: Taking taylor expansion of (/ t z) in z
5.822 * [taylor]: Taking taylor expansion of t in z
5.822 * [backup-simplify]: Simplify t into t
5.822 * [taylor]: Taking taylor expansion of z in z
5.822 * [backup-simplify]: Simplify 0 into 0
5.822 * [backup-simplify]: Simplify 1 into 1
5.822 * [backup-simplify]: Simplify (/ t 1) into t
5.822 * [taylor]: Taking taylor expansion of t in t
5.822 * [backup-simplify]: Simplify 0 into 0
5.822 * [backup-simplify]: Simplify 1 into 1
5.822 * [backup-simplify]: Simplify 1 into 1
5.822 * [backup-simplify]: Simplify (* -1 (/ t z)) into (* -1 (/ t z))
5.822 * [taylor]: Taking taylor expansion of (* -1 (/ t z)) in z
5.822 * [taylor]: Taking taylor expansion of -1 in z
5.822 * [backup-simplify]: Simplify -1 into -1
5.822 * [taylor]: Taking taylor expansion of (/ t z) in z
5.822 * [taylor]: Taking taylor expansion of t in z
5.822 * [backup-simplify]: Simplify t into t
5.822 * [taylor]: Taking taylor expansion of z in z
5.822 * [backup-simplify]: Simplify 0 into 0
5.822 * [backup-simplify]: Simplify 1 into 1
5.823 * [backup-simplify]: Simplify (/ t 1) into t
5.823 * [backup-simplify]: Simplify (* -1 t) into (* -1 t)
5.823 * [taylor]: Taking taylor expansion of (* -1 t) in t
5.823 * [taylor]: Taking taylor expansion of -1 in t
5.823 * [backup-simplify]: Simplify -1 into -1
5.823 * [taylor]: Taking taylor expansion of t in t
5.823 * [backup-simplify]: Simplify 0 into 0
5.823 * [backup-simplify]: Simplify 1 into 1
5.823 * [backup-simplify]: Simplify (+ (* -1 1) (* 0 0)) into -1
5.823 * [backup-simplify]: Simplify -1 into -1
5.823 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
5.824 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.824 * [backup-simplify]: Simplify (- 0) into 0
5.824 * [backup-simplify]: Simplify (+ 0 0) into 0
5.825 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 (/ 1 x)) (* 0 -1))) into 0
5.825 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (* -1 (/ t z)) (/ 0 z)) (* (/ t (* x z)) (/ 0 z)))) into 0
5.825 * [taylor]: Taking taylor expansion of 0 in x
5.825 * [backup-simplify]: Simplify 0 into 0
5.825 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0
5.826 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)))) into 0
5.826 * [taylor]: Taking taylor expansion of 0 in z
5.826 * [backup-simplify]: Simplify 0 into 0
5.826 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)))) into 0
5.826 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ t z))) into 0
5.826 * [taylor]: Taking taylor expansion of 0 in z
5.826 * [backup-simplify]: Simplify 0 into 0
5.827 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
5.827 * [taylor]: Taking taylor expansion of 0 in t
5.827 * [backup-simplify]: Simplify 0 into 0
5.827 * [backup-simplify]: Simplify 0 into 0
5.828 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
5.828 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 t)) into 0
5.828 * [taylor]: Taking taylor expansion of 0 in t
5.828 * [backup-simplify]: Simplify 0 into 0
5.828 * [backup-simplify]: Simplify 0 into 0
5.828 * [backup-simplify]: Simplify 0 into 0
5.829 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0
5.829 * [backup-simplify]: Simplify 0 into 0
5.829 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
5.829 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.829 * [backup-simplify]: Simplify (- 0) into 0
5.830 * [backup-simplify]: Simplify (+ 0 0) into 0
5.830 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 (/ 1 x)) (* 0 -1)))) into 0
5.830 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (* -1 (/ t z)) (/ 0 z)) (* (/ t (* x z)) (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.830 * [taylor]: Taking taylor expansion of 0 in x
5.831 * [backup-simplify]: Simplify 0 into 0
5.831 * [taylor]: Taking taylor expansion of 0 in z
5.831 * [backup-simplify]: Simplify 0 into 0
5.831 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 z)))) into 0
5.831 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.831 * [taylor]: Taking taylor expansion of 0 in z
5.831 * [backup-simplify]: Simplify 0 into 0
5.832 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.832 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ t z)))) into 0
5.832 * [taylor]: Taking taylor expansion of 0 in z
5.832 * [backup-simplify]: Simplify 0 into 0
5.832 * [taylor]: Taking taylor expansion of 0 in t
5.832 * [backup-simplify]: Simplify 0 into 0
5.832 * [backup-simplify]: Simplify 0 into 0
5.832 * [taylor]: Taking taylor expansion of 0 in t
5.832 * [backup-simplify]: Simplify 0 into 0
5.832 * [backup-simplify]: Simplify 0 into 0
5.833 * [backup-simplify]: Simplify (+ (* -1 (* (/ 1 (- t)) (* (/ 1 (/ 1 (- z))) (* 1 (/ 1 (/ 1 (- y))))))) (* 1 (* (/ 1 (- t)) (* (/ 1 (/ 1 (- z))) (* (/ 1 (/ 1 (- x))) 1))))) into (- (/ (* z y) t) (/ (* x z) t))
5.833 * * * [progress]: simplifying candidates
5.833 * [simplify]: Simplifying:
  (expm1 (* (- y x) (/ z t)))
  (log1p (* (- y x) (/ z t)))
  (* (- y x) (/ z t))
  (+ (log (- y x)) (- (log z) (log t)))
  (+ (log (- y x)) (log (/ z t)))
  (log (* (- y x) (/ z t)))
  (exp (* (- y x) (/ z t)))
  (* (* (* (- y x) (- y x)) (- y x)) (/ (* (* z z) z) (* (* t t) t)))
  (* (* (* (- y x) (- y x)) (- y x)) (* (* (/ z t) (/ z t)) (/ z t)))
  (* (cbrt (* (- y x) (/ z t))) (cbrt (* (- y x) (/ z t))))
  (cbrt (* (- y x) (/ z t)))
  (* (* (* (- y x) (/ z t)) (* (- y x) (/ z t))) (* (- y x) (/ z t)))
  (sqrt (* (- y x) (/ z t)))
  (sqrt (* (- y x) (/ z t)))
  (* (- (pow y 3) (pow x 3)) z)
  (* (+ (* y y) (+ (* x x) (* y x))) t)
  (* (- (* y y) (* x x)) z)
  (* (+ y x) t)
  (* (sqrt (- y x)) (sqrt (/ z t)))
  (* (sqrt (- y x)) (sqrt (/ z t)))
  (* (sqrt (- y x)) (/ (sqrt z) (sqrt t)))
  (* (sqrt (- y x)) (/ (sqrt z) (sqrt t)))
  (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))
  (* (- y x) (sqrt (/ z t)))
  (* (- y x) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))))
  (* (- y x) (/ (* (cbrt z) (cbrt z)) (sqrt t)))
  (* (- y x) (/ (* (cbrt z) (cbrt z)) 1))
  (* (- y x) (/ (sqrt z) (* (cbrt t) (cbrt t))))
  (* (- y x) (/ (sqrt z) (sqrt t)))
  (* (- y x) (/ (sqrt z) 1))
  (* (- y x) (/ 1 (* (cbrt t) (cbrt t))))
  (* (- y x) (/ 1 (sqrt t)))
  (* (- y x) (/ 1 1))
  (* (- y x) 1)
  (* (- y x) z)
  (* (cbrt (- y x)) (/ z t))
  (* (sqrt (- y x)) (/ z t))
  (* (- y x) (/ z t))
  (* (- (sqrt y) (sqrt x)) (/ z t))
  (* (- y x) (/ z t))
  (* (- y x) z)
  (* (- (pow y 3) (pow x 3)) (/ z t))
  (* (- (* y y) (* x x)) (/ z t))
  (- (/ (* z y) t) (/ (* x z) t))
  (- (/ (* z y) t) (/ (* x z) t))
  (- (/ (* z y) t) (/ (* x z) t))
5.834 * * [simplify]: iteration 0: 98 enodes
5.869 * * [simplify]: iteration 1: 254 enodes
6.003 * * [simplify]: iteration 2: 1286 enodes
6.695 * * [simplify]: iteration complete: 5002 enodes
6.695 * * [simplify]: Extracting #0: cost 32 inf + 0
6.699 * * [simplify]: Extracting #1: cost 1298 inf + 0
6.709 * * [simplify]: Extracting #2: cost 2144 inf + 668
6.722 * * [simplify]: Extracting #3: cost 956 inf + 10536
6.736 * * [simplify]: Extracting #4: cost 86 inf + 19794
6.756 * * [simplify]: Extracting #5: cost 24 inf + 20508
6.769 * * [simplify]: Extracting #6: cost 4 inf + 20587
6.782 * * [simplify]: Extracting #7: cost 0 inf + 20608
6.794 * [simplify]: Simplified to:
  (expm1 (* (- y x) (/ z t)))
  (log1p (* (- y x) (/ z t)))
  (* (- y x) (/ z t))
  (log (* (- y x) (/ z t)))
  (log (* (- y x) (/ z t)))
  (log (* (- y x) (/ z t)))
  (pow (exp (- y x)) (/ z t))
  (pow (* (- y x) (/ z t)) 3)
  (pow (* (- y x) (/ z t)) 3)
  (* (cbrt (* (- y x) (/ z t))) (cbrt (* (- y x) (/ z t))))
  (cbrt (* (- y x) (/ z t)))
  (pow (* (- y x) (/ z t)) 3)
  (sqrt (* (- y x) (/ z t)))
  (sqrt (* (- y x) (/ z t)))
  (* z (- (pow y 3) (pow x 3)))
  (* t (fma x (+ x y) (* y y)))
  (* (+ x y) (* (- y x) z))
  (* t (+ x y))
  (* (sqrt (- y x)) (sqrt (/ z t)))
  (* (sqrt (- y x)) (sqrt (/ z t)))
  (/ (* (sqrt (- y x)) (sqrt z)) (sqrt t))
  (/ (* (sqrt (- y x)) (sqrt z)) (sqrt t))
  (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))
  (* (sqrt (/ z t)) (- y x))
  (* (/ (cbrt z) (cbrt t)) (* (/ (cbrt z) (cbrt t)) (- y x)))
  (/ (- y x) (/ (sqrt t) (* (cbrt z) (cbrt z))))
  (* (cbrt z) (* (cbrt z) (- y x)))
  (/ (* (/ (sqrt z) (cbrt t)) (- y x)) (cbrt t))
  (/ (- y x) (/ (sqrt t) (sqrt z)))
  (* (sqrt z) (- y x))
  (/ (- y x) (* (cbrt t) (cbrt t)))
  (/ (- y x) (sqrt t))
  (- y x)
  (- y x)
  (* (- y x) z)
  (/ (* (cbrt (- y x)) z) t)
  (* (/ z t) (sqrt (- y x)))
  (* (- y x) (/ z t))
  (* (/ z t) (- (sqrt y) (sqrt x)))
  (* (- y x) (/ z t))
  (* (- y x) z)
  (/ (- (pow y 3) (pow x 3)) (/ t z))
  (* (/ z t) (fma x (- x) (* y y)))
  (* (- y x) (/ z t))
  (* (- y x) (/ z t))
  (* (- y x) (/ z t))
6.795 * * * [progress]: adding candidates to table
7.043 * * [progress]: iteration 4 / 4
7.043 * * * [progress]: picking best candidate
7.049 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ x (/ (- y x) (/ t z))))>
7.049 * * * [progress]: localizing error
7.058 * * * [progress]: generating rewritten candidates
7.058 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2)
7.097 * * * [progress]: generating series expansions
7.097 * * * * [progress]: [ 1 / 1 ] generating series at (2 2)
7.097 * [backup-simplify]: Simplify (/ (- y x) (/ t z)) into (/ (* z (- y x)) t)
7.097 * [approximate]: Taking taylor expansion of (/ (* z (- y x)) t) in (y x t z) around 0
7.097 * [taylor]: Taking taylor expansion of (/ (* z (- y x)) t) in z
7.097 * [taylor]: Taking taylor expansion of (* z (- y x)) in z
7.097 * [taylor]: Taking taylor expansion of z in z
7.097 * [backup-simplify]: Simplify 0 into 0
7.097 * [backup-simplify]: Simplify 1 into 1
7.097 * [taylor]: Taking taylor expansion of (- y x) in z
7.097 * [taylor]: Taking taylor expansion of y in z
7.097 * [backup-simplify]: Simplify y into y
7.097 * [taylor]: Taking taylor expansion of x in z
7.097 * [backup-simplify]: Simplify x into x
7.097 * [taylor]: Taking taylor expansion of t in z
7.097 * [backup-simplify]: Simplify t into t
7.097 * [backup-simplify]: Simplify (- x) into (- x)
7.097 * [backup-simplify]: Simplify (+ y (- x)) into (- y x)
7.097 * [backup-simplify]: Simplify (* 0 (- y x)) into 0
7.098 * [backup-simplify]: Simplify (- 0) into 0
7.098 * [backup-simplify]: Simplify (+ 0 0) into 0
7.098 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- y x))) into (- y x)
7.098 * [backup-simplify]: Simplify (/ (- y x) t) into (/ (- y x) t)
7.098 * [taylor]: Taking taylor expansion of (/ (* z (- y x)) t) in t
7.099 * [taylor]: Taking taylor expansion of (* z (- y x)) in t
7.099 * [taylor]: Taking taylor expansion of z in t
7.099 * [backup-simplify]: Simplify z into z
7.099 * [taylor]: Taking taylor expansion of (- y x) in t
7.099 * [taylor]: Taking taylor expansion of y in t
7.099 * [backup-simplify]: Simplify y into y
7.099 * [taylor]: Taking taylor expansion of x in t
7.099 * [backup-simplify]: Simplify x into x
7.099 * [taylor]: Taking taylor expansion of t in t
7.099 * [backup-simplify]: Simplify 0 into 0
7.099 * [backup-simplify]: Simplify 1 into 1
7.099 * [backup-simplify]: Simplify (- x) into (- x)
7.099 * [backup-simplify]: Simplify (+ y (- x)) into (- y x)
7.099 * [backup-simplify]: Simplify (* z (- y x)) into (* z (- y x))
7.099 * [backup-simplify]: Simplify (/ (* z (- y x)) 1) into (* z (- y x))
7.099 * [taylor]: Taking taylor expansion of (/ (* z (- y x)) t) in x
7.099 * [taylor]: Taking taylor expansion of (* z (- y x)) in x
7.099 * [taylor]: Taking taylor expansion of z in x
7.099 * [backup-simplify]: Simplify z into z
7.099 * [taylor]: Taking taylor expansion of (- y x) in x
7.099 * [taylor]: Taking taylor expansion of y in x
7.099 * [backup-simplify]: Simplify y into y
7.099 * [taylor]: Taking taylor expansion of x in x
7.099 * [backup-simplify]: Simplify 0 into 0
7.099 * [backup-simplify]: Simplify 1 into 1
7.099 * [taylor]: Taking taylor expansion of t in x
7.099 * [backup-simplify]: Simplify t into t
7.099 * [backup-simplify]: Simplify (- 0) into 0
7.099 * [backup-simplify]: Simplify (+ y 0) into y
7.099 * [backup-simplify]: Simplify (* z y) into (* z y)
7.099 * [backup-simplify]: Simplify (/ (* z y) t) into (/ (* z y) t)
7.099 * [taylor]: Taking taylor expansion of (/ (* z (- y x)) t) in y
7.099 * [taylor]: Taking taylor expansion of (* z (- y x)) in y
7.099 * [taylor]: Taking taylor expansion of z in y
7.099 * [backup-simplify]: Simplify z into z
7.100 * [taylor]: Taking taylor expansion of (- y x) in y
7.100 * [taylor]: Taking taylor expansion of y in y
7.100 * [backup-simplify]: Simplify 0 into 0
7.100 * [backup-simplify]: Simplify 1 into 1
7.100 * [taylor]: Taking taylor expansion of x in y
7.100 * [backup-simplify]: Simplify x into x
7.100 * [taylor]: Taking taylor expansion of t in y
7.100 * [backup-simplify]: Simplify t into t
7.100 * [backup-simplify]: Simplify (- x) into (- x)
7.100 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x)
7.100 * [backup-simplify]: Simplify (* z (- x)) into (* -1 (* x z))
7.100 * [backup-simplify]: Simplify (/ (* -1 (* x z)) t) into (* -1 (/ (* x z) t))
7.100 * [taylor]: Taking taylor expansion of (/ (* z (- y x)) t) in y
7.100 * [taylor]: Taking taylor expansion of (* z (- y x)) in y
7.100 * [taylor]: Taking taylor expansion of z in y
7.100 * [backup-simplify]: Simplify z into z
7.100 * [taylor]: Taking taylor expansion of (- y x) in y
7.100 * [taylor]: Taking taylor expansion of y in y
7.100 * [backup-simplify]: Simplify 0 into 0
7.100 * [backup-simplify]: Simplify 1 into 1
7.100 * [taylor]: Taking taylor expansion of x in y
7.100 * [backup-simplify]: Simplify x into x
7.100 * [taylor]: Taking taylor expansion of t in y
7.100 * [backup-simplify]: Simplify t into t
7.100 * [backup-simplify]: Simplify (- x) into (- x)
7.100 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x)
7.100 * [backup-simplify]: Simplify (* z (- x)) into (* -1 (* x z))
7.100 * [backup-simplify]: Simplify (/ (* -1 (* x z)) t) into (* -1 (/ (* x z) t))
7.100 * [taylor]: Taking taylor expansion of (* -1 (/ (* x z) t)) in x
7.100 * [taylor]: Taking taylor expansion of -1 in x
7.100 * [backup-simplify]: Simplify -1 into -1
7.100 * [taylor]: Taking taylor expansion of (/ (* x z) t) in x
7.100 * [taylor]: Taking taylor expansion of (* x z) in x
7.100 * [taylor]: Taking taylor expansion of x in x
7.100 * [backup-simplify]: Simplify 0 into 0
7.100 * [backup-simplify]: Simplify 1 into 1
7.100 * [taylor]: Taking taylor expansion of z in x
7.100 * [backup-simplify]: Simplify z into z
7.100 * [taylor]: Taking taylor expansion of t in x
7.100 * [backup-simplify]: Simplify t into t
7.100 * [backup-simplify]: Simplify (* 0 z) into 0
7.101 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
7.101 * [backup-simplify]: Simplify (/ z t) into (/ z t)
7.101 * [backup-simplify]: Simplify (- 0) into 0
7.101 * [backup-simplify]: Simplify (+ 1 0) into 1
7.101 * [backup-simplify]: Simplify (+ (* z 1) (* 0 (- x))) into z
7.101 * [backup-simplify]: Simplify (- (/ z t) (+ (* (* -1 (/ (* x z) t)) (/ 0 t)))) into (/ z t)
7.102 * [taylor]: Taking taylor expansion of (/ z t) in x
7.102 * [taylor]: Taking taylor expansion of z in x
7.102 * [backup-simplify]: Simplify z into z
7.102 * [taylor]: Taking taylor expansion of t in x
7.102 * [backup-simplify]: Simplify t into t
7.102 * [backup-simplify]: Simplify (/ z t) into (/ z t)
7.102 * [taylor]: Taking taylor expansion of (/ z t) in t
7.102 * [taylor]: Taking taylor expansion of z in t
7.102 * [backup-simplify]: Simplify z into z
7.102 * [taylor]: Taking taylor expansion of t in t
7.102 * [backup-simplify]: Simplify 0 into 0
7.102 * [backup-simplify]: Simplify 1 into 1
7.102 * [backup-simplify]: Simplify (/ z 1) into z
7.102 * [taylor]: Taking taylor expansion of z in z
7.102 * [backup-simplify]: Simplify 0 into 0
7.102 * [backup-simplify]: Simplify 1 into 1
7.102 * [backup-simplify]: Simplify 1 into 1
7.102 * [backup-simplify]: Simplify (* -1 (/ z t)) into (* -1 (/ z t))
7.102 * [taylor]: Taking taylor expansion of (* -1 (/ z t)) in t
7.102 * [taylor]: Taking taylor expansion of -1 in t
7.102 * [backup-simplify]: Simplify -1 into -1
7.102 * [taylor]: Taking taylor expansion of (/ z t) in t
7.102 * [taylor]: Taking taylor expansion of z in t
7.102 * [backup-simplify]: Simplify z into z
7.102 * [taylor]: Taking taylor expansion of t in t
7.102 * [backup-simplify]: Simplify 0 into 0
7.102 * [backup-simplify]: Simplify 1 into 1
7.102 * [backup-simplify]: Simplify (/ z 1) into z
7.102 * [backup-simplify]: Simplify (* -1 z) into (* -1 z)
7.102 * [taylor]: Taking taylor expansion of (* -1 z) in z
7.102 * [taylor]: Taking taylor expansion of -1 in z
7.102 * [backup-simplify]: Simplify -1 into -1
7.102 * [taylor]: Taking taylor expansion of z in z
7.102 * [backup-simplify]: Simplify 0 into 0
7.102 * [backup-simplify]: Simplify 1 into 1
7.103 * [backup-simplify]: Simplify (+ (* -1 1) (* 0 0)) into -1
7.103 * [backup-simplify]: Simplify -1 into -1
7.103 * [backup-simplify]: Simplify (- 0) into 0
7.103 * [backup-simplify]: Simplify (+ 0 0) into 0
7.103 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 (- x)))) into 0
7.104 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (* -1 (/ (* x z) t)) (/ 0 t)) (* (/ z t) (/ 0 t)))) into 0
7.104 * [taylor]: Taking taylor expansion of 0 in x
7.104 * [backup-simplify]: Simplify 0 into 0
7.104 * [taylor]: Taking taylor expansion of 0 in t
7.104 * [backup-simplify]: Simplify 0 into 0
7.104 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ z t) (/ 0 t)))) into 0
7.104 * [taylor]: Taking taylor expansion of 0 in t
7.104 * [backup-simplify]: Simplify 0 into 0
7.104 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0
7.104 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ z t) (/ 0 t)))) into 0
7.105 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ z t))) into 0
7.105 * [taylor]: Taking taylor expansion of 0 in t
7.105 * [backup-simplify]: Simplify 0 into 0
7.105 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
7.105 * [taylor]: Taking taylor expansion of 0 in z
7.105 * [backup-simplify]: Simplify 0 into 0
7.105 * [backup-simplify]: Simplify 0 into 0
7.106 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
7.106 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 z)) into 0
7.106 * [taylor]: Taking taylor expansion of 0 in z
7.106 * [backup-simplify]: Simplify 0 into 0
7.106 * [backup-simplify]: Simplify 0 into 0
7.106 * [backup-simplify]: Simplify 0 into 0
7.107 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0
7.107 * [backup-simplify]: Simplify 0 into 0
7.107 * [backup-simplify]: Simplify (- 0) into 0
7.107 * [backup-simplify]: Simplify (+ 0 0) into 0
7.108 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 (- x))))) into 0
7.108 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (* -1 (/ (* x z) t)) (/ 0 t)) (* (/ z t) (/ 0 t)) (* 0 (/ 0 t)))) into 0
7.108 * [taylor]: Taking taylor expansion of 0 in x
7.108 * [backup-simplify]: Simplify 0 into 0
7.108 * [taylor]: Taking taylor expansion of 0 in t
7.108 * [backup-simplify]: Simplify 0 into 0
7.108 * [taylor]: Taking taylor expansion of 0 in t
7.108 * [backup-simplify]: Simplify 0 into 0
7.108 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ z t) (/ 0 t)) (* 0 (/ 0 t)))) into 0
7.108 * [taylor]: Taking taylor expansion of 0 in t
7.109 * [backup-simplify]: Simplify 0 into 0
7.109 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 z)))) into 0
7.109 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ z t) (/ 0 t)) (* 0 (/ 0 t)))) into 0
7.110 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ z t)))) into 0
7.110 * [taylor]: Taking taylor expansion of 0 in t
7.110 * [backup-simplify]: Simplify 0 into 0
7.110 * [taylor]: Taking taylor expansion of 0 in z
7.110 * [backup-simplify]: Simplify 0 into 0
7.110 * [backup-simplify]: Simplify 0 into 0
7.110 * [taylor]: Taking taylor expansion of 0 in z
7.110 * [backup-simplify]: Simplify 0 into 0
7.110 * [backup-simplify]: Simplify 0 into 0
7.110 * [backup-simplify]: Simplify (+ (* -1 (* z (* (/ 1 t) (* x 1)))) (* 1 (* z (* (/ 1 t) (* 1 y))))) into (- (/ (* z y) t) (/ (* x z) t))
7.110 * [backup-simplify]: Simplify (/ (- (/ 1 y) (/ 1 x)) (/ (/ 1 t) (/ 1 z))) into (/ (* t (- (/ 1 y) (/ 1 x))) z)
7.110 * [approximate]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in (y x t z) around 0
7.110 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in z
7.110 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in z
7.111 * [taylor]: Taking taylor expansion of t in z
7.111 * [backup-simplify]: Simplify t into t
7.111 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z
7.111 * [taylor]: Taking taylor expansion of (/ 1 y) in z
7.111 * [taylor]: Taking taylor expansion of y in z
7.111 * [backup-simplify]: Simplify y into y
7.111 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.111 * [taylor]: Taking taylor expansion of (/ 1 x) in z
7.111 * [taylor]: Taking taylor expansion of x in z
7.111 * [backup-simplify]: Simplify x into x
7.111 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.111 * [taylor]: Taking taylor expansion of z in z
7.111 * [backup-simplify]: Simplify 0 into 0
7.111 * [backup-simplify]: Simplify 1 into 1
7.111 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
7.111 * [backup-simplify]: Simplify (+ (/ 1 y) (- (/ 1 x))) into (- (/ 1 y) (/ 1 x))
7.111 * [backup-simplify]: Simplify (* t (- (/ 1 y) (/ 1 x))) into (* t (- (/ 1 y) (/ 1 x)))
7.111 * [backup-simplify]: Simplify (/ (* t (- (/ 1 y) (/ 1 x))) 1) into (* t (- (/ 1 y) (/ 1 x)))
7.111 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in t
7.111 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in t
7.111 * [taylor]: Taking taylor expansion of t in t
7.111 * [backup-simplify]: Simplify 0 into 0
7.111 * [backup-simplify]: Simplify 1 into 1
7.112 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in t
7.112 * [taylor]: Taking taylor expansion of (/ 1 y) in t
7.112 * [taylor]: Taking taylor expansion of y in t
7.112 * [backup-simplify]: Simplify y into y
7.112 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.112 * [taylor]: Taking taylor expansion of (/ 1 x) in t
7.112 * [taylor]: Taking taylor expansion of x in t
7.112 * [backup-simplify]: Simplify x into x
7.112 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.112 * [taylor]: Taking taylor expansion of z in t
7.112 * [backup-simplify]: Simplify z into z
7.112 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
7.112 * [backup-simplify]: Simplify (+ (/ 1 y) (- (/ 1 x))) into (- (/ 1 y) (/ 1 x))
7.112 * [backup-simplify]: Simplify (* 0 (- (/ 1 y) (/ 1 x))) into 0
7.112 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
7.112 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
7.113 * [backup-simplify]: Simplify (- 0) into 0
7.113 * [backup-simplify]: Simplify (+ 0 0) into 0
7.114 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- (/ 1 y) (/ 1 x)))) into (- (/ 1 y) (/ 1 x))
7.114 * [backup-simplify]: Simplify (/ (- (/ 1 y) (/ 1 x)) z) into (/ (- (/ 1 y) (/ 1 x)) z)
7.114 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in x
7.114 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in x
7.114 * [taylor]: Taking taylor expansion of t in x
7.114 * [backup-simplify]: Simplify t into t
7.114 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
7.114 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.114 * [taylor]: Taking taylor expansion of y in x
7.114 * [backup-simplify]: Simplify y into y
7.114 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.114 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.114 * [taylor]: Taking taylor expansion of x in x
7.114 * [backup-simplify]: Simplify 0 into 0
7.114 * [backup-simplify]: Simplify 1 into 1
7.115 * [backup-simplify]: Simplify (/ 1 1) into 1
7.115 * [taylor]: Taking taylor expansion of z in x
7.115 * [backup-simplify]: Simplify z into z
7.115 * [backup-simplify]: Simplify (- 1) into -1
7.115 * [backup-simplify]: Simplify (+ 0 -1) into -1
7.116 * [backup-simplify]: Simplify (* t -1) into (* -1 t)
7.116 * [backup-simplify]: Simplify (/ (* -1 t) z) into (* -1 (/ t z))
7.116 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in y
7.116 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in y
7.116 * [taylor]: Taking taylor expansion of t in y
7.116 * [backup-simplify]: Simplify t into t
7.116 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
7.116 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.116 * [taylor]: Taking taylor expansion of y in y
7.116 * [backup-simplify]: Simplify 0 into 0
7.116 * [backup-simplify]: Simplify 1 into 1
7.116 * [backup-simplify]: Simplify (/ 1 1) into 1
7.116 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.116 * [taylor]: Taking taylor expansion of x in y
7.116 * [backup-simplify]: Simplify x into x
7.116 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.116 * [taylor]: Taking taylor expansion of z in y
7.117 * [backup-simplify]: Simplify z into z
7.117 * [backup-simplify]: Simplify (+ 1 0) into 1
7.117 * [backup-simplify]: Simplify (* t 1) into t
7.117 * [backup-simplify]: Simplify (/ t z) into (/ t z)
7.117 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in y
7.117 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in y
7.117 * [taylor]: Taking taylor expansion of t in y
7.117 * [backup-simplify]: Simplify t into t
7.117 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
7.117 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.117 * [taylor]: Taking taylor expansion of y in y
7.117 * [backup-simplify]: Simplify 0 into 0
7.117 * [backup-simplify]: Simplify 1 into 1
7.118 * [backup-simplify]: Simplify (/ 1 1) into 1
7.118 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.118 * [taylor]: Taking taylor expansion of x in y
7.118 * [backup-simplify]: Simplify x into x
7.118 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.118 * [taylor]: Taking taylor expansion of z in y
7.118 * [backup-simplify]: Simplify z into z
7.118 * [backup-simplify]: Simplify (+ 1 0) into 1
7.118 * [backup-simplify]: Simplify (* t 1) into t
7.118 * [backup-simplify]: Simplify (/ t z) into (/ t z)
7.119 * [taylor]: Taking taylor expansion of (/ t z) in x
7.119 * [taylor]: Taking taylor expansion of t in x
7.119 * [backup-simplify]: Simplify t into t
7.119 * [taylor]: Taking taylor expansion of z in x
7.119 * [backup-simplify]: Simplify z into z
7.119 * [backup-simplify]: Simplify (/ t z) into (/ t z)
7.120 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.120 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
7.120 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x))
7.121 * [backup-simplify]: Simplify (+ (* t (- (/ 1 x))) (* 0 1)) into (- (/ t x))
7.121 * [backup-simplify]: Simplify (- (/ (- (/ t x)) z) (+ (* (/ t z) (/ 0 z)))) into (- (/ t (* x z)))
7.121 * [taylor]: Taking taylor expansion of (- (/ t (* x z))) in x
7.121 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x
7.121 * [taylor]: Taking taylor expansion of t in x
7.121 * [backup-simplify]: Simplify t into t
7.121 * [taylor]: Taking taylor expansion of (* x z) in x
7.121 * [taylor]: Taking taylor expansion of x in x
7.121 * [backup-simplify]: Simplify 0 into 0
7.121 * [backup-simplify]: Simplify 1 into 1
7.121 * [taylor]: Taking taylor expansion of z in x
7.121 * [backup-simplify]: Simplify z into z
7.121 * [backup-simplify]: Simplify (* 0 z) into 0
7.122 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
7.122 * [backup-simplify]: Simplify (/ t z) into (/ t z)
7.122 * [backup-simplify]: Simplify (- (/ t z)) into (- (/ t z))
7.122 * [taylor]: Taking taylor expansion of (- (/ t z)) in t
7.122 * [taylor]: Taking taylor expansion of (/ t z) in t
7.122 * [taylor]: Taking taylor expansion of t in t
7.122 * [backup-simplify]: Simplify 0 into 0
7.122 * [backup-simplify]: Simplify 1 into 1
7.122 * [taylor]: Taking taylor expansion of z in t
7.122 * [backup-simplify]: Simplify z into z
7.122 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.122 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
7.122 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
7.122 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.122 * [taylor]: Taking taylor expansion of z in z
7.122 * [backup-simplify]: Simplify 0 into 0
7.122 * [backup-simplify]: Simplify 1 into 1
7.123 * [backup-simplify]: Simplify (/ 1 1) into 1
7.123 * [backup-simplify]: Simplify (- 1) into -1
7.123 * [backup-simplify]: Simplify -1 into -1
7.123 * [taylor]: Taking taylor expansion of (/ t z) in t
7.123 * [taylor]: Taking taylor expansion of t in t
7.123 * [backup-simplify]: Simplify 0 into 0
7.123 * [backup-simplify]: Simplify 1 into 1
7.123 * [taylor]: Taking taylor expansion of z in t
7.124 * [backup-simplify]: Simplify z into z
7.124 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.124 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.124 * [taylor]: Taking taylor expansion of z in z
7.124 * [backup-simplify]: Simplify 0 into 0
7.124 * [backup-simplify]: Simplify 1 into 1
7.124 * [backup-simplify]: Simplify (/ 1 1) into 1
7.124 * [backup-simplify]: Simplify 1 into 1
7.125 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.125 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
7.126 * [backup-simplify]: Simplify (- 0) into 0
7.126 * [backup-simplify]: Simplify (+ 0 0) into 0
7.127 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 (- (/ 1 x))) (* 0 1))) into 0
7.127 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)) (* (- (/ t (* x z))) (/ 0 z)))) into 0
7.127 * [taylor]: Taking taylor expansion of 0 in x
7.127 * [backup-simplify]: Simplify 0 into 0
7.128 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0
7.128 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)))) into 0
7.128 * [backup-simplify]: Simplify (- 0) into 0
7.128 * [taylor]: Taking taylor expansion of 0 in t
7.128 * [backup-simplify]: Simplify 0 into 0
7.128 * [taylor]: Taking taylor expansion of 0 in z
7.128 * [backup-simplify]: Simplify 0 into 0
7.129 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)))) into 0
7.129 * [taylor]: Taking taylor expansion of 0 in t
7.129 * [backup-simplify]: Simplify 0 into 0
7.129 * [taylor]: Taking taylor expansion of 0 in z
7.129 * [backup-simplify]: Simplify 0 into 0
7.129 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
7.129 * [backup-simplify]: Simplify (- 0) into 0
7.129 * [taylor]: Taking taylor expansion of 0 in z
7.129 * [backup-simplify]: Simplify 0 into 0
7.130 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
7.130 * [taylor]: Taking taylor expansion of 0 in z
7.130 * [backup-simplify]: Simplify 0 into 0
7.130 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.131 * [backup-simplify]: Simplify (- 0) into 0
7.131 * [backup-simplify]: Simplify 0 into 0
7.132 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.132 * [backup-simplify]: Simplify 0 into 0
7.133 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.133 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
7.133 * [backup-simplify]: Simplify (- 0) into 0
7.134 * [backup-simplify]: Simplify (+ 0 0) into 0
7.134 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 (- (/ 1 x))) (* 0 1)))) into 0
7.135 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)) (* (- (/ t (* x z))) (/ 0 z)) (* 0 (/ 0 z)))) into 0
7.135 * [taylor]: Taking taylor expansion of 0 in x
7.135 * [backup-simplify]: Simplify 0 into 0
7.135 * [taylor]: Taking taylor expansion of 0 in t
7.135 * [backup-simplify]: Simplify 0 into 0
7.135 * [taylor]: Taking taylor expansion of 0 in z
7.135 * [backup-simplify]: Simplify 0 into 0
7.136 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 z)))) into 0
7.137 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
7.137 * [backup-simplify]: Simplify (- 0) into 0
7.137 * [taylor]: Taking taylor expansion of 0 in t
7.137 * [backup-simplify]: Simplify 0 into 0
7.137 * [taylor]: Taking taylor expansion of 0 in z
7.137 * [backup-simplify]: Simplify 0 into 0
7.137 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
7.137 * [taylor]: Taking taylor expansion of 0 in t
7.137 * [backup-simplify]: Simplify 0 into 0
7.137 * [taylor]: Taking taylor expansion of 0 in z
7.137 * [backup-simplify]: Simplify 0 into 0
7.138 * [taylor]: Taking taylor expansion of 0 in z
7.138 * [backup-simplify]: Simplify 0 into 0
7.138 * [taylor]: Taking taylor expansion of 0 in z
7.138 * [backup-simplify]: Simplify 0 into 0
7.138 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
7.138 * [backup-simplify]: Simplify (- 0) into 0
7.138 * [taylor]: Taking taylor expansion of 0 in z
7.138 * [backup-simplify]: Simplify 0 into 0
7.139 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
7.139 * [taylor]: Taking taylor expansion of 0 in z
7.139 * [backup-simplify]: Simplify 0 into 0
7.139 * [backup-simplify]: Simplify 0 into 0
7.139 * [backup-simplify]: Simplify 0 into 0
7.139 * [backup-simplify]: Simplify 0 into 0
7.139 * [backup-simplify]: Simplify 0 into 0
7.139 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 z)) (* (/ 1 t) (* 1 (/ 1 (/ 1 y)))))) (* -1 (* (/ 1 (/ 1 z)) (* (/ 1 t) (* (/ 1 (/ 1 x)) 1))))) into (- (/ (* z y) t) (/ (* x z) t))
7.140 * [backup-simplify]: Simplify (/ (- (/ 1 (- y)) (/ 1 (- x))) (/ (/ 1 (- t)) (/ 1 (- z)))) into (/ (* t (- (/ 1 x) (/ 1 y))) z)
7.140 * [approximate]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 y))) z) in (y x t z) around 0
7.140 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 y))) z) in z
7.140 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 y))) in z
7.140 * [taylor]: Taking taylor expansion of t in z
7.140 * [backup-simplify]: Simplify t into t
7.140 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z
7.140 * [taylor]: Taking taylor expansion of (/ 1 x) in z
7.140 * [taylor]: Taking taylor expansion of x in z
7.140 * [backup-simplify]: Simplify x into x
7.140 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.140 * [taylor]: Taking taylor expansion of (/ 1 y) in z
7.140 * [taylor]: Taking taylor expansion of y in z
7.140 * [backup-simplify]: Simplify y into y
7.140 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.140 * [taylor]: Taking taylor expansion of z in z
7.140 * [backup-simplify]: Simplify 0 into 0
7.140 * [backup-simplify]: Simplify 1 into 1
7.140 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
7.140 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 y))) into (- (/ 1 x) (/ 1 y))
7.140 * [backup-simplify]: Simplify (* t (- (/ 1 x) (/ 1 y))) into (* t (- (/ 1 x) (/ 1 y)))
7.141 * [backup-simplify]: Simplify (/ (* t (- (/ 1 x) (/ 1 y))) 1) into (* t (- (/ 1 x) (/ 1 y)))
7.141 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 y))) z) in t
7.141 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 y))) in t
7.141 * [taylor]: Taking taylor expansion of t in t
7.141 * [backup-simplify]: Simplify 0 into 0
7.141 * [backup-simplify]: Simplify 1 into 1
7.141 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in t
7.141 * [taylor]: Taking taylor expansion of (/ 1 x) in t
7.141 * [taylor]: Taking taylor expansion of x in t
7.141 * [backup-simplify]: Simplify x into x
7.141 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.141 * [taylor]: Taking taylor expansion of (/ 1 y) in t
7.141 * [taylor]: Taking taylor expansion of y in t
7.141 * [backup-simplify]: Simplify y into y
7.141 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.141 * [taylor]: Taking taylor expansion of z in t
7.141 * [backup-simplify]: Simplify z into z
7.141 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
7.141 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 y))) into (- (/ 1 x) (/ 1 y))
7.141 * [backup-simplify]: Simplify (* 0 (- (/ 1 x) (/ 1 y))) into 0
7.142 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
7.142 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
7.142 * [backup-simplify]: Simplify (- 0) into 0
7.143 * [backup-simplify]: Simplify (+ 0 0) into 0
7.143 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- (/ 1 x) (/ 1 y)))) into (- (/ 1 x) (/ 1 y))
7.143 * [backup-simplify]: Simplify (/ (- (/ 1 x) (/ 1 y)) z) into (/ (- (/ 1 x) (/ 1 y)) z)
7.143 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 y))) z) in x
7.143 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 y))) in x
7.143 * [taylor]: Taking taylor expansion of t in x
7.143 * [backup-simplify]: Simplify t into t
7.143 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
7.143 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.143 * [taylor]: Taking taylor expansion of x in x
7.144 * [backup-simplify]: Simplify 0 into 0
7.144 * [backup-simplify]: Simplify 1 into 1
7.144 * [backup-simplify]: Simplify (/ 1 1) into 1
7.144 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.144 * [taylor]: Taking taylor expansion of y in x
7.144 * [backup-simplify]: Simplify y into y
7.144 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.144 * [taylor]: Taking taylor expansion of z in x
7.144 * [backup-simplify]: Simplify z into z
7.145 * [backup-simplify]: Simplify (+ 1 0) into 1
7.145 * [backup-simplify]: Simplify (* t 1) into t
7.145 * [backup-simplify]: Simplify (/ t z) into (/ t z)
7.145 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 y))) z) in y
7.145 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 y))) in y
7.145 * [taylor]: Taking taylor expansion of t in y
7.145 * [backup-simplify]: Simplify t into t
7.145 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
7.145 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.145 * [taylor]: Taking taylor expansion of x in y
7.145 * [backup-simplify]: Simplify x into x
7.145 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.145 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.145 * [taylor]: Taking taylor expansion of y in y
7.145 * [backup-simplify]: Simplify 0 into 0
7.145 * [backup-simplify]: Simplify 1 into 1
7.146 * [backup-simplify]: Simplify (/ 1 1) into 1
7.146 * [taylor]: Taking taylor expansion of z in y
7.146 * [backup-simplify]: Simplify z into z
7.146 * [backup-simplify]: Simplify (- 1) into -1
7.146 * [backup-simplify]: Simplify (+ 0 -1) into -1
7.146 * [backup-simplify]: Simplify (* t -1) into (* -1 t)
7.147 * [backup-simplify]: Simplify (/ (* -1 t) z) into (* -1 (/ t z))
7.147 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 y))) z) in y
7.147 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 y))) in y
7.147 * [taylor]: Taking taylor expansion of t in y
7.147 * [backup-simplify]: Simplify t into t
7.147 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
7.147 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.147 * [taylor]: Taking taylor expansion of x in y
7.147 * [backup-simplify]: Simplify x into x
7.147 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.147 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.147 * [taylor]: Taking taylor expansion of y in y
7.147 * [backup-simplify]: Simplify 0 into 0
7.147 * [backup-simplify]: Simplify 1 into 1
7.147 * [backup-simplify]: Simplify (/ 1 1) into 1
7.147 * [taylor]: Taking taylor expansion of z in y
7.147 * [backup-simplify]: Simplify z into z
7.148 * [backup-simplify]: Simplify (- 1) into -1
7.148 * [backup-simplify]: Simplify (+ 0 -1) into -1
7.148 * [backup-simplify]: Simplify (* t -1) into (* -1 t)
7.148 * [backup-simplify]: Simplify (/ (* -1 t) z) into (* -1 (/ t z))
7.149 * [taylor]: Taking taylor expansion of (* -1 (/ t z)) in x
7.149 * [taylor]: Taking taylor expansion of -1 in x
7.149 * [backup-simplify]: Simplify -1 into -1
7.149 * [taylor]: Taking taylor expansion of (/ t z) in x
7.149 * [taylor]: Taking taylor expansion of t in x
7.149 * [backup-simplify]: Simplify t into t
7.149 * [taylor]: Taking taylor expansion of z in x
7.149 * [backup-simplify]: Simplify z into z
7.149 * [backup-simplify]: Simplify (/ t z) into (/ t z)
7.150 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.150 * [backup-simplify]: Simplify (- 0) into 0
7.150 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
7.151 * [backup-simplify]: Simplify (+ (* t (/ 1 x)) (* 0 -1)) into (/ t x)
7.151 * [backup-simplify]: Simplify (- (/ (/ t x) z) (+ (* (* -1 (/ t z)) (/ 0 z)))) into (/ t (* x z))
7.151 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x
7.151 * [taylor]: Taking taylor expansion of t in x
7.151 * [backup-simplify]: Simplify t into t
7.151 * [taylor]: Taking taylor expansion of (* x z) in x
7.151 * [taylor]: Taking taylor expansion of x in x
7.151 * [backup-simplify]: Simplify 0 into 0
7.151 * [backup-simplify]: Simplify 1 into 1
7.151 * [taylor]: Taking taylor expansion of z in x
7.151 * [backup-simplify]: Simplify z into z
7.151 * [backup-simplify]: Simplify (* 0 z) into 0
7.152 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
7.152 * [backup-simplify]: Simplify (/ t z) into (/ t z)
7.152 * [taylor]: Taking taylor expansion of (/ t z) in t
7.152 * [taylor]: Taking taylor expansion of t in t
7.152 * [backup-simplify]: Simplify 0 into 0
7.152 * [backup-simplify]: Simplify 1 into 1
7.152 * [taylor]: Taking taylor expansion of z in t
7.152 * [backup-simplify]: Simplify z into z
7.152 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.152 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.152 * [taylor]: Taking taylor expansion of z in z
7.152 * [backup-simplify]: Simplify 0 into 0
7.152 * [backup-simplify]: Simplify 1 into 1
7.152 * [backup-simplify]: Simplify (/ 1 1) into 1
7.153 * [backup-simplify]: Simplify 1 into 1
7.153 * [backup-simplify]: Simplify (* -1 (/ t z)) into (* -1 (/ t z))
7.153 * [taylor]: Taking taylor expansion of (* -1 (/ t z)) in t
7.153 * [taylor]: Taking taylor expansion of -1 in t
7.153 * [backup-simplify]: Simplify -1 into -1
7.153 * [taylor]: Taking taylor expansion of (/ t z) in t
7.153 * [taylor]: Taking taylor expansion of t in t
7.153 * [backup-simplify]: Simplify 0 into 0
7.153 * [backup-simplify]: Simplify 1 into 1
7.153 * [taylor]: Taking taylor expansion of z in t
7.153 * [backup-simplify]: Simplify z into z
7.153 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.153 * [backup-simplify]: Simplify (* -1 (/ 1 z)) into (/ -1 z)
7.153 * [taylor]: Taking taylor expansion of (/ -1 z) in z
7.153 * [taylor]: Taking taylor expansion of -1 in z
7.153 * [backup-simplify]: Simplify -1 into -1
7.153 * [taylor]: Taking taylor expansion of z in z
7.153 * [backup-simplify]: Simplify 0 into 0
7.153 * [backup-simplify]: Simplify 1 into 1
7.154 * [backup-simplify]: Simplify (/ -1 1) into -1
7.154 * [backup-simplify]: Simplify -1 into -1
7.154 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
7.155 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.155 * [backup-simplify]: Simplify (- 0) into 0
7.156 * [backup-simplify]: Simplify (+ 0 0) into 0
7.156 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 (/ 1 x)) (* 0 -1))) into 0
7.156 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (* -1 (/ t z)) (/ 0 z)) (* (/ t (* x z)) (/ 0 z)))) into 0
7.156 * [taylor]: Taking taylor expansion of 0 in x
7.156 * [backup-simplify]: Simplify 0 into 0
7.157 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0
7.157 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)))) into 0
7.157 * [taylor]: Taking taylor expansion of 0 in t
7.158 * [backup-simplify]: Simplify 0 into 0
7.158 * [taylor]: Taking taylor expansion of 0 in z
7.158 * [backup-simplify]: Simplify 0 into 0
7.158 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)))) into 0
7.158 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ t z))) into 0
7.158 * [taylor]: Taking taylor expansion of 0 in t
7.158 * [backup-simplify]: Simplify 0 into 0
7.158 * [taylor]: Taking taylor expansion of 0 in z
7.158 * [backup-simplify]: Simplify 0 into 0
7.159 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
7.159 * [taylor]: Taking taylor expansion of 0 in z
7.159 * [backup-simplify]: Simplify 0 into 0
7.159 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
7.159 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 z))) into 0
7.159 * [taylor]: Taking taylor expansion of 0 in z
7.160 * [backup-simplify]: Simplify 0 into 0
7.160 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.160 * [backup-simplify]: Simplify 0 into 0
7.161 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
7.161 * [backup-simplify]: Simplify 0 into 0
7.161 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
7.162 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.163 * [backup-simplify]: Simplify (- 0) into 0
7.163 * [backup-simplify]: Simplify (+ 0 0) into 0
7.163 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 (/ 1 x)) (* 0 -1)))) into 0
7.164 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (* -1 (/ t z)) (/ 0 z)) (* (/ t (* x z)) (/ 0 z)) (* 0 (/ 0 z)))) into 0
7.164 * [taylor]: Taking taylor expansion of 0 in x
7.164 * [backup-simplify]: Simplify 0 into 0
7.164 * [taylor]: Taking taylor expansion of 0 in t
7.164 * [backup-simplify]: Simplify 0 into 0
7.164 * [taylor]: Taking taylor expansion of 0 in z
7.164 * [backup-simplify]: Simplify 0 into 0
7.165 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 z)))) into 0
7.165 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
7.165 * [taylor]: Taking taylor expansion of 0 in t
7.165 * [backup-simplify]: Simplify 0 into 0
7.165 * [taylor]: Taking taylor expansion of 0 in z
7.165 * [backup-simplify]: Simplify 0 into 0
7.165 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
7.165 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ t z)))) into 0
7.165 * [taylor]: Taking taylor expansion of 0 in t
7.166 * [backup-simplify]: Simplify 0 into 0
7.166 * [taylor]: Taking taylor expansion of 0 in z
7.166 * [backup-simplify]: Simplify 0 into 0
7.166 * [taylor]: Taking taylor expansion of 0 in z
7.166 * [backup-simplify]: Simplify 0 into 0
7.166 * [taylor]: Taking taylor expansion of 0 in z
7.166 * [backup-simplify]: Simplify 0 into 0
7.166 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
7.166 * [taylor]: Taking taylor expansion of 0 in z
7.166 * [backup-simplify]: Simplify 0 into 0
7.166 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
7.166 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 z)))) into 0
7.166 * [taylor]: Taking taylor expansion of 0 in z
7.166 * [backup-simplify]: Simplify 0 into 0
7.167 * [backup-simplify]: Simplify 0 into 0
7.167 * [backup-simplify]: Simplify 0 into 0
7.167 * [backup-simplify]: Simplify 0 into 0
7.167 * [backup-simplify]: Simplify 0 into 0
7.167 * [backup-simplify]: Simplify (+ (* -1 (* (/ 1 (/ 1 (- z))) (* (/ 1 (- t)) (* 1 (/ 1 (/ 1 (- y))))))) (* 1 (* (/ 1 (/ 1 (- z))) (* (/ 1 (- t)) (* (/ 1 (/ 1 (- x))) 1))))) into (- (/ (* z y) t) (/ (* x z) t))
7.167 * * * [progress]: simplifying candidates
7.169 * [simplify]: Simplifying:
  (expm1 (/ (- y x) (/ t z)))
  (log1p (/ (- y x) (/ t z)))
  (- (log (- y x)) (- (log t) (log z)))
  (- (log (- y x)) (log (/ t z)))
  (log (/ (- y x) (/ t z)))
  (exp (/ (- y x) (/ t z)))
  (/ (* (* (- y x) (- y x)) (- y x)) (/ (* (* t t) t) (* (* z z) z)))
  (/ (* (* (- y x) (- y x)) (- y x)) (* (* (/ t z) (/ t z)) (/ t z)))
  (* (cbrt (/ (- y x) (/ t z))) (cbrt (/ (- y x) (/ t z))))
  (cbrt (/ (- y x) (/ t z)))
  (* (* (/ (- y x) (/ t z)) (/ (- y x) (/ t z))) (/ (- y x) (/ t z)))
  (sqrt (/ (- y x) (/ t z)))
  (sqrt (/ (- y x) (/ t z)))
  (- (- y x))
  (- (/ t z))
  (/ y (/ t z))
  (/ x (/ t z))
  (/ (* (cbrt (- y x)) (cbrt (- y x))) (* (cbrt (/ t z)) (cbrt (/ t z))))
  (/ (cbrt (- y x)) (cbrt (/ t z)))
  (/ (* (cbrt (- y x)) (cbrt (- y x))) (sqrt (/ t z)))
  (/ (cbrt (- y x)) (sqrt (/ t z)))
  (/ (* (cbrt (- y x)) (cbrt (- y x))) (/ (* (cbrt t) (cbrt t)) (* (cbrt z) (cbrt z))))
  (/ (cbrt (- y x)) (/ (cbrt t) (cbrt z)))
  (/ (* (cbrt (- y x)) (cbrt (- y x))) (/ (* (cbrt t) (cbrt t)) (sqrt z)))
  (/ (cbrt (- y x)) (/ (cbrt t) (sqrt z)))
  (/ (* (cbrt (- y x)) (cbrt (- y x))) (/ (* (cbrt t) (cbrt t)) 1))
  (/ (cbrt (- y x)) (/ (cbrt t) z))
  (/ (* (cbrt (- y x)) (cbrt (- y x))) (/ (sqrt t) (* (cbrt z) (cbrt z))))
  (/ (cbrt (- y x)) (/ (sqrt t) (cbrt z)))
  (/ (* (cbrt (- y x)) (cbrt (- y x))) (/ (sqrt t) (sqrt z)))
  (/ (cbrt (- y x)) (/ (sqrt t) (sqrt z)))
  (/ (* (cbrt (- y x)) (cbrt (- y x))) (/ (sqrt t) 1))
  (/ (cbrt (- y x)) (/ (sqrt t) z))
  (/ (* (cbrt (- y x)) (cbrt (- y x))) (/ 1 (* (cbrt z) (cbrt z))))
  (/ (cbrt (- y x)) (/ t (cbrt z)))
  (/ (* (cbrt (- y x)) (cbrt (- y x))) (/ 1 (sqrt z)))
  (/ (cbrt (- y x)) (/ t (sqrt z)))
  (/ (* (cbrt (- y x)) (cbrt (- y x))) (/ 1 1))
  (/ (cbrt (- y x)) (/ t z))
  (/ (* (cbrt (- y x)) (cbrt (- y x))) 1)
  (/ (cbrt (- y x)) (/ t z))
  (/ (* (cbrt (- y x)) (cbrt (- y x))) t)
  (/ (cbrt (- y x)) (/ 1 z))
  (/ (sqrt (- y x)) (* (cbrt (/ t z)) (cbrt (/ t z))))
  (/ (sqrt (- y x)) (cbrt (/ t z)))
  (/ (sqrt (- y x)) (sqrt (/ t z)))
  (/ (sqrt (- y x)) (sqrt (/ t z)))
  (/ (sqrt (- y x)) (/ (* (cbrt t) (cbrt t)) (* (cbrt z) (cbrt z))))
  (/ (sqrt (- y x)) (/ (cbrt t) (cbrt z)))
  (/ (sqrt (- y x)) (/ (* (cbrt t) (cbrt t)) (sqrt z)))
  (/ (sqrt (- y x)) (/ (cbrt t) (sqrt z)))
  (/ (sqrt (- y x)) (/ (* (cbrt t) (cbrt t)) 1))
  (/ (sqrt (- y x)) (/ (cbrt t) z))
  (/ (sqrt (- y x)) (/ (sqrt t) (* (cbrt z) (cbrt z))))
  (/ (sqrt (- y x)) (/ (sqrt t) (cbrt z)))
  (/ (sqrt (- y x)) (/ (sqrt t) (sqrt z)))
  (/ (sqrt (- y x)) (/ (sqrt t) (sqrt z)))
  (/ (sqrt (- y x)) (/ (sqrt t) 1))
  (/ (sqrt (- y x)) (/ (sqrt t) z))
  (/ (sqrt (- y x)) (/ 1 (* (cbrt z) (cbrt z))))
  (/ (sqrt (- y x)) (/ t (cbrt z)))
  (/ (sqrt (- y x)) (/ 1 (sqrt z)))
  (/ (sqrt (- y x)) (/ t (sqrt z)))
  (/ (sqrt (- y x)) (/ 1 1))
  (/ (sqrt (- y x)) (/ t z))
  (/ (sqrt (- y x)) 1)
  (/ (sqrt (- y x)) (/ t z))
  (/ (sqrt (- y x)) t)
  (/ (sqrt (- y x)) (/ 1 z))
  (/ 1 (* (cbrt (/ t z)) (cbrt (/ t z))))
  (/ (- y x) (cbrt (/ t z)))
  (/ 1 (sqrt (/ t z)))
  (/ (- y x) (sqrt (/ t z)))
  (/ 1 (/ (* (cbrt t) (cbrt t)) (* (cbrt z) (cbrt z))))
  (/ (- y x) (/ (cbrt t) (cbrt z)))
  (/ 1 (/ (* (cbrt t) (cbrt t)) (sqrt z)))
  (/ (- y x) (/ (cbrt t) (sqrt z)))
  (/ 1 (/ (* (cbrt t) (cbrt t)) 1))
  (/ (- y x) (/ (cbrt t) z))
  (/ 1 (/ (sqrt t) (* (cbrt z) (cbrt z))))
  (/ (- y x) (/ (sqrt t) (cbrt z)))
  (/ 1 (/ (sqrt t) (sqrt z)))
  (/ (- y x) (/ (sqrt t) (sqrt z)))
  (/ 1 (/ (sqrt t) 1))
  (/ (- y x) (/ (sqrt t) z))
  (/ 1 (/ 1 (* (cbrt z) (cbrt z))))
  (/ (- y x) (/ t (cbrt z)))
  (/ 1 (/ 1 (sqrt z)))
  (/ (- y x) (/ t (sqrt z)))
  (/ 1 (/ 1 1))
  (/ (- y x) (/ t z))
  (/ 1 1)
  (/ (- y x) (/ t z))
  (/ 1 t)
  (/ (- y x) (/ 1 z))
  (/ (+ (sqrt y) (sqrt x)) (* (cbrt (/ t z)) (cbrt (/ t z))))
  (/ (- (sqrt y) (sqrt x)) (cbrt (/ t z)))
  (/ (+ (sqrt y) (sqrt x)) (sqrt (/ t z)))
  (/ (- (sqrt y) (sqrt x)) (sqrt (/ t z)))
  (/ (+ (sqrt y) (sqrt x)) (/ (* (cbrt t) (cbrt t)) (* (cbrt z) (cbrt z))))
  (/ (- (sqrt y) (sqrt x)) (/ (cbrt t) (cbrt z)))
  (/ (+ (sqrt y) (sqrt x)) (/ (* (cbrt t) (cbrt t)) (sqrt z)))
  (/ (- (sqrt y) (sqrt x)) (/ (cbrt t) (sqrt z)))
  (/ (+ (sqrt y) (sqrt x)) (/ (* (cbrt t) (cbrt t)) 1))
  (/ (- (sqrt y) (sqrt x)) (/ (cbrt t) z))
  (/ (+ (sqrt y) (sqrt x)) (/ (sqrt t) (* (cbrt z) (cbrt z))))
  (/ (- (sqrt y) (sqrt x)) (/ (sqrt t) (cbrt z)))
  (/ (+ (sqrt y) (sqrt x)) (/ (sqrt t) (sqrt z)))
  (/ (- (sqrt y) (sqrt x)) (/ (sqrt t) (sqrt z)))
  (/ (+ (sqrt y) (sqrt x)) (/ (sqrt t) 1))
  (/ (- (sqrt y) (sqrt x)) (/ (sqrt t) z))
  (/ (+ (sqrt y) (sqrt x)) (/ 1 (* (cbrt z) (cbrt z))))
  (/ (- (sqrt y) (sqrt x)) (/ t (cbrt z)))
  (/ (+ (sqrt y) (sqrt x)) (/ 1 (sqrt z)))
  (/ (- (sqrt y) (sqrt x)) (/ t (sqrt z)))
  (/ (+ (sqrt y) (sqrt x)) (/ 1 1))
  (/ (- (sqrt y) (sqrt x)) (/ t z))
  (/ (+ (sqrt y) (sqrt x)) 1)
  (/ (- (sqrt y) (sqrt x)) (/ t z))
  (/ (+ (sqrt y) (sqrt x)) t)
  (/ (- (sqrt y) (sqrt x)) (/ 1 z))
  (/ 1 (* (cbrt (/ t z)) (cbrt (/ t z))))
  (/ (- y x) (cbrt (/ t z)))
  (/ 1 (sqrt (/ t z)))
  (/ (- y x) (sqrt (/ t z)))
  (/ 1 (/ (* (cbrt t) (cbrt t)) (* (cbrt z) (cbrt z))))
  (/ (- y x) (/ (cbrt t) (cbrt z)))
  (/ 1 (/ (* (cbrt t) (cbrt t)) (sqrt z)))
  (/ (- y x) (/ (cbrt t) (sqrt z)))
  (/ 1 (/ (* (cbrt t) (cbrt t)) 1))
  (/ (- y x) (/ (cbrt t) z))
  (/ 1 (/ (sqrt t) (* (cbrt z) (cbrt z))))
  (/ (- y x) (/ (sqrt t) (cbrt z)))
  (/ 1 (/ (sqrt t) (sqrt z)))
  (/ (- y x) (/ (sqrt t) (sqrt z)))
  (/ 1 (/ (sqrt t) 1))
  (/ (- y x) (/ (sqrt t) z))
  (/ 1 (/ 1 (* (cbrt z) (cbrt z))))
  (/ (- y x) (/ t (cbrt z)))
  (/ 1 (/ 1 (sqrt z)))
  (/ (- y x) (/ t (sqrt z)))
  (/ 1 (/ 1 1))
  (/ (- y x) (/ t z))
  (/ 1 1)
  (/ (- y x) (/ t z))
  (/ 1 t)
  (/ (- y x) (/ 1 z))
  (/ 1 (/ t z))
  (/ (/ t z) (- y x))
  (/ (- y x) (* (cbrt (/ t z)) (cbrt (/ t z))))
  (/ (- y x) (sqrt (/ t z)))
  (/ (- y x) (/ (* (cbrt t) (cbrt t)) (* (cbrt z) (cbrt z))))
  (/ (- y x) (/ (* (cbrt t) (cbrt t)) (sqrt z)))
  (/ (- y x) (/ (* (cbrt t) (cbrt t)) 1))
  (/ (- y x) (/ (sqrt t) (* (cbrt z) (cbrt z))))
  (/ (- y x) (/ (sqrt t) (sqrt z)))
  (/ (- y x) (/ (sqrt t) 1))
  (/ (- y x) (/ 1 (* (cbrt z) (cbrt z))))
  (/ (- y x) (/ 1 (sqrt z)))
  (/ (- y x) (/ 1 1))
  (/ (- y x) 1)
  (/ (- y x) t)
  (/ (/ t z) (cbrt (- y x)))
  (/ (/ t z) (sqrt (- y x)))
  (/ (/ t z) (- y x))
  (/ (/ t z) (- (sqrt y) (sqrt x)))
  (/ (/ t z) (- y x))
  (/ (- y x) t)
  (* (/ t z) (+ (* y y) (+ (* x x) (* y x))))
  (* (/ t z) (+ y x))
  (- (/ (* z y) t) (/ (* x z) t))
  (- (/ (* z y) t) (/ (* x z) t))
  (- (/ (* z y) t) (/ (* x z) t))
7.171 * * [simplify]: iteration 0: 197 enodes
7.214 * * [simplify]: iteration 1: 600 enodes
7.488 * * [simplify]: iteration 2: 2775 enodes
8.767 * * [simplify]: iteration complete: 5001 enodes
8.767 * * [simplify]: Extracting #0: cost 123 inf + 0
8.769 * * [simplify]: Extracting #1: cost 839 inf + 1
8.774 * * [simplify]: Extracting #2: cost 1148 inf + 87
8.778 * * [simplify]: Extracting #3: cost 598 inf + 3404
8.787 * * [simplify]: Extracting #4: cost 79 inf + 8017
8.796 * * [simplify]: Extracting #5: cost 1 inf + 8915
8.805 * * [simplify]: Extracting #6: cost 0 inf + 8925
8.815 * [simplify]: Simplified to:
  (expm1 (/ (- y x) (/ t z)))
  (log1p (/ (- y x) (/ t z)))
  (log (/ (- y x) (/ t z)))
  (log (/ (- y x) (/ t z)))
  (log (/ (- y x) (/ t z)))
  (pow (exp z) (/ (- y x) t))
  (pow (/ (- y x) (/ t z)) 3)
  (pow (/ (- y x) (/ t z)) 3)
  (* (cbrt (/ (- y x) (/ t z))) (cbrt (/ (- y x) (/ t z))))
  (cbrt (/ (- y x) (/ t z)))
  (pow (/ (- y x) (/ t z)) 3)
  (sqrt (/ (- y x) (/ t z)))
  (sqrt (/ (- y x) (/ t z)))
  (- (- y x))
  (/ (- t) z)
  (* (/ y t) z)
  (/ z (/ t x))
  (* (/ (cbrt (- y x)) (* (cbrt (/ t z)) (cbrt (/ t z)))) (cbrt (- y x)))
  (/ (cbrt (- y x)) (cbrt (/ t z)))
  (/ (* (cbrt (- y x)) (cbrt (- y x))) (sqrt (/ t z)))
  (/ (cbrt (- y x)) (sqrt (/ t z)))
  (* (/ (* (* (cbrt (- y x)) (cbrt (- y x))) (cbrt z)) (cbrt t)) (/ (cbrt z) (cbrt t)))
  (* (/ (cbrt (- y x)) (cbrt t)) (cbrt z))
  (* (/ (* (cbrt (- y x)) (cbrt (- y x))) (cbrt t)) (/ (sqrt z) (cbrt t)))
  (/ (cbrt (- y x)) (/ (cbrt t) (sqrt z)))
  (* (/ (cbrt (- y x)) (* (cbrt t) (cbrt t))) (cbrt (- y x)))
  (* z (/ (cbrt (- y x)) (cbrt t)))
  (* (/ (* (cbrt (- y x)) (cbrt (- y x))) (sqrt t)) (* (cbrt z) (cbrt z)))
  (/ (* (cbrt (- y x)) (cbrt z)) (sqrt t))
  (* (/ (sqrt z) (sqrt t)) (* (cbrt (- y x)) (cbrt (- y x))))
  (/ (cbrt (- y x)) (/ (sqrt t) (sqrt z)))
  (/ (* (cbrt (- y x)) (cbrt (- y x))) (sqrt t))
  (/ (cbrt (- y x)) (/ (sqrt t) z))
  (* (* (cbrt z) (cbrt (- y x))) (* (cbrt z) (cbrt (- y x))))
  (* (cbrt z) (/ (cbrt (- y x)) t))
  (* (* (cbrt (- y x)) (cbrt (- y x))) (sqrt z))
  (/ (cbrt (- y x)) (/ t (sqrt z)))
  (* (cbrt (- y x)) (cbrt (- y x)))
  (/ (cbrt (- y x)) (/ t z))
  (* (cbrt (- y x)) (cbrt (- y x)))
  (/ (cbrt (- y x)) (/ t z))
  (* (/ (cbrt (- y x)) t) (cbrt (- y x)))
  (* (cbrt (- y x)) z)
  (/ (sqrt (- y x)) (* (cbrt (/ t z)) (cbrt (/ t z))))
  (/ (sqrt (- y x)) (cbrt (/ t z)))
  (/ (sqrt (- y x)) (sqrt (/ t z)))
  (/ (sqrt (- y x)) (sqrt (/ t z)))
  (* (/ (sqrt (- y x)) (cbrt t)) (/ (* (cbrt z) (cbrt z)) (cbrt t)))
  (/ (* (sqrt (- y x)) (cbrt z)) (cbrt t))
  (* (/ (sqrt z) (cbrt t)) (/ (sqrt (- y x)) (cbrt t)))
  (/ (sqrt (- y x)) (/ (cbrt t) (sqrt z)))
  (/ (/ (sqrt (- y x)) (cbrt t)) (cbrt t))
  (* (/ (sqrt (- y x)) (cbrt t)) z)
  (* (* (cbrt z) (cbrt z)) (/ (sqrt (- y x)) (sqrt t)))
  (* (cbrt z) (/ (sqrt (- y x)) (sqrt t)))
  (/ (* (sqrt (- y x)) (sqrt z)) (sqrt t))
  (/ (* (sqrt (- y x)) (sqrt z)) (sqrt t))
  (/ (sqrt (- y x)) (sqrt t))
  (* z (/ (sqrt (- y x)) (sqrt t)))
  (* (sqrt (- y x)) (* (cbrt z) (cbrt z)))
  (* (/ (sqrt (- y x)) t) (cbrt z))
  (* (sqrt (- y x)) (sqrt z))
  (/ (sqrt (- y x)) (/ t (sqrt z)))
  (sqrt (- y x))
  (/ (* (sqrt (- y x)) z) t)
  (sqrt (- y x))
  (/ (* (sqrt (- y x)) z) t)
  (/ (sqrt (- y x)) t)
  (* (sqrt (- y x)) z)
  (/ (/ 1 (cbrt (/ t z))) (cbrt (/ t z)))
  (/ (- y x) (cbrt (/ t z)))
  (/ 1 (sqrt (/ t z)))
  (/ (- y x) (sqrt (/ t z)))
  (* (/ (cbrt z) (cbrt t)) (/ (cbrt z) (cbrt t)))
  (* (/ (- y x) (cbrt t)) (cbrt z))
  (/ (sqrt z) (* (cbrt t) (cbrt t)))
  (/ (- y x) (/ (cbrt t) (sqrt z)))
  (/ 1 (* (cbrt t) (cbrt t)))
  (/ (* (- y x) z) (cbrt t))
  (/ (* (cbrt z) (cbrt z)) (sqrt t))
  (* (/ (- y x) (sqrt t)) (cbrt z))
  (/ (sqrt z) (sqrt t))
  (/ (- y x) (/ (sqrt t) (sqrt z)))
  (/ 1 (sqrt t))
  (/ (* (- y x) z) (sqrt t))
  (* (cbrt z) (cbrt z))
  (/ (* (- y x) (cbrt z)) t)
  (sqrt z)
  (/ (- y x) (/ t (sqrt z)))
  1
  (/ (- y x) (/ t z))
  1
  (/ (- y x) (/ t z))
  (/ 1 t)
  (* (- y x) z)
  (/ (+ (sqrt y) (sqrt x)) (* (cbrt (/ t z)) (cbrt (/ t z))))
  (/ (- (sqrt y) (sqrt x)) (cbrt (/ t z)))
  (/ (+ (sqrt y) (sqrt x)) (sqrt (/ t z)))
  (/ (- (sqrt y) (sqrt x)) (sqrt (/ t z)))
  (* (/ (+ (sqrt y) (sqrt x)) (cbrt t)) (/ (* (cbrt z) (cbrt z)) (cbrt t)))
  (/ (* (- (sqrt y) (sqrt x)) (cbrt z)) (cbrt t))
  (* (/ (+ (sqrt y) (sqrt x)) (cbrt t)) (/ (sqrt z) (cbrt t)))
  (/ (* (- (sqrt y) (sqrt x)) (sqrt z)) (cbrt t))
  (/ (/ (+ (sqrt y) (sqrt x)) (cbrt t)) (cbrt t))
  (/ (- (sqrt y) (sqrt x)) (/ (cbrt t) z))
  (/ (+ (sqrt y) (sqrt x)) (/ (/ (sqrt t) (cbrt z)) (cbrt z)))
  (/ (* (- (sqrt y) (sqrt x)) (cbrt z)) (sqrt t))
  (/ (+ (sqrt y) (sqrt x)) (/ (sqrt t) (sqrt z)))
  (/ (* (- (sqrt y) (sqrt x)) (sqrt z)) (sqrt t))
  (/ (+ (sqrt y) (sqrt x)) (sqrt t))
  (/ (- (sqrt y) (sqrt x)) (/ (sqrt t) z))
  (* (* (+ (sqrt y) (sqrt x)) (cbrt z)) (cbrt z))
  (* (/ (- (sqrt y) (sqrt x)) t) (cbrt z))
  (* (sqrt z) (+ (sqrt y) (sqrt x)))
  (/ (* (- (sqrt y) (sqrt x)) (sqrt z)) t)
  (+ (sqrt y) (sqrt x))
  (/ (- (sqrt y) (sqrt x)) (/ t z))
  (+ (sqrt y) (sqrt x))
  (/ (- (sqrt y) (sqrt x)) (/ t z))
  (/ (+ (sqrt y) (sqrt x)) t)
  (* z (- (sqrt y) (sqrt x)))
  (/ (/ 1 (cbrt (/ t z))) (cbrt (/ t z)))
  (/ (- y x) (cbrt (/ t z)))
  (/ 1 (sqrt (/ t z)))
  (/ (- y x) (sqrt (/ t z)))
  (* (/ (cbrt z) (cbrt t)) (/ (cbrt z) (cbrt t)))
  (* (/ (- y x) (cbrt t)) (cbrt z))
  (/ (sqrt z) (* (cbrt t) (cbrt t)))
  (/ (- y x) (/ (cbrt t) (sqrt z)))
  (/ 1 (* (cbrt t) (cbrt t)))
  (/ (* (- y x) z) (cbrt t))
  (/ (* (cbrt z) (cbrt z)) (sqrt t))
  (* (/ (- y x) (sqrt t)) (cbrt z))
  (/ (sqrt z) (sqrt t))
  (/ (- y x) (/ (sqrt t) (sqrt z)))
  (/ 1 (sqrt t))
  (/ (* (- y x) z) (sqrt t))
  (* (cbrt z) (cbrt z))
  (/ (* (- y x) (cbrt z)) t)
  (sqrt z)
  (/ (- y x) (/ t (sqrt z)))
  1
  (/ (- y x) (/ t z))
  1
  (/ (- y x) (/ t z))
  (/ 1 t)
  (* (- y x) z)
  (/ z t)
  (/ (/ t z) (- y x))
  (/ (- y x) (* (cbrt (/ t z)) (cbrt (/ t z))))
  (/ (- y x) (sqrt (/ t z)))
  (* (* (/ (- y x) (cbrt t)) (cbrt z)) (/ (cbrt z) (cbrt t)))
  (/ (- y x) (* (/ (cbrt t) (sqrt z)) (cbrt t)))
  (/ (/ (- y x) (cbrt t)) (cbrt t))
  (* (/ (- y x) (sqrt t)) (* (cbrt z) (cbrt z)))
  (/ (- y x) (/ (sqrt t) (sqrt z)))
  (/ (- y x) (sqrt t))
  (* (* (- y x) (cbrt z)) (cbrt z))
  (* (- y x) (sqrt z))
  (- y x)
  (- y x)
  (/ (- y x) t)
  (/ (/ t z) (cbrt (- y x)))
  (/ (/ t z) (sqrt (- y x)))
  (/ (/ t z) (- y x))
  (/ (/ t z) (- (sqrt y) (sqrt x)))
  (/ (/ t z) (- y x))
  (/ (- y x) t)
  (* (fma x (+ x y) (* y y)) (/ t z))
  (* (/ t z) (+ x y))
  (/ (- y x) (/ t z))
  (/ (- y x) (/ t z))
  (/ (- y x) (/ t z))
8.816 * * * [progress]: adding candidates to table
9.371 * [progress]: [Phase 3 of 3] Extracting.
9.371 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t) (+ x (* (- y x) (/ z t))))> #<alt (λ (x y z t) (+ x (/ (- y x) (/ t z))))> #<alt (λ (x y z t) (+ x (- (* (/ y t) z) (/ z (/ t x)))))> #<alt (λ (x y z t) (+ x (/ (* (- y x) z) t)))>)
9.372 * * * [regime-changes]: Trying 5 branch expressions: ((+ x (/ (* (- y x) z) t)) t z y x)
9.372 * * * * [regimes]: Trying to branch on (+ x (/ (* (- y x) z) t)) from (#<alt (λ (x y z t) (+ x (* (- y x) (/ z t))))> #<alt (λ (x y z t) (+ x (/ (- y x) (/ t z))))> #<alt (λ (x y z t) (+ x (- (* (/ y t) z) (/ z (/ t x)))))> #<alt (λ (x y z t) (+ x (/ (* (- y x) z) t)))>)
9.433 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t) (+ x (* (- y x) (/ z t))))> #<alt (λ (x y z t) (+ x (/ (- y x) (/ t z))))> #<alt (λ (x y z t) (+ x (- (* (/ y t) z) (/ z (/ t x)))))> #<alt (λ (x y z t) (+ x (/ (* (- y x) z) t)))>)
9.521 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t) (+ x (* (- y x) (/ z t))))> #<alt (λ (x y z t) (+ x (/ (- y x) (/ t z))))> #<alt (λ (x y z t) (+ x (- (* (/ y t) z) (/ z (/ t x)))))> #<alt (λ (x y z t) (+ x (/ (* (- y x) z) t)))>)
9.584 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t) (+ x (* (- y x) (/ z t))))> #<alt (λ (x y z t) (+ x (/ (- y x) (/ t z))))> #<alt (λ (x y z t) (+ x (- (* (/ y t) z) (/ z (/ t x)))))> #<alt (λ (x y z t) (+ x (/ (* (- y x) z) t)))>)
9.666 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t) (+ x (* (- y x) (/ z t))))> #<alt (λ (x y z t) (+ x (/ (- y x) (/ t z))))> #<alt (λ (x y z t) (+ x (- (* (/ y t) z) (/ z (/ t x)))))> #<alt (λ (x y z t) (+ x (/ (* (- y x) z) t)))>)
9.746 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
9.746 * [simplify]: Simplifying:
  (+ x (* (- y x) (/ z t)))
9.746 * * [simplify]: iteration 0: 8 enodes
9.746 * * [simplify]: iteration 1: 10 enodes
9.747 * * [simplify]: iteration complete: 10 enodes
9.747 * * [simplify]: Extracting #0: cost 1 inf + 0
9.747 * * [simplify]: Extracting #1: cost 3 inf + 0
9.747 * * [simplify]: Extracting #2: cost 4 inf + 1
9.747 * * [simplify]: Extracting #3: cost 7 inf + 1
9.747 * * [simplify]: Extracting #4: cost 0 inf + 26
9.747 * [simplify]: Simplified to:
  (+ x (* (- y x) (/ z t)))
11.580 * [regime-testing]: Baseline error score: 2.0257403662176707
11.582 * [regime-testing]: Oracle error score: 0.01705956139750435
11.586 * [regime-testing]: End program error score: 2.0257403662176707
11.692 * [regime-testing]: Target error score: 2.1382125511013177