1.787 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.044 * * * [progress]: [2/2] Setting up program.
0.048 * [progress]: [Phase 2 of 3] Improving.
0.049 * [simplify]: Simplifying:
  (- x (/ (- y z) (/ (+ (- t z) 1.0) a)))
0.049 * * [simplify]: Extracting # 0 : cost  0
0.049 * * [simplify]: Extracting # 1 : cost  0
0.049 * * [simplify]: Extracting # 2 : cost  0
0.049 * * [simplify]: Extracting # 3 : cost  0
0.049 * * [simplify]: Extracting # 4 : cost  0
0.049 * * [simplify]: Extracting # 5 : cost  0
0.049 * * [simplify]: Extracting # 6 : cost  0
0.049 * * [simplify]: iteration  0 :  12  enodes  (cost  13 )
0.052 * * [simplify]: Extracting # 0 : cost  0
0.052 * * [simplify]: Extracting # 1 : cost  0
0.052 * * [simplify]: Extracting # 2 : cost  0
0.053 * * [simplify]: iteration  1 :  25  enodes  (cost  13 )
0.061 * * [simplify]: Extracting # 0 : cost  0
0.061 * * [simplify]: Extracting # 1 : cost  0
0.061 * * [simplify]: Extracting # 2 : cost  0
0.061 * * [simplify]: iteration  2 :  58  enodes  (cost  13 )
0.095 * * [simplify]: Extracting # 0 : cost  0
0.096 * * [simplify]: Extracting # 1 : cost  0
0.096 * * [simplify]: Extracting # 2 : cost  0
0.096 * * [simplify]: iteration  3 :  108  enodes  (cost  13 )
0.143 * * [simplify]: Extracting # 0 : cost  0
0.143 * * [simplify]: Extracting # 1 : cost  0
0.144 * * [simplify]: Extracting # 2 : cost  0
0.144 * * [simplify]: Extracting # 3 : cost  0
0.144 * * [simplify]: iteration  4 :  187  enodes  (cost  12 )
0.256 * * [simplify]: Extracting # 0 : cost  0
0.256 * * [simplify]: Extracting # 1 : cost  0
0.257 * * [simplify]: Extracting # 2 : cost  0
0.257 * * [simplify]: iteration  5 :  305  enodes  (cost  12 )
0.354 * * [simplify]: Extracting # 0 : cost  0
0.354 * * [simplify]: Extracting # 1 : cost  0
0.355 * * [simplify]: Extracting # 2 : cost  0
0.356 * * [simplify]: iteration  6 :  478  enodes  (cost  12 )
0.528 * * [simplify]: Extracting # 0 : cost  0
0.529 * * [simplify]: Extracting # 1 : cost  0
0.529 * * [simplify]: Extracting # 2 : cost  0
0.530 * * [simplify]: iteration  7 :  702  enodes  (cost  12 )
0.822 * * [simplify]: Extracting # 0 : cost  0
0.823 * * [simplify]: Extracting # 1 : cost  0
0.824 * * [simplify]: Extracting # 2 : cost  0
0.825 * * [simplify]: iteration  8 :  1002  enodes  (cost  12 )
1.241 * * [simplify]: Extracting # 0 : cost  0
1.244 * * [simplify]: Extracting # 1 : cost  0
1.246 * * [simplify]: Extracting # 2 : cost  0
1.248 * * [simplify]: iteration  9 :  1286  enodes  (cost  12 )
1.818 * * [simplify]: Extracting # 0 : cost  0
1.820 * * [simplify]: Extracting # 1 : cost  0
1.822 * * [simplify]: Extracting # 2 : cost  0
1.824 * * [simplify]: iteration  10 :  1422  enodes  (cost  12 )
2.385 * * [simplify]: Extracting # 0 : cost  0
2.386 * * [simplify]: Extracting # 1 : cost  0
2.390 * * [simplify]: Extracting # 2 : cost  0
2.391 * * [simplify]: iteration  11 :  1461  enodes  (cost  12 )
2.836 * * [simplify]: Extracting # 0 : cost  0
2.839 * * [simplify]: Extracting # 1 : cost  0
2.841 * * [simplify]: iteration  12 :  1466  enodes  (cost  12 )
3.344 * * [simplify]: Extracting # 0 : cost  0
3.346 * * [simplify]: iteration done:  1466  enodes  (cost  12 )
3.346 * [simplify]: Simplified to:
  (fma a (/ (- z y) (+ (- t z) 1.0)) x)
3.353 * * [progress]: iteration 1 / 4
3.353 * * * [progress]: picking best candidate
3.361 * * * * [pick]: Picked  #<alt (λ (x y z t a) (fma a (/ (- z y) (+ (- t z) 1.0)) x))>
3.361 * * * [progress]: localizing error
3.383 * * * [progress]: generating rewritten candidates
3.383 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
3.384 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
3.502 * * * [progress]: generating series expansions
3.503 * * * * [progress]: [ 1 / 2 ] generating series at (2)
3.503 * [backup-simplify]: Simplify (fma a (/ (- z y) (+ (- t z) 1.0)) x) into (fma a (/ (- z y) (- (+ t 1.0) z)) x)
3.503 * [approximate]: Taking taylor expansion of (fma a (/ (- z y) (- (+ t 1.0) z)) x) in (a z y t x) around 0
3.503 * [taylor]: Taking taylor expansion of (fma a (/ (- z y) (- (+ t 1.0) z)) x) in x
3.503 * [taylor]: Rewrote expression to (+ (* a (/ (- z y) (- (+ t 1.0) z))) x)
3.503 * [taylor]: Taking taylor expansion of (* a (/ (- z y) (- (+ t 1.0) z))) in x
3.503 * [taylor]: Taking taylor expansion of a in x
3.503 * [backup-simplify]: Simplify a into a
3.503 * [taylor]: Taking taylor expansion of (/ (- z y) (- (+ t 1.0) z)) in x
3.503 * [taylor]: Taking taylor expansion of (- z y) in x
3.503 * [taylor]: Taking taylor expansion of z in x
3.503 * [backup-simplify]: Simplify z into z
3.503 * [taylor]: Taking taylor expansion of y in x
3.503 * [backup-simplify]: Simplify y into y
3.503 * [taylor]: Taking taylor expansion of (- (+ t 1.0) z) in x
3.504 * [taylor]: Taking taylor expansion of (+ t 1.0) in x
3.504 * [taylor]: Taking taylor expansion of t in x
3.504 * [backup-simplify]: Simplify t into t
3.504 * [taylor]: Taking taylor expansion of 1.0 in x
3.504 * [backup-simplify]: Simplify 1.0 into 1.0
3.504 * [taylor]: Taking taylor expansion of z in x
3.504 * [backup-simplify]: Simplify z into z
3.504 * [backup-simplify]: Simplify (- y) into (- y)
3.504 * [backup-simplify]: Simplify (+ z (- y)) into (- z y)
3.504 * [backup-simplify]: Simplify (+ t 1.0) into (+ t 1.0)
3.504 * [backup-simplify]: Simplify (- z) into (- z)
3.504 * [backup-simplify]: Simplify (+ (+ t 1.0) (- z)) into (- (+ t 1.0) z)
3.504 * [backup-simplify]: Simplify (/ (- z y) (- (+ t 1.0) z)) into (/ (- z y) (- (+ t 1.0) z))
3.504 * [taylor]: Taking taylor expansion of x in x
3.504 * [backup-simplify]: Simplify 0 into 0
3.504 * [backup-simplify]: Simplify 1 into 1
3.504 * [taylor]: Taking taylor expansion of (fma a (/ (- z y) (- (+ t 1.0) z)) x) in t
3.504 * [taylor]: Rewrote expression to (+ (* a (/ (- z y) (- (+ t 1.0) z))) x)
3.504 * [taylor]: Taking taylor expansion of (* a (/ (- z y) (- (+ t 1.0) z))) in t
3.504 * [taylor]: Taking taylor expansion of a in t
3.504 * [backup-simplify]: Simplify a into a
3.504 * [taylor]: Taking taylor expansion of (/ (- z y) (- (+ t 1.0) z)) in t
3.504 * [taylor]: Taking taylor expansion of (- z y) in t
3.504 * [taylor]: Taking taylor expansion of z in t
3.505 * [backup-simplify]: Simplify z into z
3.505 * [taylor]: Taking taylor expansion of y in t
3.505 * [backup-simplify]: Simplify y into y
3.505 * [taylor]: Taking taylor expansion of (- (+ t 1.0) z) in t
3.505 * [taylor]: Taking taylor expansion of (+ t 1.0) in t
3.505 * [taylor]: Taking taylor expansion of t in t
3.505 * [backup-simplify]: Simplify 0 into 0
3.505 * [backup-simplify]: Simplify 1 into 1
3.505 * [taylor]: Taking taylor expansion of 1.0 in t
3.505 * [backup-simplify]: Simplify 1.0 into 1.0
3.505 * [taylor]: Taking taylor expansion of z in t
3.505 * [backup-simplify]: Simplify z into z
3.505 * [backup-simplify]: Simplify (- y) into (- y)
3.505 * [backup-simplify]: Simplify (+ z (- y)) into (- z y)
3.506 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.506 * [backup-simplify]: Simplify (- z) into (- z)
3.506 * [backup-simplify]: Simplify (+ 1.0 (- z)) into (- 1.0 z)
3.506 * [backup-simplify]: Simplify (/ (- z y) (- 1.0 z)) into (/ (- z y) (- 1.0 z))
3.506 * [taylor]: Taking taylor expansion of x in t
3.506 * [backup-simplify]: Simplify x into x
3.506 * [taylor]: Taking taylor expansion of (fma a (/ (- z y) (- (+ t 1.0) z)) x) in y
3.506 * [taylor]: Rewrote expression to (+ (* a (/ (- z y) (- (+ t 1.0) z))) x)
3.506 * [taylor]: Taking taylor expansion of (* a (/ (- z y) (- (+ t 1.0) z))) in y
3.506 * [taylor]: Taking taylor expansion of a in y
3.506 * [backup-simplify]: Simplify a into a
3.506 * [taylor]: Taking taylor expansion of (/ (- z y) (- (+ t 1.0) z)) in y
3.506 * [taylor]: Taking taylor expansion of (- z y) in y
3.506 * [taylor]: Taking taylor expansion of z in y
3.506 * [backup-simplify]: Simplify z into z
3.506 * [taylor]: Taking taylor expansion of y in y
3.506 * [backup-simplify]: Simplify 0 into 0
3.506 * [backup-simplify]: Simplify 1 into 1
3.506 * [taylor]: Taking taylor expansion of (- (+ t 1.0) z) in y
3.506 * [taylor]: Taking taylor expansion of (+ t 1.0) in y
3.506 * [taylor]: Taking taylor expansion of t in y
3.506 * [backup-simplify]: Simplify t into t
3.506 * [taylor]: Taking taylor expansion of 1.0 in y
3.506 * [backup-simplify]: Simplify 1.0 into 1.0
3.506 * [taylor]: Taking taylor expansion of z in y
3.507 * [backup-simplify]: Simplify z into z
3.507 * [backup-simplify]: Simplify (- 0) into 0
3.507 * [backup-simplify]: Simplify (+ z 0) into z
3.507 * [backup-simplify]: Simplify (+ t 1.0) into (+ t 1.0)
3.507 * [backup-simplify]: Simplify (- z) into (- z)
3.507 * [backup-simplify]: Simplify (+ (+ t 1.0) (- z)) into (- (+ t 1.0) z)
3.507 * [backup-simplify]: Simplify (/ z (- (+ t 1.0) z)) into (/ z (- (+ t 1.0) z))
3.507 * [taylor]: Taking taylor expansion of x in y
3.507 * [backup-simplify]: Simplify x into x
3.507 * [taylor]: Taking taylor expansion of (fma a (/ (- z y) (- (+ t 1.0) z)) x) in z
3.508 * [taylor]: Rewrote expression to (+ (* a (/ (- z y) (- (+ t 1.0) z))) x)
3.508 * [taylor]: Taking taylor expansion of (* a (/ (- z y) (- (+ t 1.0) z))) in z
3.508 * [taylor]: Taking taylor expansion of a in z
3.508 * [backup-simplify]: Simplify a into a
3.508 * [taylor]: Taking taylor expansion of (/ (- z y) (- (+ t 1.0) z)) in z
3.508 * [taylor]: Taking taylor expansion of (- z y) in z
3.508 * [taylor]: Taking taylor expansion of z in z
3.508 * [backup-simplify]: Simplify 0 into 0
3.508 * [backup-simplify]: Simplify 1 into 1
3.508 * [taylor]: Taking taylor expansion of y in z
3.508 * [backup-simplify]: Simplify y into y
3.508 * [taylor]: Taking taylor expansion of (- (+ t 1.0) z) in z
3.508 * [taylor]: Taking taylor expansion of (+ t 1.0) in z
3.508 * [taylor]: Taking taylor expansion of t in z
3.508 * [backup-simplify]: Simplify t into t
3.508 * [taylor]: Taking taylor expansion of 1.0 in z
3.508 * [backup-simplify]: Simplify 1.0 into 1.0
3.508 * [taylor]: Taking taylor expansion of z in z
3.508 * [backup-simplify]: Simplify 0 into 0
3.508 * [backup-simplify]: Simplify 1 into 1
3.508 * [backup-simplify]: Simplify (- y) into (- y)
3.508 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y)
3.508 * [backup-simplify]: Simplify (+ t 1.0) into (+ t 1.0)
3.509 * [backup-simplify]: Simplify (- 0) into 0
3.509 * [backup-simplify]: Simplify (+ (+ t 1.0) 0) into (+ t 1.0)
3.509 * [backup-simplify]: Simplify (/ (- y) (+ t 1.0)) into (* -1 (/ y (+ t 1.0)))
3.509 * [taylor]: Taking taylor expansion of x in z
3.509 * [backup-simplify]: Simplify x into x
3.509 * [taylor]: Taking taylor expansion of (fma a (/ (- z y) (- (+ t 1.0) z)) x) in a
3.509 * [taylor]: Rewrote expression to (+ (* a (/ (- z y) (- (+ t 1.0) z))) x)
3.509 * [taylor]: Taking taylor expansion of (* a (/ (- z y) (- (+ t 1.0) z))) in a
3.509 * [taylor]: Taking taylor expansion of a in a
3.509 * [backup-simplify]: Simplify 0 into 0
3.509 * [backup-simplify]: Simplify 1 into 1
3.509 * [taylor]: Taking taylor expansion of (/ (- z y) (- (+ t 1.0) z)) in a
3.509 * [taylor]: Taking taylor expansion of (- z y) in a
3.509 * [taylor]: Taking taylor expansion of z in a
3.509 * [backup-simplify]: Simplify z into z
3.509 * [taylor]: Taking taylor expansion of y in a
3.509 * [backup-simplify]: Simplify y into y
3.509 * [taylor]: Taking taylor expansion of (- (+ t 1.0) z) in a
3.509 * [taylor]: Taking taylor expansion of (+ t 1.0) in a
3.509 * [taylor]: Taking taylor expansion of t in a
3.510 * [backup-simplify]: Simplify t into t
3.510 * [taylor]: Taking taylor expansion of 1.0 in a
3.510 * [backup-simplify]: Simplify 1.0 into 1.0
3.510 * [taylor]: Taking taylor expansion of z in a
3.510 * [backup-simplify]: Simplify z into z
3.510 * [backup-simplify]: Simplify (- y) into (- y)
3.510 * [backup-simplify]: Simplify (+ z (- y)) into (- z y)
3.510 * [backup-simplify]: Simplify (+ t 1.0) into (+ t 1.0)
3.510 * [backup-simplify]: Simplify (- z) into (- z)
3.510 * [backup-simplify]: Simplify (+ (+ t 1.0) (- z)) into (- (+ t 1.0) z)
3.510 * [backup-simplify]: Simplify (/ (- z y) (- (+ t 1.0) z)) into (/ (- z y) (- (+ t 1.0) z))
3.510 * [taylor]: Taking taylor expansion of x in a
3.510 * [backup-simplify]: Simplify x into x
3.510 * [taylor]: Taking taylor expansion of (fma a (/ (- z y) (- (+ t 1.0) z)) x) in a
3.510 * [taylor]: Rewrote expression to (+ (* a (/ (- z y) (- (+ t 1.0) z))) x)
3.510 * [taylor]: Taking taylor expansion of (* a (/ (- z y) (- (+ t 1.0) z))) in a
3.510 * [taylor]: Taking taylor expansion of a in a
3.510 * [backup-simplify]: Simplify 0 into 0
3.510 * [backup-simplify]: Simplify 1 into 1
3.510 * [taylor]: Taking taylor expansion of (/ (- z y) (- (+ t 1.0) z)) in a
3.510 * [taylor]: Taking taylor expansion of (- z y) in a
3.510 * [taylor]: Taking taylor expansion of z in a
3.511 * [backup-simplify]: Simplify z into z
3.511 * [taylor]: Taking taylor expansion of y in a
3.511 * [backup-simplify]: Simplify y into y
3.511 * [taylor]: Taking taylor expansion of (- (+ t 1.0) z) in a
3.511 * [taylor]: Taking taylor expansion of (+ t 1.0) in a
3.511 * [taylor]: Taking taylor expansion of t in a
3.511 * [backup-simplify]: Simplify t into t
3.511 * [taylor]: Taking taylor expansion of 1.0 in a
3.511 * [backup-simplify]: Simplify 1.0 into 1.0
3.511 * [taylor]: Taking taylor expansion of z in a
3.511 * [backup-simplify]: Simplify z into z
3.511 * [backup-simplify]: Simplify (- y) into (- y)
3.511 * [backup-simplify]: Simplify (+ z (- y)) into (- z y)
3.511 * [backup-simplify]: Simplify (+ t 1.0) into (+ t 1.0)
3.511 * [backup-simplify]: Simplify (- z) into (- z)
3.511 * [backup-simplify]: Simplify (+ (+ t 1.0) (- z)) into (- (+ t 1.0) z)
3.511 * [backup-simplify]: Simplify (/ (- z y) (- (+ t 1.0) z)) into (/ (- z y) (- (+ t 1.0) z))
3.511 * [taylor]: Taking taylor expansion of x in a
3.511 * [backup-simplify]: Simplify x into x
3.511 * [backup-simplify]: Simplify (* 0 (/ (- z y) (- (+ t 1.0) z))) into 0
3.511 * [backup-simplify]: Simplify (+ 0 x) into x
3.512 * [taylor]: Taking taylor expansion of x in z
3.512 * [backup-simplify]: Simplify x into x
3.512 * [taylor]: Taking taylor expansion of x in y
3.512 * [backup-simplify]: Simplify x into x
3.512 * [taylor]: Taking taylor expansion of x in t
3.512 * [backup-simplify]: Simplify x into x
3.512 * [taylor]: Taking taylor expansion of x in x
3.512 * [backup-simplify]: Simplify 0 into 0
3.512 * [backup-simplify]: Simplify 1 into 1
3.512 * [backup-simplify]: Simplify 0 into 0
3.512 * [backup-simplify]: Simplify (- 0) into 0
3.513 * [backup-simplify]: Simplify (+ 0 0) into 0
3.513 * [backup-simplify]: Simplify (+ 0 0) into 0
3.513 * [backup-simplify]: Simplify (- 0) into 0
3.514 * [backup-simplify]: Simplify (+ 0 0) into 0
3.514 * [backup-simplify]: Simplify (- (/ 0 (- (+ t 1.0) z)) (+ (* (/ (- z y) (- (+ t 1.0) z)) (/ 0 (- (+ t 1.0) z))))) into 0
3.514 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (/ (- z y) (- (+ t 1.0) z)))) into (- (/ z (- (+ t 1.0) z)) (/ y (- (+ t 1.0) z)))
3.515 * [backup-simplify]: Simplify (+ (- (/ z (- (+ t 1.0) z)) (/ y (- (+ t 1.0) z))) 0) into (- (/ z (- (+ t 1.0) z)) (/ y (- (+ t 1.0) z)))
3.515 * [taylor]: Taking taylor expansion of (- (/ z (- (+ t 1.0) z)) (/ y (- (+ t 1.0) z))) in z
3.515 * [taylor]: Taking taylor expansion of (/ z (- (+ t 1.0) z)) in z
3.515 * [taylor]: Taking taylor expansion of z in z
3.515 * [backup-simplify]: Simplify 0 into 0
3.515 * [backup-simplify]: Simplify 1 into 1
3.515 * [taylor]: Taking taylor expansion of (- (+ t 1.0) z) in z
3.515 * [taylor]: Taking taylor expansion of (+ t 1.0) in z
3.515 * [taylor]: Taking taylor expansion of t in z
3.515 * [backup-simplify]: Simplify t into t
3.515 * [taylor]: Taking taylor expansion of 1.0 in z
3.515 * [backup-simplify]: Simplify 1.0 into 1.0
3.515 * [taylor]: Taking taylor expansion of z in z
3.515 * [backup-simplify]: Simplify 0 into 0
3.515 * [backup-simplify]: Simplify 1 into 1
3.515 * [backup-simplify]: Simplify (+ t 1.0) into (+ t 1.0)
3.515 * [backup-simplify]: Simplify (- 0) into 0
3.515 * [backup-simplify]: Simplify (+ (+ t 1.0) 0) into (+ t 1.0)
3.516 * [backup-simplify]: Simplify (/ 1 (+ t 1.0)) into (/ 1 (+ t 1.0))
3.516 * [taylor]: Taking taylor expansion of (/ y (- (+ t 1.0) z)) in z
3.516 * [taylor]: Taking taylor expansion of y in z
3.516 * [backup-simplify]: Simplify y into y
3.516 * [taylor]: Taking taylor expansion of (- (+ t 1.0) z) in z
3.516 * [taylor]: Taking taylor expansion of (+ t 1.0) in z
3.516 * [taylor]: Taking taylor expansion of t in z
3.516 * [backup-simplify]: Simplify t into t
3.516 * [taylor]: Taking taylor expansion of 1.0 in z
3.516 * [backup-simplify]: Simplify 1.0 into 1.0
3.516 * [taylor]: Taking taylor expansion of z in z
3.516 * [backup-simplify]: Simplify 0 into 0
3.516 * [backup-simplify]: Simplify 1 into 1
3.516 * [backup-simplify]: Simplify (+ t 1.0) into (+ t 1.0)
3.516 * [backup-simplify]: Simplify (- 0) into 0
3.516 * [backup-simplify]: Simplify (+ (+ t 1.0) 0) into (+ t 1.0)
3.516 * [backup-simplify]: Simplify (/ y (+ t 1.0)) into (/ y (+ t 1.0))
3.517 * [backup-simplify]: Simplify (- (/ y (+ t 1.0))) into (- (/ y (+ t 1.0)))
3.517 * [backup-simplify]: Simplify (+ 0 (- (/ y (+ t 1.0)))) into (- (/ y (+ t 1.0)))
3.517 * [taylor]: Taking taylor expansion of (- (/ y (+ t 1.0))) in y
3.517 * [taylor]: Taking taylor expansion of (/ y (+ t 1.0)) in y
3.517 * [taylor]: Taking taylor expansion of y in y
3.517 * [backup-simplify]: Simplify 0 into 0
3.517 * [backup-simplify]: Simplify 1 into 1
3.517 * [taylor]: Taking taylor expansion of (+ t 1.0) in y
3.517 * [taylor]: Taking taylor expansion of t in y
3.517 * [backup-simplify]: Simplify t into t
3.517 * [taylor]: Taking taylor expansion of 1.0 in y
3.517 * [backup-simplify]: Simplify 1.0 into 1.0
3.517 * [backup-simplify]: Simplify (+ t 1.0) into (+ t 1.0)
3.517 * [backup-simplify]: Simplify (/ 1 (+ t 1.0)) into (/ 1 (+ t 1.0))
3.517 * [taylor]: Taking taylor expansion of 0 in y
3.517 * [backup-simplify]: Simplify 0 into 0
3.517 * [taylor]: Taking taylor expansion of 0 in t
3.517 * [backup-simplify]: Simplify 0 into 0
3.517 * [taylor]: Taking taylor expansion of 0 in x
3.517 * [backup-simplify]: Simplify 0 into 0
3.517 * [backup-simplify]: Simplify 0 into 0
3.517 * [taylor]: Taking taylor expansion of 0 in t
3.517 * [backup-simplify]: Simplify 0 into 0
3.517 * [taylor]: Taking taylor expansion of 0 in x
3.517 * [backup-simplify]: Simplify 0 into 0
3.517 * [backup-simplify]: Simplify 0 into 0
3.517 * [taylor]: Taking taylor expansion of 0 in x
3.517 * [backup-simplify]: Simplify 0 into 0
3.517 * [backup-simplify]: Simplify 0 into 0
3.517 * [backup-simplify]: Simplify 1 into 1
3.518 * [backup-simplify]: Simplify (- 0) into 0
3.518 * [backup-simplify]: Simplify (+ 0 0) into 0
3.519 * [backup-simplify]: Simplify (+ 0 0) into 0
3.519 * [backup-simplify]: Simplify (- 0) into 0
3.519 * [backup-simplify]: Simplify (+ 0 0) into 0
3.520 * [backup-simplify]: Simplify (- (/ 0 (- (+ t 1.0) z)) (+ (* (/ (- z y) (- (+ t 1.0) z)) (/ 0 (- (+ t 1.0) z))) (* 0 (/ 0 (- (+ t 1.0) z))))) into 0
3.520 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (/ (- z y) (- (+ t 1.0) z))))) into 0
3.521 * [backup-simplify]: Simplify (+ 0 0) into 0
3.521 * [taylor]: Taking taylor expansion of 0 in z
3.521 * [backup-simplify]: Simplify 0 into 0
3.521 * [taylor]: Taking taylor expansion of 0 in y
3.521 * [backup-simplify]: Simplify 0 into 0
3.521 * [taylor]: Taking taylor expansion of 0 in t
3.521 * [backup-simplify]: Simplify 0 into 0
3.521 * [taylor]: Taking taylor expansion of 0 in x
3.521 * [backup-simplify]: Simplify 0 into 0
3.521 * [backup-simplify]: Simplify 0 into 0
3.521 * [backup-simplify]: Simplify (+ 0 0) into 0
3.522 * [backup-simplify]: Simplify (- 1) into -1
3.522 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.522 * [backup-simplify]: Simplify (- (/ 0 (+ t 1.0)) (+ (* (/ y (+ t 1.0)) (/ -1 (+ t 1.0))))) into (/ y (pow (+ t 1.0) 2))
3.523 * [backup-simplify]: Simplify (- (/ y (pow (+ t 1.0) 2))) into (- (/ y (pow (+ t 1.0) 2)))
3.523 * [backup-simplify]: Simplify (+ (/ 1 (+ t 1.0)) (- (/ y (pow (+ t 1.0) 2)))) into (- (/ 1 (+ t 1.0)) (/ y (pow (+ t 1.0) 2)))
3.523 * [taylor]: Taking taylor expansion of (- (/ 1 (+ t 1.0)) (/ y (pow (+ t 1.0) 2))) in y
3.523 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1.0)) in y
3.523 * [taylor]: Taking taylor expansion of (+ t 1.0) in y
3.523 * [taylor]: Taking taylor expansion of t in y
3.523 * [backup-simplify]: Simplify t into t
3.523 * [taylor]: Taking taylor expansion of 1.0 in y
3.523 * [backup-simplify]: Simplify 1.0 into 1.0
3.523 * [backup-simplify]: Simplify (+ t 1.0) into (+ t 1.0)
3.523 * [backup-simplify]: Simplify (/ 1 (+ t 1.0)) into (/ 1 (+ t 1.0))
3.523 * [taylor]: Taking taylor expansion of (/ y (pow (+ t 1.0) 2)) in y
3.523 * [taylor]: Taking taylor expansion of y in y
3.523 * [backup-simplify]: Simplify 0 into 0
3.523 * [backup-simplify]: Simplify 1 into 1
3.523 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in y
3.523 * [taylor]: Taking taylor expansion of (+ t 1.0) in y
3.523 * [taylor]: Taking taylor expansion of t in y
3.523 * [backup-simplify]: Simplify t into t
3.523 * [taylor]: Taking taylor expansion of 1.0 in y
3.524 * [backup-simplify]: Simplify 1.0 into 1.0
3.524 * [backup-simplify]: Simplify (+ t 1.0) into (+ t 1.0)
3.524 * [backup-simplify]: Simplify (* (+ t 1.0) (+ t 1.0)) into (pow (+ t 1.0) 2)
3.524 * [backup-simplify]: Simplify (/ 1 (pow (+ t 1.0) 2)) into (/ 1 (pow (+ t 1.0) 2))
3.524 * [backup-simplify]: Simplify (+ (/ 1 (+ t 1.0)) 0) into (/ 1 (+ t 1.0))
3.524 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1.0)) in t
3.524 * [taylor]: Taking taylor expansion of (+ t 1.0) in t
3.524 * [taylor]: Taking taylor expansion of t in t
3.524 * [backup-simplify]: Simplify 0 into 0
3.524 * [backup-simplify]: Simplify 1 into 1
3.524 * [taylor]: Taking taylor expansion of 1.0 in t
3.524 * [backup-simplify]: Simplify 1.0 into 1.0
3.525 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.525 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
3.525 * [taylor]: Taking taylor expansion of 1.0 in x
3.525 * [backup-simplify]: Simplify 1.0 into 1.0
3.525 * [backup-simplify]: Simplify 1.0 into 1.0
3.526 * [taylor]: Taking taylor expansion of 0 in y
3.526 * [backup-simplify]: Simplify 0 into 0
3.526 * [taylor]: Taking taylor expansion of 0 in t
3.526 * [backup-simplify]: Simplify 0 into 0
3.526 * [taylor]: Taking taylor expansion of 0 in x
3.526 * [backup-simplify]: Simplify 0 into 0
3.526 * [backup-simplify]: Simplify 0 into 0
3.526 * [backup-simplify]: Simplify (- (/ 1 (+ t 1.0))) into (- (/ 1 (+ t 1.0)))
3.526 * [taylor]: Taking taylor expansion of (- (/ 1 (+ t 1.0))) in t
3.526 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1.0)) in t
3.526 * [taylor]: Taking taylor expansion of (+ t 1.0) in t
3.526 * [taylor]: Taking taylor expansion of t in t
3.526 * [backup-simplify]: Simplify 0 into 0
3.526 * [backup-simplify]: Simplify 1 into 1
3.526 * [taylor]: Taking taylor expansion of 1.0 in t
3.526 * [backup-simplify]: Simplify 1.0 into 1.0
3.526 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.527 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
3.527 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
3.527 * [taylor]: Taking taylor expansion of (- 1.0) in x
3.527 * [taylor]: Taking taylor expansion of 1.0 in x
3.527 * [backup-simplify]: Simplify 1.0 into 1.0
3.528 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
3.528 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
3.529 * [backup-simplify]: Simplify (+ (* (- 1.0) (* 1 (* 1 (* y (* 1 a))))) (+ (* 1.0 (* 1 (* 1 (* 1 (* z a))))) (* 1 (* x (* 1 (* 1 (* 1 1))))))) into (- (+ x (* 1.0 (* a z))) (* 1.0 (* a y)))
3.529 * [backup-simplify]: Simplify (fma (/ 1 a) (/ (- (/ 1 z) (/ 1 y)) (+ (- (/ 1 t) (/ 1 z)) 1.0)) (/ 1 x)) into (fma (/ 1 a) (/ (- (/ 1 z) (/ 1 y)) (- (+ (/ 1 t) 1.0) (/ 1 z))) (/ 1 x))
3.530 * [approximate]: Taking taylor expansion of (fma (/ 1 a) (/ (- (/ 1 z) (/ 1 y)) (- (+ (/ 1 t) 1.0) (/ 1 z))) (/ 1 x)) in (a z y t x) around 0
3.530 * [taylor]: Taking taylor expansion of (fma (/ 1 a) (/ (- (/ 1 z) (/ 1 y)) (- (+ (/ 1 t) 1.0) (/ 1 z))) (/ 1 x)) in x
3.530 * [taylor]: Rewrote expression to (+ (* (/ 1 a) (/ (- (/ 1 z) (/ 1 y)) (- (+ (/ 1 t) 1.0) (/ 1 z)))) (/ 1 x))
3.530 * [taylor]: Taking taylor expansion of (* (/ 1 a) (/ (- (/ 1 z) (/ 1 y)) (- (+ (/ 1 t) 1.0) (/ 1 z)))) in x
3.530 * [taylor]: Taking taylor expansion of (/ 1 a) in x
3.530 * [taylor]: Taking taylor expansion of a in x
3.530 * [backup-simplify]: Simplify a into a
3.530 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
3.530 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) (- (+ (/ 1 t) 1.0) (/ 1 z))) in x
3.530 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x
3.530 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.530 * [taylor]: Taking taylor expansion of z in x
3.530 * [backup-simplify]: Simplify z into z
3.530 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.530 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.530 * [taylor]: Taking taylor expansion of y in x
3.530 * [backup-simplify]: Simplify y into y
3.530 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.530 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) 1.0) (/ 1 z)) in x
3.530 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in x
3.530 * [taylor]: Taking taylor expansion of (/ 1 t) in x
3.530 * [taylor]: Taking taylor expansion of t in x
3.530 * [backup-simplify]: Simplify t into t
3.530 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
3.530 * [taylor]: Taking taylor expansion of 1.0 in x
3.530 * [backup-simplify]: Simplify 1.0 into 1.0
3.530 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.531 * [taylor]: Taking taylor expansion of z in x
3.531 * [backup-simplify]: Simplify z into z
3.531 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.531 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
3.531 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 y))) into (- (/ 1 z) (/ 1 y))
3.531 * [backup-simplify]: Simplify (+ (/ 1 t) 1.0) into (+ (/ 1 t) 1.0)
3.531 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
3.531 * [backup-simplify]: Simplify (+ (+ (/ 1 t) 1.0) (- (/ 1 z))) into (- (+ (/ 1 t) 1.0) (/ 1 z))
3.531 * [backup-simplify]: Simplify (/ (- (/ 1 z) (/ 1 y)) (- (+ (/ 1 t) 1.0) (/ 1 z))) into (/ (- (/ 1 z) (/ 1 y)) (- (+ (/ 1 t) 1.0) (/ 1 z)))
3.531 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.531 * [taylor]: Taking taylor expansion of x in x
3.531 * [backup-simplify]: Simplify 0 into 0
3.531 * [backup-simplify]: Simplify 1 into 1
3.532 * [backup-simplify]: Simplify (/ 1 1) into 1
3.532 * [taylor]: Taking taylor expansion of (fma (/ 1 a) (/ (- (/ 1 z) (/ 1 y)) (- (+ (/ 1 t) 1.0) (/ 1 z))) (/ 1 x)) in t
3.532 * [taylor]: Rewrote expression to (+ (* (/ 1 a) (/ (- (/ 1 z) (/ 1 y)) (- (+ (/ 1 t) 1.0) (/ 1 z)))) (/ 1 x))
3.532 * [taylor]: Taking taylor expansion of (* (/ 1 a) (/ (- (/ 1 z) (/ 1 y)) (- (+ (/ 1 t) 1.0) (/ 1 z)))) in t
3.532 * [taylor]: Taking taylor expansion of (/ 1 a) in t
3.532 * [taylor]: Taking taylor expansion of a in t
3.533 * [backup-simplify]: Simplify a into a
3.533 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
3.533 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) (- (+ (/ 1 t) 1.0) (/ 1 z))) in t
3.533 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in t
3.533 * [taylor]: Taking taylor expansion of (/ 1 z) in t
3.533 * [taylor]: Taking taylor expansion of z in t
3.533 * [backup-simplify]: Simplify z into z
3.533 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.533 * [taylor]: Taking taylor expansion of (/ 1 y) in t
3.533 * [taylor]: Taking taylor expansion of y in t
3.533 * [backup-simplify]: Simplify y into y
3.533 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.533 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) 1.0) (/ 1 z)) in t
3.533 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
3.533 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.533 * [taylor]: Taking taylor expansion of t in t
3.533 * [backup-simplify]: Simplify 0 into 0
3.533 * [backup-simplify]: Simplify 1 into 1
3.534 * [backup-simplify]: Simplify (/ 1 1) into 1
3.534 * [taylor]: Taking taylor expansion of 1.0 in t
3.534 * [backup-simplify]: Simplify 1.0 into 1.0
3.534 * [taylor]: Taking taylor expansion of (/ 1 z) in t
3.534 * [taylor]: Taking taylor expansion of z in t
3.534 * [backup-simplify]: Simplify z into z
3.534 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.534 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
3.534 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 y))) into (- (/ 1 z) (/ 1 y))
3.535 * [backup-simplify]: Simplify (+ 1 0) into 1
3.535 * [backup-simplify]: Simplify (+ 1 0) into 1
3.535 * [backup-simplify]: Simplify (/ (- (/ 1 z) (/ 1 y)) 1) into (- (/ 1 z) (/ 1 y))
3.535 * [taylor]: Taking taylor expansion of (/ 1 x) in t
3.535 * [taylor]: Taking taylor expansion of x in t
3.536 * [backup-simplify]: Simplify x into x
3.536 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.536 * [taylor]: Taking taylor expansion of (fma (/ 1 a) (/ (- (/ 1 z) (/ 1 y)) (- (+ (/ 1 t) 1.0) (/ 1 z))) (/ 1 x)) in y
3.536 * [taylor]: Rewrote expression to (+ (* (/ 1 a) (/ (- (/ 1 z) (/ 1 y)) (- (+ (/ 1 t) 1.0) (/ 1 z)))) (/ 1 x))
3.536 * [taylor]: Taking taylor expansion of (* (/ 1 a) (/ (- (/ 1 z) (/ 1 y)) (- (+ (/ 1 t) 1.0) (/ 1 z)))) in y
3.536 * [taylor]: Taking taylor expansion of (/ 1 a) in y
3.536 * [taylor]: Taking taylor expansion of a in y
3.536 * [backup-simplify]: Simplify a into a
3.536 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
3.536 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) (- (+ (/ 1 t) 1.0) (/ 1 z))) in y
3.536 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
3.536 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.536 * [taylor]: Taking taylor expansion of z in y
3.536 * [backup-simplify]: Simplify z into z
3.536 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.536 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.536 * [taylor]: Taking taylor expansion of y in y
3.536 * [backup-simplify]: Simplify 0 into 0
3.536 * [backup-simplify]: Simplify 1 into 1
3.537 * [backup-simplify]: Simplify (/ 1 1) into 1
3.537 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) 1.0) (/ 1 z)) in y
3.537 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in y
3.537 * [taylor]: Taking taylor expansion of (/ 1 t) in y
3.537 * [taylor]: Taking taylor expansion of t in y
3.537 * [backup-simplify]: Simplify t into t
3.537 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
3.537 * [taylor]: Taking taylor expansion of 1.0 in y
3.537 * [backup-simplify]: Simplify 1.0 into 1.0
3.537 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.537 * [taylor]: Taking taylor expansion of z in y
3.537 * [backup-simplify]: Simplify z into z
3.537 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.538 * [backup-simplify]: Simplify (- 1) into -1
3.538 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.538 * [backup-simplify]: Simplify (+ (/ 1 t) 1.0) into (+ (/ 1 t) 1.0)
3.538 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
3.538 * [backup-simplify]: Simplify (+ (+ (/ 1 t) 1.0) (- (/ 1 z))) into (- (+ (/ 1 t) 1.0) (/ 1 z))
3.539 * [backup-simplify]: Simplify (/ -1 (- (+ (/ 1 t) 1.0) (/ 1 z))) into (/ -1 (- (+ (/ 1 t) 1.0) (/ 1 z)))
3.539 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.539 * [taylor]: Taking taylor expansion of x in y
3.539 * [backup-simplify]: Simplify x into x
3.539 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.539 * [taylor]: Taking taylor expansion of (fma (/ 1 a) (/ (- (/ 1 z) (/ 1 y)) (- (+ (/ 1 t) 1.0) (/ 1 z))) (/ 1 x)) in z
3.539 * [taylor]: Rewrote expression to (+ (* (/ 1 a) (/ (- (/ 1 z) (/ 1 y)) (- (+ (/ 1 t) 1.0) (/ 1 z)))) (/ 1 x))
3.539 * [taylor]: Taking taylor expansion of (* (/ 1 a) (/ (- (/ 1 z) (/ 1 y)) (- (+ (/ 1 t) 1.0) (/ 1 z)))) in z
3.539 * [taylor]: Taking taylor expansion of (/ 1 a) in z
3.539 * [taylor]: Taking taylor expansion of a in z
3.539 * [backup-simplify]: Simplify a into a
3.539 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
3.539 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) (- (+ (/ 1 t) 1.0) (/ 1 z))) in z
3.539 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z
3.539 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.539 * [taylor]: Taking taylor expansion of z in z
3.539 * [backup-simplify]: Simplify 0 into 0
3.539 * [backup-simplify]: Simplify 1 into 1
3.540 * [backup-simplify]: Simplify (/ 1 1) into 1
3.540 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.540 * [taylor]: Taking taylor expansion of y in z
3.540 * [backup-simplify]: Simplify y into y
3.540 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.540 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) 1.0) (/ 1 z)) in z
3.540 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in z
3.540 * [taylor]: Taking taylor expansion of (/ 1 t) in z
3.540 * [taylor]: Taking taylor expansion of t in z
3.540 * [backup-simplify]: Simplify t into t
3.540 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
3.540 * [taylor]: Taking taylor expansion of 1.0 in z
3.540 * [backup-simplify]: Simplify 1.0 into 1.0
3.540 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.540 * [taylor]: Taking taylor expansion of z in z
3.540 * [backup-simplify]: Simplify 0 into 0
3.540 * [backup-simplify]: Simplify 1 into 1
3.541 * [backup-simplify]: Simplify (/ 1 1) into 1
3.541 * [backup-simplify]: Simplify (+ 1 0) into 1
3.541 * [backup-simplify]: Simplify (- 1) into -1
3.542 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.542 * [backup-simplify]: Simplify (/ 1 -1) into -1
3.542 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.542 * [taylor]: Taking taylor expansion of x in z
3.542 * [backup-simplify]: Simplify x into x
3.543 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.543 * [taylor]: Taking taylor expansion of (fma (/ 1 a) (/ (- (/ 1 z) (/ 1 y)) (- (+ (/ 1 t) 1.0) (/ 1 z))) (/ 1 x)) in a
3.543 * [taylor]: Rewrote expression to (+ (* (/ 1 a) (/ (- (/ 1 z) (/ 1 y)) (- (+ (/ 1 t) 1.0) (/ 1 z)))) (/ 1 x))
3.543 * [taylor]: Taking taylor expansion of (* (/ 1 a) (/ (- (/ 1 z) (/ 1 y)) (- (+ (/ 1 t) 1.0) (/ 1 z)))) in a
3.543 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.543 * [taylor]: Taking taylor expansion of a in a
3.543 * [backup-simplify]: Simplify 0 into 0
3.543 * [backup-simplify]: Simplify 1 into 1
3.543 * [backup-simplify]: Simplify (/ 1 1) into 1
3.543 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) (- (+ (/ 1 t) 1.0) (/ 1 z))) in a
3.543 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in a
3.543 * [taylor]: Taking taylor expansion of (/ 1 z) in a
3.544 * [taylor]: Taking taylor expansion of z in a
3.544 * [backup-simplify]: Simplify z into z
3.544 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.544 * [taylor]: Taking taylor expansion of (/ 1 y) in a
3.544 * [taylor]: Taking taylor expansion of y in a
3.544 * [backup-simplify]: Simplify y into y
3.544 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.544 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) 1.0) (/ 1 z)) in a
3.544 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in a
3.544 * [taylor]: Taking taylor expansion of (/ 1 t) in a
3.544 * [taylor]: Taking taylor expansion of t in a
3.544 * [backup-simplify]: Simplify t into t
3.544 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
3.544 * [taylor]: Taking taylor expansion of 1.0 in a
3.544 * [backup-simplify]: Simplify 1.0 into 1.0
3.544 * [taylor]: Taking taylor expansion of (/ 1 z) in a
3.544 * [taylor]: Taking taylor expansion of z in a
3.544 * [backup-simplify]: Simplify z into z
3.544 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.544 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
3.544 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 y))) into (- (/ 1 z) (/ 1 y))
3.545 * [backup-simplify]: Simplify (+ (/ 1 t) 1.0) into (+ (/ 1 t) 1.0)
3.545 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
3.545 * [backup-simplify]: Simplify (+ (+ (/ 1 t) 1.0) (- (/ 1 z))) into (- (+ (/ 1 t) 1.0) (/ 1 z))
3.545 * [backup-simplify]: Simplify (/ (- (/ 1 z) (/ 1 y)) (- (+ (/ 1 t) 1.0) (/ 1 z))) into (/ (- (/ 1 z) (/ 1 y)) (- (+ (/ 1 t) 1.0) (/ 1 z)))
3.545 * [taylor]: Taking taylor expansion of (/ 1 x) in a
3.545 * [taylor]: Taking taylor expansion of x in a
3.545 * [backup-simplify]: Simplify x into x
3.545 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.545 * [taylor]: Taking taylor expansion of (fma (/ 1 a) (/ (- (/ 1 z) (/ 1 y)) (- (+ (/ 1 t) 1.0) (/ 1 z))) (/ 1 x)) in a
3.546 * [taylor]: Rewrote expression to (+ (* (/ 1 a) (/ (- (/ 1 z) (/ 1 y)) (- (+ (/ 1 t) 1.0) (/ 1 z)))) (/ 1 x))
3.546 * [taylor]: Taking taylor expansion of (* (/ 1 a) (/ (- (/ 1 z) (/ 1 y)) (- (+ (/ 1 t) 1.0) (/ 1 z)))) in a
3.546 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.546 * [taylor]: Taking taylor expansion of a in a
3.546 * [backup-simplify]: Simplify 0 into 0
3.546 * [backup-simplify]: Simplify 1 into 1
3.546 * [backup-simplify]: Simplify (/ 1 1) into 1
3.546 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) (- (+ (/ 1 t) 1.0) (/ 1 z))) in a
3.546 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in a
3.546 * [taylor]: Taking taylor expansion of (/ 1 z) in a
3.546 * [taylor]: Taking taylor expansion of z in a
3.546 * [backup-simplify]: Simplify z into z
3.547 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.547 * [taylor]: Taking taylor expansion of (/ 1 y) in a
3.547 * [taylor]: Taking taylor expansion of y in a
3.547 * [backup-simplify]: Simplify y into y
3.547 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.547 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) 1.0) (/ 1 z)) in a
3.547 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in a
3.547 * [taylor]: Taking taylor expansion of (/ 1 t) in a
3.547 * [taylor]: Taking taylor expansion of t in a
3.547 * [backup-simplify]: Simplify t into t
3.547 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
3.547 * [taylor]: Taking taylor expansion of 1.0 in a
3.547 * [backup-simplify]: Simplify 1.0 into 1.0
3.547 * [taylor]: Taking taylor expansion of (/ 1 z) in a
3.547 * [taylor]: Taking taylor expansion of z in a
3.547 * [backup-simplify]: Simplify z into z
3.547 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.547 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
3.547 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 y))) into (- (/ 1 z) (/ 1 y))
3.547 * [backup-simplify]: Simplify (+ (/ 1 t) 1.0) into (+ (/ 1 t) 1.0)
3.548 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
3.548 * [backup-simplify]: Simplify (+ (+ (/ 1 t) 1.0) (- (/ 1 z))) into (- (+ (/ 1 t) 1.0) (/ 1 z))
3.548 * [backup-simplify]: Simplify (/ (- (/ 1 z) (/ 1 y)) (- (+ (/ 1 t) 1.0) (/ 1 z))) into (/ (- (/ 1 z) (/ 1 y)) (- (+ (/ 1 t) 1.0) (/ 1 z)))
3.548 * [taylor]: Taking taylor expansion of (/ 1 x) in a
3.548 * [taylor]: Taking taylor expansion of x in a
3.548 * [backup-simplify]: Simplify x into x
3.548 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.549 * [backup-simplify]: Simplify (* 1 (/ (- (/ 1 z) (/ 1 y)) (- (+ (/ 1 t) 1.0) (/ 1 z)))) into (/ (- (/ 1 z) (/ 1 y)) (- (+ (/ 1 t) 1.0) (/ 1 z)))
3.549 * [backup-simplify]: Simplify (+ (/ (- (/ 1 z) (/ 1 y)) (- (+ (/ 1 t) 1.0) (/ 1 z))) 0) into (- (/ 1 (* z (- (+ (/ 1 t) 1.0) (/ 1 z)))) (/ 1 (* y (- (+ (/ 1 t) 1.0) (/ 1 z)))))
3.549 * [taylor]: Taking taylor expansion of (- (/ 1 (* z (- (+ (/ 1 t) 1.0) (/ 1 z)))) (/ 1 (* y (- (+ (/ 1 t) 1.0) (/ 1 z))))) in z
3.549 * [taylor]: Taking taylor expansion of (/ 1 (* z (- (+ (/ 1 t) 1.0) (/ 1 z)))) in z
3.549 * [taylor]: Taking taylor expansion of (* z (- (+ (/ 1 t) 1.0) (/ 1 z))) in z
3.549 * [taylor]: Taking taylor expansion of z in z
3.549 * [backup-simplify]: Simplify 0 into 0
3.549 * [backup-simplify]: Simplify 1 into 1
3.549 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) 1.0) (/ 1 z)) in z
3.549 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in z
3.549 * [taylor]: Taking taylor expansion of (/ 1 t) in z
3.549 * [taylor]: Taking taylor expansion of t in z
3.549 * [backup-simplify]: Simplify t into t
3.550 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
3.550 * [taylor]: Taking taylor expansion of 1.0 in z
3.550 * [backup-simplify]: Simplify 1.0 into 1.0
3.550 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.550 * [taylor]: Taking taylor expansion of z in z
3.550 * [backup-simplify]: Simplify 0 into 0
3.550 * [backup-simplify]: Simplify 1 into 1
3.550 * [backup-simplify]: Simplify (/ 1 1) into 1
3.551 * [backup-simplify]: Simplify (- 1) into -1
3.551 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.551 * [backup-simplify]: Simplify (* 0 -1) into 0
3.551 * [backup-simplify]: Simplify (+ (/ 1 t) 1.0) into (+ (/ 1 t) 1.0)
3.552 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.552 * [backup-simplify]: Simplify (- 0) into 0
3.552 * [backup-simplify]: Simplify (+ (+ (/ 1 t) 1.0) 0) into (+ (/ 1 t) 1.0)
3.552 * [backup-simplify]: Simplify (+ (* 0 (+ (/ 1 t) 1.0)) (* 1 -1)) into (- 1)
3.553 * [backup-simplify]: Simplify (/ 1 (- 1)) into -1
3.553 * [taylor]: Taking taylor expansion of (/ 1 (* y (- (+ (/ 1 t) 1.0) (/ 1 z)))) in z
3.553 * [taylor]: Taking taylor expansion of (* y (- (+ (/ 1 t) 1.0) (/ 1 z))) in z
3.553 * [taylor]: Taking taylor expansion of y in z
3.553 * [backup-simplify]: Simplify y into y
3.553 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) 1.0) (/ 1 z)) in z
3.553 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in z
3.553 * [taylor]: Taking taylor expansion of (/ 1 t) in z
3.553 * [taylor]: Taking taylor expansion of t in z
3.553 * [backup-simplify]: Simplify t into t
3.553 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
3.553 * [taylor]: Taking taylor expansion of 1.0 in z
3.553 * [backup-simplify]: Simplify 1.0 into 1.0
3.553 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.553 * [taylor]: Taking taylor expansion of z in z
3.553 * [backup-simplify]: Simplify 0 into 0
3.553 * [backup-simplify]: Simplify 1 into 1
3.553 * [backup-simplify]: Simplify (/ 1 1) into 1
3.553 * [backup-simplify]: Simplify (- 1) into -1
3.554 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.554 * [backup-simplify]: Simplify (* y -1) into (* -1 y)
3.554 * [backup-simplify]: Simplify (/ 1 (* -1 y)) into (/ -1 y)
3.554 * [backup-simplify]: Simplify (+ -1 0) into -1
3.554 * [taylor]: Taking taylor expansion of -1 in y
3.554 * [backup-simplify]: Simplify -1 into -1
3.554 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
3.554 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
3.555 * [backup-simplify]: Simplify (- 0) into 0
3.555 * [backup-simplify]: Simplify (+ 0 0) into 0
3.555 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0
3.555 * [backup-simplify]: Simplify (+ 0 0) into 0
3.556 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
3.556 * [backup-simplify]: Simplify (- 0) into 0
3.556 * [backup-simplify]: Simplify (+ 0 0) into 0
3.556 * [backup-simplify]: Simplify (- (/ 0 (- (+ (/ 1 t) 1.0) (/ 1 z))) (+ (* (/ (- (/ 1 z) (/ 1 y)) (- (+ (/ 1 t) 1.0) (/ 1 z))) (/ 0 (- (+ (/ 1 t) 1.0) (/ 1 z)))))) into 0
3.557 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.557 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (/ (- (/ 1 z) (/ 1 y)) (- (+ (/ 1 t) 1.0) (/ 1 z))))) into 0
3.557 * [backup-simplify]: Simplify (+ 0 (/ 1 x)) into (/ 1 x)
3.557 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.557 * [taylor]: Taking taylor expansion of x in z
3.557 * [backup-simplify]: Simplify x into x
3.557 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.557 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.557 * [taylor]: Taking taylor expansion of x in y
3.557 * [backup-simplify]: Simplify x into x
3.557 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.558 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0
3.558 * [backup-simplify]: Simplify (+ 0 0) into 0
3.558 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.558 * [backup-simplify]: Simplify (- 0) into 0
3.559 * [backup-simplify]: Simplify (+ 0 0) into 0
3.559 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 (+ (/ 1 t) 1.0)) (* 0 -1))) into (+ (/ 1 t) 1.0)
3.560 * [backup-simplify]: Simplify (- (+ (* -1 (/ (+ (/ 1 t) 1.0) (- 1))))) into (- (+ (/ 1 t) 1.0))
3.560 * [backup-simplify]: Simplify (- (/ -1 y)) into (/ 1 y)
3.560 * [backup-simplify]: Simplify (+ (- (+ (/ 1 t) 1.0)) (/ 1 y)) into (- (/ 1 y) (+ (/ 1 t) 1.0))
3.560 * [taylor]: Taking taylor expansion of (- (/ 1 y) (+ (/ 1 t) 1.0)) in y
3.560 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.560 * [taylor]: Taking taylor expansion of y in y
3.560 * [backup-simplify]: Simplify 0 into 0
3.560 * [backup-simplify]: Simplify 1 into 1
3.560 * [backup-simplify]: Simplify (/ 1 1) into 1
3.560 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in y
3.560 * [taylor]: Taking taylor expansion of (/ 1 t) in y
3.560 * [taylor]: Taking taylor expansion of t in y
3.560 * [backup-simplify]: Simplify t into t
3.560 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
3.560 * [taylor]: Taking taylor expansion of 1.0 in y
3.560 * [backup-simplify]: Simplify 1.0 into 1.0
3.561 * [backup-simplify]: Simplify (+ 1 0) into 1
3.561 * [taylor]: Taking taylor expansion of 1 in t
3.561 * [backup-simplify]: Simplify 1 into 1
3.561 * [taylor]: Taking taylor expansion of 1 in x
3.561 * [backup-simplify]: Simplify 1 into 1
3.561 * [taylor]: Taking taylor expansion of -1 in t
3.561 * [backup-simplify]: Simplify -1 into -1
3.561 * [taylor]: Taking taylor expansion of -1 in x
3.561 * [backup-simplify]: Simplify -1 into -1
3.561 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
3.561 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.561 * [backup-simplify]: Simplify (- 0) into 0
3.561 * [backup-simplify]: Simplify (+ 0 0) into 0
3.562 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0
3.562 * [backup-simplify]: Simplify (+ 0 0) into 0
3.562 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
3.562 * [backup-simplify]: Simplify (- 0) into 0
3.562 * [backup-simplify]: Simplify (+ 0 0) into 0
3.563 * [backup-simplify]: Simplify (- (/ 0 (- (+ (/ 1 t) 1.0) (/ 1 z))) (+ (* (/ (- (/ 1 z) (/ 1 y)) (- (+ (/ 1 t) 1.0) (/ 1 z))) (/ 0 (- (+ (/ 1 t) 1.0) (/ 1 z)))) (* 0 (/ 0 (- (+ (/ 1 t) 1.0) (/ 1 z)))))) into 0
3.563 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.564 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (/ (- (/ 1 z) (/ 1 y)) (- (+ (/ 1 t) 1.0) (/ 1 z)))))) into 0
3.564 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
3.564 * [backup-simplify]: Simplify (+ 0 0) into 0
3.564 * [taylor]: Taking taylor expansion of 0 in z
3.564 * [backup-simplify]: Simplify 0 into 0
3.564 * [taylor]: Taking taylor expansion of 0 in y
3.564 * [backup-simplify]: Simplify 0 into 0
3.564 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
3.564 * [taylor]: Taking taylor expansion of 0 in y
3.564 * [backup-simplify]: Simplify 0 into 0
3.565 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0
3.565 * [backup-simplify]: Simplify (+ 0 0) into 0
3.565 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.566 * [backup-simplify]: Simplify (- 0) into 0
3.566 * [backup-simplify]: Simplify (+ 0 0) into 0
3.567 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 (+ (/ 1 t) 1.0)) (* 0 -1)))) into 0