16.370 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.053 * * * [progress]: [2/2] Setting up program.
0.059 * [progress]: [Phase 2 of 3] Improving.
0.059 * [simplify]: Simplifying:
  (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))
0.060 * * [simplify]: Extracting # 0 : cost  0
0.060 * * [simplify]: Extracting # 1 : cost  0
0.060 * * [simplify]: Extracting # 2 : cost  0
0.060 * * [simplify]: Extracting # 3 : cost  0
0.060 * * [simplify]: Extracting # 4 : cost  0
0.060 * * [simplify]: Extracting # 5 : cost  0
0.060 * * [simplify]: Extracting # 6 : cost  0
0.060 * * [simplify]: Extracting # 7 : cost  0
0.060 * * [simplify]: iteration  0 :  16  enodes  (cost  21 )
0.065 * * [simplify]: Extracting # 0 : cost  0
0.065 * * [simplify]: Extracting # 1 : cost  0
0.065 * * [simplify]: Extracting # 2 : cost  0
0.065 * * [simplify]: iteration  1 :  33  enodes  (cost  20 )
0.077 * * [simplify]: Extracting # 0 : cost  0
0.077 * * [simplify]: Extracting # 1 : cost  0
0.078 * * [simplify]: Extracting # 2 : cost  0
0.078 * * [simplify]: iteration  2 :  79  enodes  (cost  20 )
0.123 * * [simplify]: Extracting # 0 : cost  0
0.123 * * [simplify]: Extracting # 1 : cost  0
0.123 * * [simplify]: Extracting # 2 : cost  0
0.123 * * [simplify]: iteration  3 :  201  enodes  (cost  20 )
0.204 * * [simplify]: Extracting # 0 : cost  0
0.205 * * [simplify]: Extracting # 1 : cost  0
0.206 * * [simplify]: Extracting # 2 : cost  0
0.207 * * [simplify]: Extracting # 3 : cost  0
0.208 * * [simplify]: iteration  4 :  405  enodes  (cost  19 )
0.474 * * [simplify]: Extracting # 0 : cost  0
0.475 * * [simplify]: Extracting # 1 : cost  0
0.477 * * [simplify]: Extracting # 2 : cost  0
0.478 * * [simplify]: Extracting # 3 : cost  0
0.480 * * [simplify]: iteration  5 :  766  enodes  (cost  19 )
1.170 * * [simplify]: Extracting # 0 : cost  0
1.172 * * [simplify]: Extracting # 1 : cost  0
1.173 * * [simplify]: Extracting # 2 : cost  0
1.174 * * [simplify]: Extracting # 3 : cost  0
1.176 * * [simplify]: Extracting # 4 : cost  0
1.177 * * [simplify]: iteration  6 :  1278  enodes  (cost  19 )
2.550 * * [simplify]: Extracting # 0 : cost  0
2.555 * * [simplify]: Extracting # 1 : cost  0
2.559 * * [simplify]: Extracting # 2 : cost  0
2.563 * * [simplify]: Extracting # 3 : cost  0
2.567 * * [simplify]: iteration  7 :  2257  enodes  (cost  19 )
6.438 * * [simplify]: Extracting # 0 : cost  0
6.448 * * [simplify]: Extracting # 1 : cost  0
6.451 * * [simplify]: Extracting # 2 : cost  0
6.454 * * [simplify]: iteration  8 :  4193  enodes  (cost  19 )
7.120 * * [simplify]: Extracting # 0 : cost  0
7.124 * * [simplify]: Extracting # 1 : cost  0
7.128 * * [simplify]: iteration done:  5000  enodes  (cost  19 )
7.128 * [simplify]: Simplified to:
  (/ (fma a (+ t y) (fma x z (* y (- z b)))) (+ (+ x t) y))
7.132 * * [progress]: iteration 1 / 4
7.132 * * * [progress]: picking best candidate
7.135 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (/ (fma a (+ t y) (fma x z (* y (- z b)))) (+ (+ x t) y)))>
7.135 * * * [progress]: localizing error
7.152 * * * [progress]: generating rewritten candidates
7.152 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
7.198 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
7.198 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 3)
7.198 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 3 3)
7.225 * * * [progress]: generating series expansions
7.225 * * * * [progress]: [ 1 / 4 ] generating series at (2)
7.226 * [backup-simplify]: Simplify (/ (fma a (+ t y) (fma x z (* y (- z b)))) (+ (+ x t) y)) into (/ (fma a (+ t y) (fma x z (* (- z b) y))) (+ t (+ x y)))
7.226 * [approximate]: Taking taylor expansion of (/ (fma a (+ t y) (fma x z (* (- z b) y))) (+ t (+ x y))) in (a t y x z b) around 0
7.226 * [taylor]: Taking taylor expansion of (/ (fma a (+ t y) (fma x z (* (- z b) y))) (+ t (+ x y))) in b
7.226 * [taylor]: Taking taylor expansion of (fma a (+ t y) (fma x z (* (- z b) y))) in b
7.226 * [taylor]: Rewrote expression to (+ (* a (+ t y)) (fma x z (* (- z b) y)))
7.226 * [taylor]: Taking taylor expansion of (* a (+ t y)) in b
7.226 * [taylor]: Taking taylor expansion of a in b
7.226 * [backup-simplify]: Simplify a into a
7.226 * [taylor]: Taking taylor expansion of (+ t y) in b
7.226 * [taylor]: Taking taylor expansion of t in b
7.226 * [backup-simplify]: Simplify t into t
7.226 * [taylor]: Taking taylor expansion of y in b
7.226 * [backup-simplify]: Simplify y into y
7.226 * [taylor]: Taking taylor expansion of (fma x z (* (- z b) y)) in b
7.226 * [taylor]: Rewrote expression to (+ (* x z) (* (- z b) y))
7.226 * [taylor]: Taking taylor expansion of (* x z) in b
7.226 * [taylor]: Taking taylor expansion of x in b
7.226 * [backup-simplify]: Simplify x into x
7.226 * [taylor]: Taking taylor expansion of z in b
7.226 * [backup-simplify]: Simplify z into z
7.226 * [taylor]: Taking taylor expansion of (* (- z b) y) in b
7.226 * [taylor]: Taking taylor expansion of (- z b) in b
7.226 * [taylor]: Taking taylor expansion of z in b
7.226 * [backup-simplify]: Simplify z into z
7.226 * [taylor]: Taking taylor expansion of b in b
7.226 * [backup-simplify]: Simplify 0 into 0
7.226 * [backup-simplify]: Simplify 1 into 1
7.226 * [taylor]: Taking taylor expansion of y in b
7.226 * [backup-simplify]: Simplify y into y
7.226 * [taylor]: Taking taylor expansion of (+ t (+ x y)) in b
7.226 * [taylor]: Taking taylor expansion of t in b
7.226 * [backup-simplify]: Simplify t into t
7.226 * [taylor]: Taking taylor expansion of (+ x y) in b
7.226 * [taylor]: Taking taylor expansion of x in b
7.226 * [backup-simplify]: Simplify x into x
7.226 * [taylor]: Taking taylor expansion of y in b
7.226 * [backup-simplify]: Simplify y into y
7.226 * [backup-simplify]: Simplify (+ t y) into (+ t y)
7.226 * [backup-simplify]: Simplify (* a (+ t y)) into (* a (+ t y))
7.226 * [backup-simplify]: Simplify (* x z) into (* x z)
7.227 * [backup-simplify]: Simplify (- 0) into 0
7.227 * [backup-simplify]: Simplify (+ z 0) into z
7.227 * [backup-simplify]: Simplify (* z y) into (* z y)
7.227 * [backup-simplify]: Simplify (+ (* x z) (* z y)) into (+ (* x z) (* z y))
7.227 * [backup-simplify]: Simplify (+ (* a (+ t y)) (+ (* x z) (* z y))) into (+ (* x z) (+ (* z y) (+ (* a t) (* a y))))
7.228 * [backup-simplify]: Simplify (+ x y) into (+ x y)
7.228 * [backup-simplify]: Simplify (+ t (+ x y)) into (+ t (+ x y))
7.228 * [backup-simplify]: Simplify (/ (+ (* x z) (+ (* z y) (+ (* a t) (* a y)))) (+ t (+ x y))) into (/ (+ (* x z) (+ (* z y) (+ (* a t) (* a y)))) (+ t (+ x y)))
7.228 * [taylor]: Taking taylor expansion of (/ (fma a (+ t y) (fma x z (* (- z b) y))) (+ t (+ x y))) in z
7.228 * [taylor]: Taking taylor expansion of (fma a (+ t y) (fma x z (* (- z b) y))) in z
7.228 * [taylor]: Rewrote expression to (+ (* a (+ t y)) (fma x z (* (- z b) y)))
7.228 * [taylor]: Taking taylor expansion of (* a (+ t y)) in z
7.228 * [taylor]: Taking taylor expansion of a in z
7.228 * [backup-simplify]: Simplify a into a
7.228 * [taylor]: Taking taylor expansion of (+ t y) in z
7.228 * [taylor]: Taking taylor expansion of t in z
7.228 * [backup-simplify]: Simplify t into t
7.228 * [taylor]: Taking taylor expansion of y in z
7.228 * [backup-simplify]: Simplify y into y
7.228 * [taylor]: Taking taylor expansion of (fma x z (* (- z b) y)) in z
7.228 * [taylor]: Rewrote expression to (+ (* x z) (* (- z b) y))
7.228 * [taylor]: Taking taylor expansion of (* x z) in z
7.228 * [taylor]: Taking taylor expansion of x in z
7.228 * [backup-simplify]: Simplify x into x
7.228 * [taylor]: Taking taylor expansion of z in z
7.228 * [backup-simplify]: Simplify 0 into 0
7.228 * [backup-simplify]: Simplify 1 into 1
7.228 * [taylor]: Taking taylor expansion of (* (- z b) y) in z
7.228 * [taylor]: Taking taylor expansion of (- z b) in z
7.228 * [taylor]: Taking taylor expansion of z in z
7.228 * [backup-simplify]: Simplify 0 into 0
7.228 * [backup-simplify]: Simplify 1 into 1
7.228 * [taylor]: Taking taylor expansion of b in z
7.228 * [backup-simplify]: Simplify b into b
7.228 * [taylor]: Taking taylor expansion of y in z
7.229 * [backup-simplify]: Simplify y into y
7.229 * [taylor]: Taking taylor expansion of (+ t (+ x y)) in z
7.229 * [taylor]: Taking taylor expansion of t in z
7.229 * [backup-simplify]: Simplify t into t
7.229 * [taylor]: Taking taylor expansion of (+ x y) in z
7.229 * [taylor]: Taking taylor expansion of x in z
7.229 * [backup-simplify]: Simplify x into x
7.229 * [taylor]: Taking taylor expansion of y in z
7.229 * [backup-simplify]: Simplify y into y
7.229 * [backup-simplify]: Simplify (+ t y) into (+ t y)
7.229 * [backup-simplify]: Simplify (* a (+ t y)) into (* a (+ t y))
7.229 * [backup-simplify]: Simplify (* x 0) into 0
7.229 * [backup-simplify]: Simplify (- b) into (- b)
7.229 * [backup-simplify]: Simplify (+ 0 (- b)) into (- b)
7.229 * [backup-simplify]: Simplify (* (- b) y) into (* -1 (* y b))
7.229 * [backup-simplify]: Simplify (+ 0 (* -1 (* y b))) into (- (* y b))
7.229 * [backup-simplify]: Simplify (+ (* a (+ t y)) (- (* y b))) into (- (+ (* a t) (* a y)) (* y b))
7.229 * [backup-simplify]: Simplify (+ x y) into (+ x y)
7.229 * [backup-simplify]: Simplify (+ t (+ x y)) into (+ t (+ x y))
7.229 * [backup-simplify]: Simplify (/ (- (+ (* a t) (* a y)) (* y b)) (+ t (+ x y))) into (/ (- (+ (* a t) (* a y)) (* y b)) (+ t (+ x y)))
7.229 * [taylor]: Taking taylor expansion of (/ (fma a (+ t y) (fma x z (* (- z b) y))) (+ t (+ x y))) in x
7.229 * [taylor]: Taking taylor expansion of (fma a (+ t y) (fma x z (* (- z b) y))) in x
7.230 * [taylor]: Rewrote expression to (+ (* a (+ t y)) (fma x z (* (- z b) y)))
7.230 * [taylor]: Taking taylor expansion of (* a (+ t y)) in x
7.230 * [taylor]: Taking taylor expansion of a in x
7.230 * [backup-simplify]: Simplify a into a
7.230 * [taylor]: Taking taylor expansion of (+ t y) in x
7.230 * [taylor]: Taking taylor expansion of t in x
7.230 * [backup-simplify]: Simplify t into t
7.230 * [taylor]: Taking taylor expansion of y in x
7.230 * [backup-simplify]: Simplify y into y
7.230 * [taylor]: Taking taylor expansion of (fma x z (* (- z b) y)) in x
7.230 * [taylor]: Rewrote expression to (+ (* x z) (* (- z b) y))
7.230 * [taylor]: Taking taylor expansion of (* x z) in x
7.230 * [taylor]: Taking taylor expansion of x in x
7.230 * [backup-simplify]: Simplify 0 into 0
7.230 * [backup-simplify]: Simplify 1 into 1
7.230 * [taylor]: Taking taylor expansion of z in x
7.230 * [backup-simplify]: Simplify z into z
7.230 * [taylor]: Taking taylor expansion of (* (- z b) y) in x
7.230 * [taylor]: Taking taylor expansion of (- z b) in x
7.230 * [taylor]: Taking taylor expansion of z in x
7.230 * [backup-simplify]: Simplify z into z
7.230 * [taylor]: Taking taylor expansion of b in x
7.230 * [backup-simplify]: Simplify b into b
7.230 * [taylor]: Taking taylor expansion of y in x
7.230 * [backup-simplify]: Simplify y into y
7.230 * [taylor]: Taking taylor expansion of (+ t (+ x y)) in x
7.230 * [taylor]: Taking taylor expansion of t in x
7.230 * [backup-simplify]: Simplify t into t
7.230 * [taylor]: Taking taylor expansion of (+ x y) in x
7.230 * [taylor]: Taking taylor expansion of x in x
7.230 * [backup-simplify]: Simplify 0 into 0
7.230 * [backup-simplify]: Simplify 1 into 1
7.230 * [taylor]: Taking taylor expansion of y in x
7.230 * [backup-simplify]: Simplify y into y
7.231 * [backup-simplify]: Simplify (+ t y) into (+ t y)
7.231 * [backup-simplify]: Simplify (* a (+ t y)) into (* a (+ t y))
7.231 * [backup-simplify]: Simplify (* 0 z) into 0
7.231 * [backup-simplify]: Simplify (- b) into (- b)
7.231 * [backup-simplify]: Simplify (+ z (- b)) into (- z b)
7.231 * [backup-simplify]: Simplify (* (- z b) y) into (* (- z b) y)
7.231 * [backup-simplify]: Simplify (+ 0 (* (- z b) y)) into (- (* z y) (* y b))
7.231 * [backup-simplify]: Simplify (+ (* a (+ t y)) (- (* z y) (* y b))) into (- (+ (* z y) (+ (* a t) (* a y))) (* y b))
7.231 * [backup-simplify]: Simplify (+ 0 y) into y
7.231 * [backup-simplify]: Simplify (+ t y) into (+ t y)
7.231 * [backup-simplify]: Simplify (/ (- (+ (* z y) (+ (* a t) (* a y))) (* y b)) (+ t y)) into (/ (- (+ (* z y) (+ (* a t) (* a y))) (* y b)) (+ t y))
7.231 * [taylor]: Taking taylor expansion of (/ (fma a (+ t y) (fma x z (* (- z b) y))) (+ t (+ x y))) in y
7.231 * [taylor]: Taking taylor expansion of (fma a (+ t y) (fma x z (* (- z b) y))) in y
7.232 * [taylor]: Rewrote expression to (+ (* a (+ t y)) (fma x z (* (- z b) y)))
7.232 * [taylor]: Taking taylor expansion of (* a (+ t y)) in y
7.232 * [taylor]: Taking taylor expansion of a in y
7.232 * [backup-simplify]: Simplify a into a
7.232 * [taylor]: Taking taylor expansion of (+ t y) in y
7.232 * [taylor]: Taking taylor expansion of t in y
7.232 * [backup-simplify]: Simplify t into t
7.232 * [taylor]: Taking taylor expansion of y in y
7.232 * [backup-simplify]: Simplify 0 into 0
7.232 * [backup-simplify]: Simplify 1 into 1
7.232 * [taylor]: Taking taylor expansion of (fma x z (* (- z b) y)) in y
7.232 * [taylor]: Rewrote expression to (+ (* x z) (* (- z b) y))
7.232 * [taylor]: Taking taylor expansion of (* x z) in y
7.232 * [taylor]: Taking taylor expansion of x in y
7.232 * [backup-simplify]: Simplify x into x
7.232 * [taylor]: Taking taylor expansion of z in y
7.232 * [backup-simplify]: Simplify z into z
7.232 * [taylor]: Taking taylor expansion of (* (- z b) y) in y
7.232 * [taylor]: Taking taylor expansion of (- z b) in y
7.232 * [taylor]: Taking taylor expansion of z in y
7.232 * [backup-simplify]: Simplify z into z
7.232 * [taylor]: Taking taylor expansion of b in y
7.232 * [backup-simplify]: Simplify b into b
7.232 * [taylor]: Taking taylor expansion of y in y
7.232 * [backup-simplify]: Simplify 0 into 0
7.232 * [backup-simplify]: Simplify 1 into 1
7.232 * [taylor]: Taking taylor expansion of (+ t (+ x y)) in y
7.232 * [taylor]: Taking taylor expansion of t in y
7.232 * [backup-simplify]: Simplify t into t
7.232 * [taylor]: Taking taylor expansion of (+ x y) in y
7.232 * [taylor]: Taking taylor expansion of x in y
7.232 * [backup-simplify]: Simplify x into x
7.232 * [taylor]: Taking taylor expansion of y in y
7.232 * [backup-simplify]: Simplify 0 into 0
7.232 * [backup-simplify]: Simplify 1 into 1
7.232 * [backup-simplify]: Simplify (+ t 0) into t
7.232 * [backup-simplify]: Simplify (* a t) into (* a t)
7.232 * [backup-simplify]: Simplify (* x z) into (* x z)
7.232 * [backup-simplify]: Simplify (- b) into (- b)
7.232 * [backup-simplify]: Simplify (+ z (- b)) into (- z b)
7.232 * [backup-simplify]: Simplify (* (- z b) 0) into 0
7.232 * [backup-simplify]: Simplify (+ (* x z) 0) into (* x z)
7.232 * [backup-simplify]: Simplify (+ (* a t) (* x z)) into (+ (* x z) (* a t))
7.233 * [backup-simplify]: Simplify (+ x 0) into x
7.233 * [backup-simplify]: Simplify (+ t x) into (+ t x)
7.233 * [backup-simplify]: Simplify (/ (+ (* x z) (* a t)) (+ t x)) into (/ (+ (* x z) (* a t)) (+ t x))
7.233 * [taylor]: Taking taylor expansion of (/ (fma a (+ t y) (fma x z (* (- z b) y))) (+ t (+ x y))) in t
7.233 * [taylor]: Taking taylor expansion of (fma a (+ t y) (fma x z (* (- z b) y))) in t
7.233 * [taylor]: Rewrote expression to (+ (* a (+ t y)) (fma x z (* (- z b) y)))
7.233 * [taylor]: Taking taylor expansion of (* a (+ t y)) in t
7.233 * [taylor]: Taking taylor expansion of a in t
7.233 * [backup-simplify]: Simplify a into a
7.233 * [taylor]: Taking taylor expansion of (+ t y) in t
7.233 * [taylor]: Taking taylor expansion of t in t
7.233 * [backup-simplify]: Simplify 0 into 0
7.233 * [backup-simplify]: Simplify 1 into 1
7.233 * [taylor]: Taking taylor expansion of y in t
7.233 * [backup-simplify]: Simplify y into y
7.233 * [taylor]: Taking taylor expansion of (fma x z (* (- z b) y)) in t
7.233 * [taylor]: Rewrote expression to (+ (* x z) (* (- z b) y))
7.233 * [taylor]: Taking taylor expansion of (* x z) in t
7.233 * [taylor]: Taking taylor expansion of x in t
7.233 * [backup-simplify]: Simplify x into x
7.233 * [taylor]: Taking taylor expansion of z in t
7.233 * [backup-simplify]: Simplify z into z
7.233 * [taylor]: Taking taylor expansion of (* (- z b) y) in t
7.233 * [taylor]: Taking taylor expansion of (- z b) in t
7.233 * [taylor]: Taking taylor expansion of z in t
7.233 * [backup-simplify]: Simplify z into z
7.233 * [taylor]: Taking taylor expansion of b in t
7.233 * [backup-simplify]: Simplify b into b
7.233 * [taylor]: Taking taylor expansion of y in t
7.233 * [backup-simplify]: Simplify y into y
7.233 * [taylor]: Taking taylor expansion of (+ t (+ x y)) in t
7.233 * [taylor]: Taking taylor expansion of t in t
7.233 * [backup-simplify]: Simplify 0 into 0
7.233 * [backup-simplify]: Simplify 1 into 1
7.233 * [taylor]: Taking taylor expansion of (+ x y) in t
7.233 * [taylor]: Taking taylor expansion of x in t
7.233 * [backup-simplify]: Simplify x into x
7.233 * [taylor]: Taking taylor expansion of y in t
7.233 * [backup-simplify]: Simplify y into y
7.233 * [backup-simplify]: Simplify (+ 0 y) into y
7.233 * [backup-simplify]: Simplify (* a y) into (* a y)
7.234 * [backup-simplify]: Simplify (* x z) into (* x z)
7.234 * [backup-simplify]: Simplify (- b) into (- b)
7.234 * [backup-simplify]: Simplify (+ z (- b)) into (- z b)
7.234 * [backup-simplify]: Simplify (* (- z b) y) into (* (- z b) y)
7.234 * [backup-simplify]: Simplify (+ (* x z) (* (- z b) y)) into (- (+ (* x z) (* z y)) (* y b))
7.234 * [backup-simplify]: Simplify (+ (* a y) (- (+ (* x z) (* z y)) (* y b))) into (- (+ (* x z) (+ (* z y) (* a y))) (* y b))
7.234 * [backup-simplify]: Simplify (+ x y) into (+ x y)
7.234 * [backup-simplify]: Simplify (+ 0 (+ x y)) into (+ x y)
7.234 * [backup-simplify]: Simplify (/ (- (+ (* x z) (+ (* z y) (* a y))) (* y b)) (+ x y)) into (/ (- (+ (* x z) (+ (* z y) (* a y))) (* y b)) (+ x y))
7.234 * [taylor]: Taking taylor expansion of (/ (fma a (+ t y) (fma x z (* (- z b) y))) (+ t (+ x y))) in a
7.234 * [taylor]: Taking taylor expansion of (fma a (+ t y) (fma x z (* (- z b) y))) in a
7.234 * [taylor]: Rewrote expression to (+ (* a (+ t y)) (fma x z (* (- z b) y)))
7.234 * [taylor]: Taking taylor expansion of (* a (+ t y)) in a
7.234 * [taylor]: Taking taylor expansion of a in a
7.234 * [backup-simplify]: Simplify 0 into 0
7.234 * [backup-simplify]: Simplify 1 into 1
7.234 * [taylor]: Taking taylor expansion of (+ t y) in a
7.234 * [taylor]: Taking taylor expansion of t in a
7.235 * [backup-simplify]: Simplify t into t
7.235 * [taylor]: Taking taylor expansion of y in a
7.235 * [backup-simplify]: Simplify y into y
7.235 * [taylor]: Taking taylor expansion of (fma x z (* (- z b) y)) in a
7.235 * [taylor]: Rewrote expression to (+ (* x z) (* (- z b) y))
7.235 * [taylor]: Taking taylor expansion of (* x z) in a
7.235 * [taylor]: Taking taylor expansion of x in a
7.235 * [backup-simplify]: Simplify x into x
7.235 * [taylor]: Taking taylor expansion of z in a
7.235 * [backup-simplify]: Simplify z into z
7.238 * [taylor]: Taking taylor expansion of (* (- z b) y) in a
7.238 * [taylor]: Taking taylor expansion of (- z b) in a
7.238 * [taylor]: Taking taylor expansion of z in a
7.238 * [backup-simplify]: Simplify z into z
7.238 * [taylor]: Taking taylor expansion of b in a
7.238 * [backup-simplify]: Simplify b into b
7.238 * [taylor]: Taking taylor expansion of y in a
7.238 * [backup-simplify]: Simplify y into y
7.238 * [taylor]: Taking taylor expansion of (+ t (+ x y)) in a
7.238 * [taylor]: Taking taylor expansion of t in a
7.238 * [backup-simplify]: Simplify t into t
7.238 * [taylor]: Taking taylor expansion of (+ x y) in a
7.238 * [taylor]: Taking taylor expansion of x in a
7.238 * [backup-simplify]: Simplify x into x
7.238 * [taylor]: Taking taylor expansion of y in a
7.238 * [backup-simplify]: Simplify y into y
7.238 * [backup-simplify]: Simplify (+ t y) into (+ t y)
7.238 * [backup-simplify]: Simplify (* 0 (+ t y)) into 0
7.238 * [backup-simplify]: Simplify (* x z) into (* x z)
7.238 * [backup-simplify]: Simplify (- b) into (- b)
7.238 * [backup-simplify]: Simplify (+ z (- b)) into (- z b)
7.238 * [backup-simplify]: Simplify (* (- z b) y) into (* (- z b) y)
7.239 * [backup-simplify]: Simplify (+ (* x z) (* (- z b) y)) into (- (+ (* x z) (* z y)) (* y b))
7.239 * [backup-simplify]: Simplify (+ 0 (- (+ (* x z) (* z y)) (* y b))) into (- (+ (* x z) (* z y)) (* y b))
7.239 * [backup-simplify]: Simplify (+ x y) into (+ x y)
7.239 * [backup-simplify]: Simplify (+ t (+ x y)) into (+ t (+ x y))
7.239 * [backup-simplify]: Simplify (/ (- (+ (* x z) (* z y)) (* y b)) (+ t (+ x y))) into (/ (- (+ (* x z) (* z y)) (* y b)) (+ t (+ x y)))
7.239 * [taylor]: Taking taylor expansion of (/ (fma a (+ t y) (fma x z (* (- z b) y))) (+ t (+ x y))) in a
7.239 * [taylor]: Taking taylor expansion of (fma a (+ t y) (fma x z (* (- z b) y))) in a
7.239 * [taylor]: Rewrote expression to (+ (* a (+ t y)) (fma x z (* (- z b) y)))
7.239 * [taylor]: Taking taylor expansion of (* a (+ t y)) in a
7.239 * [taylor]: Taking taylor expansion of a in a
7.239 * [backup-simplify]: Simplify 0 into 0
7.239 * [backup-simplify]: Simplify 1 into 1
7.239 * [taylor]: Taking taylor expansion of (+ t y) in a
7.239 * [taylor]: Taking taylor expansion of t in a
7.239 * [backup-simplify]: Simplify t into t
7.239 * [taylor]: Taking taylor expansion of y in a
7.239 * [backup-simplify]: Simplify y into y
7.239 * [taylor]: Taking taylor expansion of (fma x z (* (- z b) y)) in a
7.239 * [taylor]: Rewrote expression to (+ (* x z) (* (- z b) y))
7.239 * [taylor]: Taking taylor expansion of (* x z) in a
7.239 * [taylor]: Taking taylor expansion of x in a
7.240 * [backup-simplify]: Simplify x into x
7.240 * [taylor]: Taking taylor expansion of z in a
7.240 * [backup-simplify]: Simplify z into z
7.240 * [taylor]: Taking taylor expansion of (* (- z b) y) in a
7.240 * [taylor]: Taking taylor expansion of (- z b) in a
7.240 * [taylor]: Taking taylor expansion of z in a
7.240 * [backup-simplify]: Simplify z into z
7.240 * [taylor]: Taking taylor expansion of b in a
7.240 * [backup-simplify]: Simplify b into b
7.240 * [taylor]: Taking taylor expansion of y in a
7.240 * [backup-simplify]: Simplify y into y
7.240 * [taylor]: Taking taylor expansion of (+ t (+ x y)) in a
7.240 * [taylor]: Taking taylor expansion of t in a
7.240 * [backup-simplify]: Simplify t into t
7.240 * [taylor]: Taking taylor expansion of (+ x y) in a
7.240 * [taylor]: Taking taylor expansion of x in a
7.240 * [backup-simplify]: Simplify x into x
7.240 * [taylor]: Taking taylor expansion of y in a
7.240 * [backup-simplify]: Simplify y into y
7.240 * [backup-simplify]: Simplify (+ t y) into (+ t y)
7.240 * [backup-simplify]: Simplify (* 0 (+ t y)) into 0
7.240 * [backup-simplify]: Simplify (* x z) into (* x z)
7.240 * [backup-simplify]: Simplify (- b) into (- b)
7.240 * [backup-simplify]: Simplify (+ z (- b)) into (- z b)
7.240 * [backup-simplify]: Simplify (* (- z b) y) into (* (- z b) y)
7.240 * [backup-simplify]: Simplify (+ (* x z) (* (- z b) y)) into (- (+ (* x z) (* z y)) (* y b))
7.240 * [backup-simplify]: Simplify (+ 0 (- (+ (* x z) (* z y)) (* y b))) into (- (+ (* x z) (* z y)) (* y b))
7.240 * [backup-simplify]: Simplify (+ x y) into (+ x y)
7.240 * [backup-simplify]: Simplify (+ t (+ x y)) into (+ t (+ x y))
7.241 * [backup-simplify]: Simplify (/ (- (+ (* x z) (* z y)) (* y b)) (+ t (+ x y))) into (/ (- (+ (* x z) (* z y)) (* y b)) (+ t (+ x y)))
7.241 * [taylor]: Taking taylor expansion of (/ (- (+ (* x z) (* z y)) (* y b)) (+ t (+ x y))) in t
7.241 * [taylor]: Taking taylor expansion of (- (+ (* x z) (* z y)) (* y b)) in t
7.241 * [taylor]: Taking taylor expansion of (+ (* x z) (* z y)) in t
7.241 * [taylor]: Taking taylor expansion of (* x z) in t
7.241 * [taylor]: Taking taylor expansion of x in t
7.241 * [backup-simplify]: Simplify x into x
7.241 * [taylor]: Taking taylor expansion of z in t
7.241 * [backup-simplify]: Simplify z into z
7.241 * [taylor]: Taking taylor expansion of (* z y) in t
7.241 * [taylor]: Taking taylor expansion of z in t
7.241 * [backup-simplify]: Simplify z into z
7.241 * [taylor]: Taking taylor expansion of y in t
7.241 * [backup-simplify]: Simplify y into y
7.241 * [taylor]: Taking taylor expansion of (* y b) in t
7.241 * [taylor]: Taking taylor expansion of y in t
7.241 * [backup-simplify]: Simplify y into y
7.241 * [taylor]: Taking taylor expansion of b in t
7.241 * [backup-simplify]: Simplify b into b
7.241 * [taylor]: Taking taylor expansion of (+ t (+ x y)) in t
7.241 * [taylor]: Taking taylor expansion of t in t
7.241 * [backup-simplify]: Simplify 0 into 0
7.241 * [backup-simplify]: Simplify 1 into 1
7.241 * [taylor]: Taking taylor expansion of (+ x y) in t
7.241 * [taylor]: Taking taylor expansion of x in t
7.241 * [backup-simplify]: Simplify x into x
7.241 * [taylor]: Taking taylor expansion of y in t
7.241 * [backup-simplify]: Simplify y into y
7.241 * [backup-simplify]: Simplify (* x z) into (* x z)
7.241 * [backup-simplify]: Simplify (* z y) into (* z y)
7.241 * [backup-simplify]: Simplify (+ (* x z) (* z y)) into (+ (* x z) (* z y))
7.241 * [backup-simplify]: Simplify (* y b) into (* y b)
7.241 * [backup-simplify]: Simplify (- (* y b)) into (- (* y b))
7.241 * [backup-simplify]: Simplify (+ (+ (* x z) (* z y)) (- (* y b))) into (- (+ (* x z) (* z y)) (* y b))
7.241 * [backup-simplify]: Simplify (+ x y) into (+ x y)
7.242 * [backup-simplify]: Simplify (+ 0 (+ x y)) into (+ x y)
7.242 * [backup-simplify]: Simplify (/ (- (+ (* x z) (* z y)) (* y b)) (+ x y)) into (/ (- (+ (* x z) (* z y)) (* y b)) (+ x y))
7.242 * [taylor]: Taking taylor expansion of (/ (- (+ (* x z) (* z y)) (* y b)) (+ x y)) in y
7.242 * [taylor]: Taking taylor expansion of (- (+ (* x z) (* z y)) (* y b)) in y
7.242 * [taylor]: Taking taylor expansion of (+ (* x z) (* z y)) in y
7.242 * [taylor]: Taking taylor expansion of (* x z) in y
7.242 * [taylor]: Taking taylor expansion of x in y
7.242 * [backup-simplify]: Simplify x into x
7.242 * [taylor]: Taking taylor expansion of z in y
7.242 * [backup-simplify]: Simplify z into z
7.242 * [taylor]: Taking taylor expansion of (* z y) in y
7.242 * [taylor]: Taking taylor expansion of z in y
7.242 * [backup-simplify]: Simplify z into z
7.242 * [taylor]: Taking taylor expansion of y in y
7.242 * [backup-simplify]: Simplify 0 into 0
7.242 * [backup-simplify]: Simplify 1 into 1
7.242 * [taylor]: Taking taylor expansion of (* y b) in y
7.242 * [taylor]: Taking taylor expansion of y in y
7.242 * [backup-simplify]: Simplify 0 into 0
7.242 * [backup-simplify]: Simplify 1 into 1
7.242 * [taylor]: Taking taylor expansion of b in y
7.242 * [backup-simplify]: Simplify b into b
7.242 * [taylor]: Taking taylor expansion of (+ x y) in y
7.242 * [taylor]: Taking taylor expansion of x in y
7.242 * [backup-simplify]: Simplify x into x
7.242 * [taylor]: Taking taylor expansion of y in y
7.242 * [backup-simplify]: Simplify 0 into 0
7.242 * [backup-simplify]: Simplify 1 into 1
7.242 * [backup-simplify]: Simplify (* x z) into (* x z)
7.242 * [backup-simplify]: Simplify (* z 0) into 0
7.242 * [backup-simplify]: Simplify (+ (* x z) 0) into (* x z)
7.242 * [backup-simplify]: Simplify (* 0 b) into 0
7.243 * [backup-simplify]: Simplify (- 0) into 0
7.243 * [backup-simplify]: Simplify (+ (* x z) 0) into (* x z)
7.243 * [backup-simplify]: Simplify (+ x 0) into x
7.243 * [backup-simplify]: Simplify (/ (* x z) x) into z
7.243 * [taylor]: Taking taylor expansion of z in x
7.243 * [backup-simplify]: Simplify z into z
7.243 * [taylor]: Taking taylor expansion of z in z
7.243 * [backup-simplify]: Simplify 0 into 0
7.243 * [backup-simplify]: Simplify 1 into 1
7.243 * [taylor]: Taking taylor expansion of 0 in b
7.243 * [backup-simplify]: Simplify 0 into 0
7.243 * [backup-simplify]: Simplify 0 into 0
7.243 * [backup-simplify]: Simplify (+ 0 0) into 0
7.244 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (+ t y))) into (+ t y)
7.244 * [backup-simplify]: Simplify (+ (* x 0) (* 0 z)) into 0
7.244 * [backup-simplify]: Simplify (- 0) into 0
7.244 * [backup-simplify]: Simplify (+ 0 0) into 0
7.244 * [backup-simplify]: Simplify (+ (* (- z b) 0) (* 0 y)) into 0
7.245 * [backup-simplify]: Simplify (+ 0 0) into 0
7.245 * [backup-simplify]: Simplify (+ (+ t y) 0) into (+ t y)
7.245 * [backup-simplify]: Simplify (+ 0 0) into 0
7.245 * [backup-simplify]: Simplify (+ 0 0) into 0
7.246 * [backup-simplify]: Simplify (- (/ (+ t y) (+ t (+ x y))) (+ (* (/ (- (+ (* x z) (* z y)) (* y b)) (+ t (+ x y))) (/ 0 (+ t (+ x y)))))) into (+ (/ y (+ t (+ x y))) (/ t (+ t (+ x y))))
7.246 * [taylor]: Taking taylor expansion of (+ (/ y (+ t (+ x y))) (/ t (+ t (+ x y)))) in t
7.246 * [taylor]: Taking taylor expansion of (/ y (+ t (+ x y))) in t
7.246 * [taylor]: Taking taylor expansion of y in t
7.246 * [backup-simplify]: Simplify y into y
7.246 * [taylor]: Taking taylor expansion of (+ t (+ x y)) in t
7.246 * [taylor]: Taking taylor expansion of t in t
7.246 * [backup-simplify]: Simplify 0 into 0
7.246 * [backup-simplify]: Simplify 1 into 1
7.246 * [taylor]: Taking taylor expansion of (+ x y) in t
7.246 * [taylor]: Taking taylor expansion of x in t
7.246 * [backup-simplify]: Simplify x into x
7.246 * [taylor]: Taking taylor expansion of y in t
7.246 * [backup-simplify]: Simplify y into y
7.246 * [backup-simplify]: Simplify (+ x y) into (+ x y)
7.246 * [backup-simplify]: Simplify (+ 0 (+ x y)) into (+ x y)
7.246 * [backup-simplify]: Simplify (/ y (+ x y)) into (/ y (+ x y))
7.246 * [taylor]: Taking taylor expansion of (/ t (+ t (+ x y))) in t
7.246 * [taylor]: Taking taylor expansion of t in t
7.246 * [backup-simplify]: Simplify 0 into 0
7.246 * [backup-simplify]: Simplify 1 into 1
7.246 * [taylor]: Taking taylor expansion of (+ t (+ x y)) in t
7.246 * [taylor]: Taking taylor expansion of t in t
7.246 * [backup-simplify]: Simplify 0 into 0
7.246 * [backup-simplify]: Simplify 1 into 1
7.246 * [taylor]: Taking taylor expansion of (+ x y) in t
7.246 * [taylor]: Taking taylor expansion of x in t
7.246 * [backup-simplify]: Simplify x into x
7.246 * [taylor]: Taking taylor expansion of y in t
7.246 * [backup-simplify]: Simplify y into y
7.246 * [backup-simplify]: Simplify (+ x y) into (+ x y)
7.246 * [backup-simplify]: Simplify (+ 0 (+ x y)) into (+ x y)
7.246 * [backup-simplify]: Simplify (/ 1 (+ x y)) into (/ 1 (+ x y))
7.246 * [backup-simplify]: Simplify (+ (/ y (+ x y)) 0) into (/ y (+ x y))
7.246 * [taylor]: Taking taylor expansion of (/ y (+ x y)) in y
7.246 * [taylor]: Taking taylor expansion of y in y
7.246 * [backup-simplify]: Simplify 0 into 0
7.246 * [backup-simplify]: Simplify 1 into 1
7.246 * [taylor]: Taking taylor expansion of (+ x y) in y
7.246 * [taylor]: Taking taylor expansion of x in y
7.246 * [backup-simplify]: Simplify x into x
7.246 * [taylor]: Taking taylor expansion of y in y
7.246 * [backup-simplify]: Simplify 0 into 0
7.246 * [backup-simplify]: Simplify 1 into 1
7.246 * [backup-simplify]: Simplify (+ x 0) into x
7.247 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.247 * [backup-simplify]: Simplify (+ (* x 0) (* 0 z)) into 0
7.247 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
7.247 * [backup-simplify]: Simplify (+ 0 0) into 0
7.247 * [backup-simplify]: Simplify (+ (* y 0) (* 0 b)) into 0
7.247 * [backup-simplify]: Simplify (- 0) into 0
7.248 * [backup-simplify]: Simplify (+ 0 0) into 0
7.248 * [backup-simplify]: Simplify (+ 0 0) into 0
7.248 * [backup-simplify]: Simplify (+ 1 0) into 1
7.249 * [backup-simplify]: Simplify (- (/ 0 (+ x y)) (+ (* (/ (- (+ (* x z) (* z y)) (* y b)) (+ x y)) (/ 1 (+ x y))))) into (- (/ (* y b) (pow (+ x y) 2)) (+ (/ (* x z) (pow (+ x y) 2)) (/ (* z y) (pow (+ x y) 2))))
7.249 * [taylor]: Taking taylor expansion of (- (/ (* y b) (pow (+ x y) 2)) (+ (/ (* x z) (pow (+ x y) 2)) (/ (* z y) (pow (+ x y) 2)))) in y
7.249 * [taylor]: Taking taylor expansion of (/ (* y b) (pow (+ x y) 2)) in y
7.249 * [taylor]: Taking taylor expansion of (* y b) in y
7.249 * [taylor]: Taking taylor expansion of y in y
7.249 * [backup-simplify]: Simplify 0 into 0
7.249 * [backup-simplify]: Simplify 1 into 1
7.249 * [taylor]: Taking taylor expansion of b in y
7.249 * [backup-simplify]: Simplify b into b
7.249 * [taylor]: Taking taylor expansion of (pow (+ x y) 2) in y
7.249 * [taylor]: Taking taylor expansion of (+ x y) in y
7.249 * [taylor]: Taking taylor expansion of x in y
7.249 * [backup-simplify]: Simplify x into x
7.249 * [taylor]: Taking taylor expansion of y in y
7.249 * [backup-simplify]: Simplify 0 into 0
7.249 * [backup-simplify]: Simplify 1 into 1
7.249 * [backup-simplify]: Simplify (+ x 0) into x
7.249 * [backup-simplify]: Simplify (* 0 b) into 0
7.249 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b