0.238 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.045 * * * [progress]: [2/2] Setting up program.
0.048 * [progress]: [Phase 2 of 3] Improving.
0.048 * [simplify]: Simplifying:
  (+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b))
0.048 * * [simplify]: Extracting # 0 : cost  0
0.048 * * [simplify]: Extracting # 1 : cost  0
0.048 * * [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]: Extracting # 7 : cost  0
0.049 * * [simplify]: iteration  0 :  18  enodes  (cost  21 )
0.055 * * [simplify]: Extracting # 0 : cost  0
0.055 * * [simplify]: Extracting # 1 : cost  0
0.055 * * [simplify]: Extracting # 2 : cost  0
0.055 * * [simplify]: iteration  1 :  38  enodes  (cost  21 )
0.085 * * [simplify]: Extracting # 0 : cost  0
0.085 * * [simplify]: Extracting # 1 : cost  0
0.085 * * [simplify]: Extracting # 2 : cost  0
0.085 * * [simplify]: iteration  2 :  118  enodes  (cost  19 )
0.139 * * [simplify]: Extracting # 0 : cost  0
0.140 * * [simplify]: Extracting # 1 : cost  0
0.141 * * [simplify]: Extracting # 2 : cost  0
0.141 * * [simplify]: iteration  3 :  416  enodes  (cost  19 )
0.441 * * [simplify]: Extracting # 0 : cost  0
0.442 * * [simplify]: Extracting # 1 : cost  0
0.444 * * [simplify]: Extracting # 2 : cost  0
0.445 * * [simplify]: Extracting # 3 : cost  0
0.446 * * [simplify]: iteration  4 :  1377  enodes  (cost  18 )
2.075 * * [simplify]: Extracting # 0 : cost  0
2.081 * * [simplify]: Extracting # 1 : cost  0
2.087 * * [simplify]: Extracting # 2 : cost  0
2.098 * * [simplify]: Extracting # 3 : cost  0
2.104 * * [simplify]: Extracting # 4 : cost  0
2.109 * * [simplify]: iteration done:  5000  enodes  (cost  18 )
2.109 * [simplify]: Simplified to:
  (fma b (- (+ y t) 2.0) (fma (- 1.0 y) z (fma a (- 1.0 t) x)))
2.115 * * [progress]: iteration 1 / 4
2.115 * * * [progress]: picking best candidate
2.118 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (fma b (- (+ y t) 2.0) (fma (- 1.0 y) z (fma a (- 1.0 t) x))))>
2.118 * * * [progress]: localizing error
2.135 * * * [progress]: generating rewritten candidates
2.135 * * * * [progress]: [ 1 / 2 ] rewriting at (2 3)
2.136 * * * * [progress]: [ 2 / 2 ] rewriting at (2 3 3)
2.137 * * * [progress]: generating series expansions
2.137 * * * * [progress]: [ 1 / 2 ] generating series at (2 3)
2.137 * [backup-simplify]: Simplify (fma (- 1.0 y) z (fma a (- 1.0 t) x)) into (fma (- 1.0 y) z (fma a (- 1.0 t) x))
2.137 * [approximate]: Taking taylor expansion of (fma (- 1.0 y) z (fma a (- 1.0 t) x)) in (y z a t x) around 0
2.137 * [taylor]: Taking taylor expansion of (fma (- 1.0 y) z (fma a (- 1.0 t) x)) in x
2.139 * [taylor]: Rewrote expression to (+ (* (- 1.0 y) z) (fma a (- 1.0 t) x))
2.139 * [taylor]: Taking taylor expansion of (* (- 1.0 y) z) in x
2.139 * [taylor]: Taking taylor expansion of (- 1.0 y) in x
2.139 * [taylor]: Taking taylor expansion of 1.0 in x
2.139 * [backup-simplify]: Simplify 1.0 into 1.0
2.139 * [taylor]: Taking taylor expansion of y in x
2.139 * [backup-simplify]: Simplify y into y
2.139 * [taylor]: Taking taylor expansion of z in x
2.139 * [backup-simplify]: Simplify z into z
2.139 * [taylor]: Taking taylor expansion of (fma a (- 1.0 t) x) in x
2.139 * [taylor]: Rewrote expression to (+ (* a (- 1.0 t)) x)
2.139 * [taylor]: Taking taylor expansion of (* a (- 1.0 t)) in x
2.139 * [taylor]: Taking taylor expansion of a in x
2.139 * [backup-simplify]: Simplify a into a
2.139 * [taylor]: Taking taylor expansion of (- 1.0 t) in x
2.139 * [taylor]: Taking taylor expansion of 1.0 in x
2.139 * [backup-simplify]: Simplify 1.0 into 1.0
2.139 * [taylor]: Taking taylor expansion of t in x
2.139 * [backup-simplify]: Simplify t into t
2.139 * [taylor]: Taking taylor expansion of x in x
2.139 * [backup-simplify]: Simplify 0 into 0
2.139 * [backup-simplify]: Simplify 1 into 1
2.139 * [taylor]: Taking taylor expansion of (fma (- 1.0 y) z (fma a (- 1.0 t) x)) in t
2.139 * [taylor]: Rewrote expression to (+ (* (- 1.0 y) z) (fma a (- 1.0 t) x))
2.139 * [taylor]: Taking taylor expansion of (* (- 1.0 y) z) in t
2.139 * [taylor]: Taking taylor expansion of (- 1.0 y) in t
2.139 * [taylor]: Taking taylor expansion of 1.0 in t
2.139 * [backup-simplify]: Simplify 1.0 into 1.0
2.139 * [taylor]: Taking taylor expansion of y in t
2.139 * [backup-simplify]: Simplify y into y
2.139 * [taylor]: Taking taylor expansion of z in t
2.139 * [backup-simplify]: Simplify z into z
2.139 * [taylor]: Taking taylor expansion of (fma a (- 1.0 t) x) in t
2.139 * [taylor]: Rewrote expression to (+ (* a (- 1.0 t)) x)
2.140 * [taylor]: Taking taylor expansion of (* a (- 1.0 t)) in t
2.140 * [taylor]: Taking taylor expansion of a in t
2.140 * [backup-simplify]: Simplify a into a
2.140 * [taylor]: Taking taylor expansion of (- 1.0 t) in t
2.140 * [taylor]: Taking taylor expansion of 1.0 in t
2.140 * [backup-simplify]: Simplify 1.0 into 1.0
2.140 * [taylor]: Taking taylor expansion of t in t
2.140 * [backup-simplify]: Simplify 0 into 0
2.140 * [backup-simplify]: Simplify 1 into 1
2.140 * [taylor]: Taking taylor expansion of x in t
2.140 * [backup-simplify]: Simplify x into x
2.140 * [taylor]: Taking taylor expansion of (fma (- 1.0 y) z (fma a (- 1.0 t) x)) in a
2.140 * [taylor]: Rewrote expression to (+ (* (- 1.0 y) z) (fma a (- 1.0 t) x))
2.140 * [taylor]: Taking taylor expansion of (* (- 1.0 y) z) in a
2.140 * [taylor]: Taking taylor expansion of (- 1.0 y) in a
2.140 * [taylor]: Taking taylor expansion of 1.0 in a
2.140 * [backup-simplify]: Simplify 1.0 into 1.0
2.140 * [taylor]: Taking taylor expansion of y in a
2.140 * [backup-simplify]: Simplify y into y
2.140 * [taylor]: Taking taylor expansion of z in a
2.140 * [backup-simplify]: Simplify z into z
2.140 * [taylor]: Taking taylor expansion of (fma a (- 1.0 t) x) in a
2.140 * [taylor]: Rewrote expression to (+ (* a (- 1.0 t)) x)
2.140 * [taylor]: Taking taylor expansion of (* a (- 1.0 t)) in a
2.140 * [taylor]: Taking taylor expansion of a in a
2.140 * [backup-simplify]: Simplify 0 into 0
2.140 * [backup-simplify]: Simplify 1 into 1
2.140 * [taylor]: Taking taylor expansion of (- 1.0 t) in a
2.140 * [taylor]: Taking taylor expansion of 1.0 in a
2.140 * [backup-simplify]: Simplify 1.0 into 1.0
2.140 * [taylor]: Taking taylor expansion of t in a
2.140 * [backup-simplify]: Simplify t into t
2.140 * [taylor]: Taking taylor expansion of x in a
2.140 * [backup-simplify]: Simplify x into x
2.140 * [taylor]: Taking taylor expansion of (fma (- 1.0 y) z (fma a (- 1.0 t) x)) in z
2.140 * [taylor]: Rewrote expression to (+ (* (- 1.0 y) z) (fma a (- 1.0 t) x))
2.140 * [taylor]: Taking taylor expansion of (* (- 1.0 y) z) in z
2.140 * [taylor]: Taking taylor expansion of (- 1.0 y) in z
2.140 * [taylor]: Taking taylor expansion of 1.0 in z
2.140 * [backup-simplify]: Simplify 1.0 into 1.0
2.140 * [taylor]: Taking taylor expansion of y in z
2.140 * [backup-simplify]: Simplify y into y
2.141 * [taylor]: Taking taylor expansion of z in z
2.141 * [backup-simplify]: Simplify 0 into 0
2.141 * [backup-simplify]: Simplify 1 into 1
2.141 * [taylor]: Taking taylor expansion of (fma a (- 1.0 t) x) in z
2.141 * [taylor]: Rewrote expression to (+ (* a (- 1.0 t)) x)
2.141 * [taylor]: Taking taylor expansion of (* a (- 1.0 t)) in z
2.141 * [taylor]: Taking taylor expansion of a in z
2.141 * [backup-simplify]: Simplify a into a
2.141 * [taylor]: Taking taylor expansion of (- 1.0 t) in z
2.141 * [taylor]: Taking taylor expansion of 1.0 in z
2.141 * [backup-simplify]: Simplify 1.0 into 1.0
2.141 * [taylor]: Taking taylor expansion of t in z
2.141 * [backup-simplify]: Simplify t into t
2.141 * [taylor]: Taking taylor expansion of x in z
2.141 * [backup-simplify]: Simplify x into x
2.141 * [taylor]: Taking taylor expansion of (fma (- 1.0 y) z (fma a (- 1.0 t) x)) in y
2.141 * [taylor]: Rewrote expression to (+ (* (- 1.0 y) z) (fma a (- 1.0 t) x))
2.141 * [taylor]: Taking taylor expansion of (* (- 1.0 y) z) in y
2.141 * [taylor]: Taking taylor expansion of (- 1.0 y) in y
2.141 * [taylor]: Taking taylor expansion of 1.0 in y
2.141 * [backup-simplify]: Simplify 1.0 into 1.0
2.141 * [taylor]: Taking taylor expansion of y in y
2.141 * [backup-simplify]: Simplify 0 into 0
2.141 * [backup-simplify]: Simplify 1 into 1
2.141 * [taylor]: Taking taylor expansion of z in y
2.141 * [backup-simplify]: Simplify z into z
2.141 * [taylor]: Taking taylor expansion of (fma a (- 1.0 t) x) in y
2.141 * [taylor]: Rewrote expression to (+ (* a (- 1.0 t)) x)
2.141 * [taylor]: Taking taylor expansion of (* a (- 1.0 t)) in y
2.141 * [taylor]: Taking taylor expansion of a in y
2.141 * [backup-simplify]: Simplify a into a
2.141 * [taylor]: Taking taylor expansion of (- 1.0 t) in y
2.141 * [taylor]: Taking taylor expansion of 1.0 in y
2.141 * [backup-simplify]: Simplify 1.0 into 1.0
2.141 * [taylor]: Taking taylor expansion of t in y
2.141 * [backup-simplify]: Simplify t into t
2.141 * [taylor]: Taking taylor expansion of x in y
2.141 * [backup-simplify]: Simplify x into x
2.141 * [taylor]: Taking taylor expansion of (fma (- 1.0 y) z (fma a (- 1.0 t) x)) in y
2.141 * [taylor]: Rewrote expression to (+ (* (- 1.0 y) z) (fma a (- 1.0 t) x))
2.141 * [taylor]: Taking taylor expansion of (* (- 1.0 y) z) in y
2.142 * [taylor]: Taking taylor expansion of (- 1.0 y) in y
2.142 * [taylor]: Taking taylor expansion of 1.0 in y
2.142 * [backup-simplify]: Simplify 1.0 into 1.0
2.142 * [taylor]: Taking taylor expansion of y in y
2.142 * [backup-simplify]: Simplify 0 into 0
2.142 * [backup-simplify]: Simplify 1 into 1
2.142 * [taylor]: Taking taylor expansion of z in y
2.142 * [backup-simplify]: Simplify z into z
2.142 * [taylor]: Taking taylor expansion of (fma a (- 1.0 t) x) in y
2.142 * [taylor]: Rewrote expression to (+ (* a (- 1.0 t)) x)
2.142 * [taylor]: Taking taylor expansion of (* a (- 1.0 t)) in y
2.142 * [taylor]: Taking taylor expansion of a in y
2.142 * [backup-simplify]: Simplify a into a
2.142 * [taylor]: Taking taylor expansion of (- 1.0 t) in y
2.142 * [taylor]: Taking taylor expansion of 1.0 in y
2.142 * [backup-simplify]: Simplify 1.0 into 1.0
2.142 * [taylor]: Taking taylor expansion of t in y
2.142 * [backup-simplify]: Simplify t into t
2.142 * [taylor]: Taking taylor expansion of x in y
2.142 * [backup-simplify]: Simplify x into x
2.143 * [backup-simplify]: Simplify (- 0) into 0
2.143 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.143 * [backup-simplify]: Simplify (* 1.0 z) into (* 1.0 z)
2.143 * [backup-simplify]: Simplify (- t) into (- t)
2.143 * [backup-simplify]: Simplify (+ 1.0 (- t)) into (- 1.0 t)
2.143 * [backup-simplify]: Simplify (* a (- 1.0 t)) into (* a (- 1.0 t))
2.144 * [backup-simplify]: Simplify (+ (* a (- 1.0 t)) x) into (- (+ (* 1.0 a) x) (* a t))
2.144 * [backup-simplify]: Simplify (+ (* 1.0 z) (- (+ (* 1.0 a) x) (* a t))) into (- (+ (* 1.0 a) (+ x (* 1.0 z))) (* a t))
2.144 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 a) (+ x (* 1.0 z))) (* a t)) in z
2.144 * [taylor]: Taking taylor expansion of (+ (* 1.0 a) (+ x (* 1.0 z))) in z
2.144 * [taylor]: Taking taylor expansion of (* 1.0 a) in z
2.144 * [taylor]: Taking taylor expansion of 1.0 in z
2.144 * [backup-simplify]: Simplify 1.0 into 1.0
2.144 * [taylor]: Taking taylor expansion of a in z
2.144 * [backup-simplify]: Simplify a into a
2.144 * [taylor]: Taking taylor expansion of (+ x (* 1.0 z)) in z
2.144 * [taylor]: Taking taylor expansion of x in z
2.144 * [backup-simplify]: Simplify x into x
2.144 * [taylor]: Taking taylor expansion of (* 1.0 z) in z
2.144 * [taylor]: Taking taylor expansion of 1.0 in z
2.144 * [backup-simplify]: Simplify 1.0 into 1.0
2.144 * [taylor]: Taking taylor expansion of z in z
2.144 * [backup-simplify]: Simplify 0 into 0
2.144 * [backup-simplify]: Simplify 1 into 1
2.144 * [taylor]: Taking taylor expansion of (* a t) in z
2.144 * [taylor]: Taking taylor expansion of a in z
2.144 * [backup-simplify]: Simplify a into a
2.144 * [taylor]: Taking taylor expansion of t in z
2.144 * [backup-simplify]: Simplify t into t
2.144 * [backup-simplify]: Simplify (* 1.0 a) into (* 1.0 a)
2.145 * [backup-simplify]: Simplify (* 1.0 0) into 0
2.145 * [backup-simplify]: Simplify (+ x 0) into x
2.145 * [backup-simplify]: Simplify (+ (* 1.0 a) x) into (+ (* 1.0 a) x)
2.145 * [backup-simplify]: Simplify (* a t) into (* a t)
2.145 * [backup-simplify]: Simplify (- (* a t)) into (- (* a t))
2.145 * [backup-simplify]: Simplify (+ (+ (* 1.0 a) x) (- (* a t))) into (- (+ (* 1.0 a) x) (* a t))
2.145 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 a) x) (* a t)) in a
2.145 * [taylor]: Taking taylor expansion of (+ (* 1.0 a) x) in a
2.145 * [taylor]: Taking taylor expansion of (* 1.0 a) in a
2.145 * [taylor]: Taking taylor expansion of 1.0 in a
2.145 * [backup-simplify]: Simplify 1.0 into 1.0
2.145 * [taylor]: Taking taylor expansion of a in a
2.145 * [backup-simplify]: Simplify 0 into 0
2.145 * [backup-simplify]: Simplify 1 into 1
2.145 * [taylor]: Taking taylor expansion of x in a
2.145 * [backup-simplify]: Simplify x into x
2.145 * [taylor]: Taking taylor expansion of (* a t) in a
2.145 * [taylor]: Taking taylor expansion of a in a
2.145 * [backup-simplify]: Simplify 0 into 0
2.145 * [backup-simplify]: Simplify 1 into 1
2.145 * [taylor]: Taking taylor expansion of t in a
2.145 * [backup-simplify]: Simplify t into t
2.145 * [backup-simplify]: Simplify (* 1.0 0) into 0
2.146 * [backup-simplify]: Simplify (+ 0 x) into x
2.146 * [backup-simplify]: Simplify (* 0 t) into 0
2.146 * [backup-simplify]: Simplify (- 0) into 0
2.146 * [backup-simplify]: Simplify (+ x 0) into x
2.146 * [taylor]: Taking taylor expansion of x in t
2.146 * [backup-simplify]: Simplify x into x
2.146 * [taylor]: Taking taylor expansion of x in x
2.146 * [backup-simplify]: Simplify 0 into 0
2.146 * [backup-simplify]: Simplify 1 into 1
2.146 * [backup-simplify]: Simplify 0 into 0
2.146 * [backup-simplify]: Simplify (- 1) into -1
2.147 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.147 * [backup-simplify]: Simplify (+ (* 1.0 0) (* -1 z)) into (- z)
2.147 * [backup-simplify]: Simplify (- 0) into 0
2.147 * [backup-simplify]: Simplify (+ 0 0) into 0
2.147 * [backup-simplify]: Simplify (+ (* a 0) (* 0 (- 1.0 t))) into 0
2.148 * [backup-simplify]: Simplify (+ 0 0) into 0
2.148 * [backup-simplify]: Simplify (+ (- z) 0) into (- z)
2.148 * [taylor]: Taking taylor expansion of (- z) in z
2.148 * [taylor]: Taking taylor expansion of z in z
2.148 * [backup-simplify]: Simplify 0 into 0
2.148 * [backup-simplify]: Simplify 1 into 1
2.148 * [backup-simplify]: Simplify (- 0) into 0
2.148 * [taylor]: Taking taylor expansion of 0 in a
2.148 * [backup-simplify]: Simplify 0 into 0
2.148 * [taylor]: Taking taylor expansion of 0 in t
2.148 * [backup-simplify]: Simplify 0 into 0
2.148 * [taylor]: Taking taylor expansion of 0 in x
2.148 * [backup-simplify]: Simplify 0 into 0
2.148 * [backup-simplify]: Simplify 0 into 0
2.149 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 a)) into 0
2.149 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
2.150 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.150 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.150 * [backup-simplify]: Simplify (+ (* a 0) (* 0 t)) into 0
2.150 * [backup-simplify]: Simplify (- 0) into 0
2.151 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.151 * [taylor]: Taking taylor expansion of 1.0 in a
2.151 * [backup-simplify]: Simplify 1.0 into 1.0
2.151 * [taylor]: Taking taylor expansion of 1.0 in t
2.151 * [backup-simplify]: Simplify 1.0 into 1.0
2.151 * [taylor]: Taking taylor expansion of 1.0 in x
2.151 * [backup-simplify]: Simplify 1.0 into 1.0
2.151 * [backup-simplify]: Simplify 1.0 into 1.0
2.153 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
2.154 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.154 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 t)) into t
2.154 * [backup-simplify]: Simplify (- t) into (- t)
2.154 * [backup-simplify]: Simplify (+ 1.0 (- t)) into (- 1.0 t)
2.154 * [taylor]: Taking taylor expansion of (- 1.0 t) in t
2.154 * [taylor]: Taking taylor expansion of 1.0 in t
2.154 * [backup-simplify]: Simplify 1.0 into 1.0
2.154 * [taylor]: Taking taylor expansion of t in t
2.154 * [backup-simplify]: Simplify 0 into 0
2.154 * [backup-simplify]: Simplify 1 into 1
2.155 * [backup-simplify]: Simplify (- 0) into 0
2.155 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.155 * [taylor]: Taking taylor expansion of 1.0 in x
2.155 * [backup-simplify]: Simplify 1.0 into 1.0
2.155 * [backup-simplify]: Simplify 1.0 into 1.0
2.155 * [taylor]: Taking taylor expansion of 0 in x
2.155 * [backup-simplify]: Simplify 0 into 0
2.155 * [backup-simplify]: Simplify 0 into 0
2.155 * [backup-simplify]: Simplify 1 into 1
2.156 * [backup-simplify]: Simplify (+ (* 1 (* x (* 1 (* 1 (* 1 1))))) (+ (* 1.0 (* 1 (* 1 (* a (* 1 1))))) (* 1.0 (* 1 (* 1 (* 1 (* z 1))))))) into (+ (* 1.0 a) (+ x (* 1.0 z)))
2.156 * [backup-simplify]: Simplify (fma (- 1.0 (/ 1 y)) (/ 1 z) (fma (/ 1 a) (- 1.0 (/ 1 t)) (/ 1 x))) into (fma (- 1.0 (/ 1 y)) (/ 1 z) (fma (/ 1 a) (- 1.0 (/ 1 t)) (/ 1 x)))
2.156 * [approximate]: Taking taylor expansion of (fma (- 1.0 (/ 1 y)) (/ 1 z) (fma (/ 1 a) (- 1.0 (/ 1 t)) (/ 1 x))) in (y z a t x) around 0
2.157 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 y)) (/ 1 z) (fma (/ 1 a) (- 1.0 (/ 1 t)) (/ 1 x))) in x
2.157 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 y)) (/ 1 z)) (fma (/ 1 a) (- 1.0 (/ 1 t)) (/ 1 x)))
2.157 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 y)) (/ 1 z)) in x
2.157 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in x
2.157 * [taylor]: Taking taylor expansion of 1.0 in x
2.157 * [backup-simplify]: Simplify 1.0 into 1.0
2.157 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.157 * [taylor]: Taking taylor expansion of y in x
2.157 * [backup-simplify]: Simplify y into y
2.157 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.157 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.157 * [taylor]: Taking taylor expansion of z in x
2.157 * [backup-simplify]: Simplify z into z
2.157 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.157 * [taylor]: Taking taylor expansion of (fma (/ 1 a) (- 1.0 (/ 1 t)) (/ 1 x)) in x
2.157 * [taylor]: Rewrote expression to (+ (* (/ 1 a) (- 1.0 (/ 1 t))) (/ 1 x))
2.157 * [taylor]: Taking taylor expansion of (* (/ 1 a) (- 1.0 (/ 1 t))) in x
2.157 * [taylor]: Taking taylor expansion of (/ 1 a) in x
2.157 * [taylor]: Taking taylor expansion of a in x
2.157 * [backup-simplify]: Simplify a into a
2.157 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
2.157 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in x
2.157 * [taylor]: Taking taylor expansion of 1.0 in x
2.157 * [backup-simplify]: Simplify 1.0 into 1.0
2.157 * [taylor]: Taking taylor expansion of (/ 1 t) in x
2.157 * [taylor]: Taking taylor expansion of t in x
2.157 * [backup-simplify]: Simplify t into t
2.157 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
2.157 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.157 * [taylor]: Taking taylor expansion of x in x
2.157 * [backup-simplify]: Simplify 0 into 0
2.157 * [backup-simplify]: Simplify 1 into 1
2.158 * [backup-simplify]: Simplify (/ 1 1) into 1
2.158 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 y)) (/ 1 z) (fma (/ 1 a) (- 1.0 (/ 1 t)) (/ 1 x))) in t
2.158 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 y)) (/ 1 z)) (fma (/ 1 a) (- 1.0 (/ 1 t)) (/ 1 x)))
2.158 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 y)) (/ 1 z)) in t
2.158 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in t
2.158 * [taylor]: Taking taylor expansion of 1.0 in t
2.158 * [backup-simplify]: Simplify 1.0 into 1.0
2.158 * [taylor]: Taking taylor expansion of (/ 1 y) in t
2.158 * [taylor]: Taking taylor expansion of y in t
2.158 * [backup-simplify]: Simplify y into y
2.158 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.158 * [taylor]: Taking taylor expansion of (/ 1 z) in t
2.158 * [taylor]: Taking taylor expansion of z in t
2.158 * [backup-simplify]: Simplify z into z
2.158 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.158 * [taylor]: Taking taylor expansion of (fma (/ 1 a) (- 1.0 (/ 1 t)) (/ 1 x)) in t
2.158 * [taylor]: Rewrote expression to (+ (* (/ 1 a) (- 1.0 (/ 1 t))) (/ 1 x))
2.158 * [taylor]: Taking taylor expansion of (* (/ 1 a) (- 1.0 (/ 1 t))) in t
2.158 * [taylor]: Taking taylor expansion of (/ 1 a) in t
2.158 * [taylor]: Taking taylor expansion of a in t
2.158 * [backup-simplify]: Simplify a into a
2.158 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
2.158 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t
2.158 * [taylor]: Taking taylor expansion of 1.0 in t
2.158 * [backup-simplify]: Simplify 1.0 into 1.0
2.158 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.158 * [taylor]: Taking taylor expansion of t in t
2.158 * [backup-simplify]: Simplify 0 into 0
2.158 * [backup-simplify]: Simplify 1 into 1
2.159 * [backup-simplify]: Simplify (/ 1 1) into 1
2.159 * [taylor]: Taking taylor expansion of (/ 1 x) in t
2.159 * [taylor]: Taking taylor expansion of x in t
2.159 * [backup-simplify]: Simplify x into x
2.159 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.159 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 y)) (/ 1 z) (fma (/ 1 a) (- 1.0 (/ 1 t)) (/ 1 x))) in a
2.159 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 y)) (/ 1 z)) (fma (/ 1 a) (- 1.0 (/ 1 t)) (/ 1 x)))
2.159 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 y)) (/ 1 z)) in a
2.159 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in a
2.159 * [taylor]: Taking taylor expansion of 1.0 in a
2.159 * [backup-simplify]: Simplify 1.0 into 1.0
2.159 * [taylor]: Taking taylor expansion of (/ 1 y) in a
2.159 * [taylor]: Taking taylor expansion of y in a
2.159 * [backup-simplify]: Simplify y into y
2.159 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.159 * [taylor]: Taking taylor expansion of (/ 1 z) in a
2.159 * [taylor]: Taking taylor expansion of z in a
2.159 * [backup-simplify]: Simplify z into z
2.159 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.159 * [taylor]: Taking taylor expansion of (fma (/ 1 a) (- 1.0 (/ 1 t)) (/ 1 x)) in a
2.159 * [taylor]: Rewrote expression to (+ (* (/ 1 a) (- 1.0 (/ 1 t))) (/ 1 x))
2.159 * [taylor]: Taking taylor expansion of (* (/ 1 a) (- 1.0 (/ 1 t))) in a
2.159 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.159 * [taylor]: Taking taylor expansion of a in a
2.159 * [backup-simplify]: Simplify 0 into 0
2.159 * [backup-simplify]: Simplify 1 into 1
2.160 * [backup-simplify]: Simplify (/ 1 1) into 1
2.160 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in a
2.160 * [taylor]: Taking taylor expansion of 1.0 in a
2.160 * [backup-simplify]: Simplify 1.0 into 1.0
2.160 * [taylor]: Taking taylor expansion of (/ 1 t) in a
2.160 * [taylor]: Taking taylor expansion of t in a
2.160 * [backup-simplify]: Simplify t into t
2.160 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
2.160 * [taylor]: Taking taylor expansion of (/ 1 x) in a
2.160 * [taylor]: Taking taylor expansion of x in a
2.160 * [backup-simplify]: Simplify x into x
2.160 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.160 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 y)) (/ 1 z) (fma (/ 1 a) (- 1.0 (/ 1 t)) (/ 1 x))) in z
2.160 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 y)) (/ 1 z)) (fma (/ 1 a) (- 1.0 (/ 1 t)) (/ 1 x)))
2.160 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 y)) (/ 1 z)) in z
2.160 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in z
2.160 * [taylor]: Taking taylor expansion of 1.0 in z
2.160 * [backup-simplify]: Simplify 1.0 into 1.0
2.160 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.160 * [taylor]: Taking taylor expansion of y in z
2.160 * [backup-simplify]: Simplify y into y
2.160 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.160 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.160 * [taylor]: Taking taylor expansion of z in z
2.160 * [backup-simplify]: Simplify 0 into 0
2.160 * [backup-simplify]: Simplify 1 into 1
2.160 * [backup-simplify]: Simplify (/ 1 1) into 1
2.161 * [taylor]: Taking taylor expansion of (fma (/ 1 a) (- 1.0 (/ 1 t)) (/ 1 x)) in z
2.161 * [taylor]: Rewrote expression to (+ (* (/ 1 a) (- 1.0 (/ 1 t))) (/ 1 x))
2.161 * [taylor]: Taking taylor expansion of (* (/ 1 a) (- 1.0 (/ 1 t))) in z
2.161 * [taylor]: Taking taylor expansion of (/ 1 a) in z
2.161 * [taylor]: Taking taylor expansion of a in z
2.161 * [backup-simplify]: Simplify a into a
2.161 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
2.161 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in z
2.161 * [taylor]: Taking taylor expansion of 1.0 in z
2.161 * [backup-simplify]: Simplify 1.0 into 1.0
2.161 * [taylor]: Taking taylor expansion of (/ 1 t) in z
2.161 * [taylor]: Taking taylor expansion of t in z
2.161 * [backup-simplify]: Simplify t into t
2.161 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
2.161 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.161 * [taylor]: Taking taylor expansion of x in z
2.161 * [backup-simplify]: Simplify x into x
2.161 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.161 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 y)) (/ 1 z) (fma (/ 1 a) (- 1.0 (/ 1 t)) (/ 1 x))) in y
2.161 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 y)) (/ 1 z)) (fma (/ 1 a) (- 1.0 (/ 1 t)) (/ 1 x)))
2.161 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 y)) (/ 1 z)) in y
2.161 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y
2.161 * [taylor]: Taking taylor expansion of 1.0 in y
2.161 * [backup-simplify]: Simplify 1.0 into 1.0
2.161 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.161 * [taylor]: Taking taylor expansion of y in y
2.161 * [backup-simplify]: Simplify 0 into 0
2.161 * [backup-simplify]: Simplify 1 into 1
2.161 * [backup-simplify]: Simplify (/ 1 1) into 1
2.161 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.162 * [taylor]: Taking taylor expansion of z in y
2.162 * [backup-simplify]: Simplify z into z
2.162 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.162 * [taylor]: Taking taylor expansion of (fma (/ 1 a) (- 1.0 (/ 1 t)) (/ 1 x)) in y
2.162 * [taylor]: Rewrote expression to (+ (* (/ 1 a) (- 1.0 (/ 1 t))) (/ 1 x))
2.162 * [taylor]: Taking taylor expansion of (* (/ 1 a) (- 1.0 (/ 1 t))) in y
2.162 * [taylor]: Taking taylor expansion of (/ 1 a) in y
2.162 * [taylor]: Taking taylor expansion of a in y
2.162 * [backup-simplify]: Simplify a into a
2.162 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
2.162 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in y
2.162 * [taylor]: Taking taylor expansion of 1.0 in y
2.162 * [backup-simplify]: Simplify 1.0 into 1.0
2.162 * [taylor]: Taking taylor expansion of (/ 1 t) in y
2.162 * [taylor]: Taking taylor expansion of t in y
2.162 * [backup-simplify]: Simplify t into t
2.162 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
2.162 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.162 * [taylor]: Taking taylor expansion of x in y
2.162 * [backup-simplify]: Simplify x into x
2.162 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.162 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 y)) (/ 1 z) (fma (/ 1 a) (- 1.0 (/ 1 t)) (/ 1 x))) in y
2.162 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 y)) (/ 1 z)) (fma (/ 1 a) (- 1.0 (/ 1 t)) (/ 1 x)))
2.162 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 y)) (/ 1 z)) in y
2.162 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y
2.162 * [taylor]: Taking taylor expansion of 1.0 in y
2.162 * [backup-simplify]: Simplify 1.0 into 1.0
2.162 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.162 * [taylor]: Taking taylor expansion of y in y
2.162 * [backup-simplify]: Simplify 0 into 0
2.162 * [backup-simplify]: Simplify 1 into 1
2.163 * [backup-simplify]: Simplify (/ 1 1) into 1
2.163 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.163 * [taylor]: Taking taylor expansion of z in y
2.163 * [backup-simplify]: Simplify z into z
2.163 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.163 * [taylor]: Taking taylor expansion of (fma (/ 1 a) (- 1.0 (/ 1 t)) (/ 1 x)) in y
2.163 * [taylor]: Rewrote expression to (+ (* (/ 1 a) (- 1.0 (/ 1 t))) (/ 1 x))
2.163 * [taylor]: Taking taylor expansion of (* (/ 1 a) (- 1.0 (/ 1 t))) in y
2.163 * [taylor]: Taking taylor expansion of (/ 1 a) in y
2.163 * [taylor]: Taking taylor expansion of a in y
2.163 * [backup-simplify]: Simplify a into a
2.163 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
2.163 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in y
2.163 * [taylor]: Taking taylor expansion of 1.0 in y
2.163 * [backup-simplify]: Simplify 1.0 into 1.0
2.163 * [taylor]: Taking taylor expansion of (/ 1 t) in y
2.163 * [taylor]: Taking taylor expansion of t in y
2.163 * [backup-simplify]: Simplify t into t
2.163 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
2.163 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.163 * [taylor]: Taking taylor expansion of x in y
2.163 * [backup-simplify]: Simplify x into x
2.163 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.163 * [backup-simplify]: Simplify (- 1) into -1
2.164 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.164 * [backup-simplify]: Simplify (* -1 (/ 1 z)) into (/ -1 z)
2.164 * [backup-simplify]: Simplify (+ (/ -1 z) 0) into (- (/ 1 z))
2.164 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
2.164 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.164 * [taylor]: Taking taylor expansion of z in z
2.164 * [backup-simplify]: Simplify 0 into 0
2.164 * [backup-simplify]: Simplify 1 into 1
2.164 * [backup-simplify]: Simplify (/ 1 1) into 1
2.164 * [backup-simplify]: Simplify (- 1) into -1
2.164 * [taylor]: Taking taylor expansion of -1 in a
2.164 * [backup-simplify]: Simplify -1 into -1
2.165 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
2.165 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.165 * [backup-simplify]: Simplify (- 0) into 0
2.166 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.166 * [backup-simplify]: Simplify (+ (* -1 0) (* 1.0 (/ 1 z))) into (* 1.0 (/ 1 z))
2.166 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t))
2.166 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 t))) into (- 1.0 (/ 1 t))
2.166 * [backup-simplify]: Simplify (* (/ 1 a) (- 1.0 (/ 1 t))) into (/ (- 1.0 (/ 1 t)) a)
2.166 * [backup-simplify]: Simplify (+ (/ (- 1.0 (/ 1 t)) a) (/ 1 x)) into (- (+ (* 1.0 (/ 1 a)) (/ 1 x)) (/ 1 (* t a)))
2.167 * [backup-simplify]: Simplify (+ (* 1.0 (/ 1 z)) (- (+ (* 1.0 (/ 1 a)) (/ 1 x)) (/ 1 (* t a)))) into (- (+ (* 1.0 (/ 1 z)) (+ (* 1.0 (/ 1 a)) (/ 1 x))) (/ 1 (* t a)))
2.167 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) (+ (* 1.0 (/ 1 a)) (/ 1 x))) (/ 1 (* t a))) in z
2.167 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (+ (* 1.0 (/ 1 a)) (/ 1 x))) in z
2.167 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
2.167 * [taylor]: Taking taylor expansion of 1.0 in z
2.167 * [backup-simplify]: Simplify 1.0 into 1.0
2.167 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.167 * [taylor]: Taking taylor expansion of z in z
2.167 * [backup-simplify]: Simplify 0 into 0
2.167 * [backup-simplify]: Simplify 1 into 1
2.167 * [backup-simplify]: Simplify (/ 1 1) into 1
2.167 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (/ 1 x)) in z
2.167 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in z
2.167 * [taylor]: Taking taylor expansion of 1.0 in z
2.167 * [backup-simplify]: Simplify 1.0 into 1.0
2.167 * [taylor]: Taking taylor expansion of (/ 1 a) in z
2.167 * [taylor]: Taking taylor expansion of a in z
2.167 * [backup-simplify]: Simplify a into a
2.167 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
2.167 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.167 * [taylor]: Taking taylor expansion of x in z
2.167 * [backup-simplify]: Simplify x into x
2.167 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.167 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
2.167 * [taylor]: Taking taylor expansion of (* t a) in z
2.167 * [taylor]: Taking taylor expansion of t in z
2.167 * [backup-simplify]: Simplify t into t
2.167 * [taylor]: Taking taylor expansion of a in z
2.167 * [backup-simplify]: Simplify a into a
2.167 * [backup-simplify]: Simplify (* t a) into (* t a)
2.167 * [backup-simplify]: Simplify (/ 1 (* t a)) into (/ 1 (* t a))
2.168 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
2.168 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.168 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.168 * [taylor]: Taking taylor expansion of 1.0 in a
2.168 * [backup-simplify]: Simplify 1.0 into 1.0
2.169 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.169 * [backup-simplify]: Simplify (- 0) into 0
2.169 * [taylor]: Taking taylor expansion of 0 in a
2.169 * [backup-simplify]: Simplify 0 into 0
2.169 * [taylor]: Taking taylor expansion of -1 in t
2.169 * [backup-simplify]: Simplify -1 into -1
2.169 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
2.170 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.170 * [backup-simplify]: Simplify (- 0) into 0
2.170 * [backup-simplify]: Simplify (+ 0 0) into 0
2.171 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 1.0 0) (* 0 (/ 1 z)))) into 0
2.171 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0
2.171 * [backup-simplify]: Simplify (- 0) into 0
2.171 * [backup-simplify]: Simplify (+ 0 0) into 0
2.171 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
2.171 * [backup-simplify]: Simplify (+ (* (/ 1 a) 0) (* 0 (- 1.0 (/ 1 t)))) into 0
2.172 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
2.172 * [backup-simplify]: Simplify (+ 0 0) into 0
2.172 * [backup-simplify]: Simplify (+ 0 0) into 0
2.172 * [taylor]: Taking taylor expansion of 0 in z
2.172 * [backup-simplify]: Simplify 0 into 0
2.172 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.173 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
2.173 * [backup-simplify]: Simplify (* 1.0 (/ 1 a)) into (/ 1.0 a)
2.173 * [backup-simplify]: Simplify (+ (/ 1.0 a) (/ 1 x)) into (+ (* 1.0 (/ 1 a)) (/ 1 x))
2.173 * [backup-simplify]: Simplify (+ 0 (+ (* 1.0 (/ 1 a)) (/ 1 x))) into (+ (* 1.0 (/ 1 a)) (/ 1 x))
2.173 * [backup-simplify]: Simplify (- (/ 1 (* t a))) into (- (/ 1 (* t a)))
2.173 * [backup-simplify]: Simplify (+ (+ (* 1.0 (/ 1 a)) (/ 1 x)) (- (/ 1 (* t a)))) into (- (+ (* 1.0 (/ 1 a)) (/ 1 x)) (/ 1 (* t a)))
2.173 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 a)) (/ 1 x)) (/ 1 (* t a))) in a
2.173 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (/ 1 x)) in a
2.173 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in a
2.173 * [taylor]: Taking taylor expansion of 1.0 in a
2.174 * [backup-simplify]: Simplify 1.0 into 1.0
2.174 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.174 * [taylor]: Taking taylor expansion of a in a
2.174 * [backup-simplify]: Simplify 0 into 0
2.174 * [backup-simplify]: Simplify 1 into 1
2.181 * [backup-simplify]: Simplify (/ 1 1) into 1
2.181 * [taylor]: Taking taylor expansion of (/ 1 x) in a
2.181 * [taylor]: Taking taylor expansion of x in a
2.181 * [backup-simplify]: Simplify x into x
2.181 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.181 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a
2.181 * [taylor]: Taking taylor expansion of (* t a) in a
2.181 * [taylor]: Taking taylor expansion of t in a
2.181 * [backup-simplify]: Simplify t into t
2.181 * [taylor]: Taking taylor expansion of a in a
2.181 * [backup-simplify]: Simplify 0 into 0
2.181 * [backup-simplify]: Simplify 1 into 1
2.181 * [backup-simplify]: Simplify (* t 0) into 0
2.182 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t
2.182 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
2.182 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
2.182 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.183 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t))
2.183 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 t))) into (- 1.0 (/ 1 t))
2.183 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t
2.183 * [taylor]: Taking taylor expansion of 1.0 in t
2.183 * [backup-simplify]: Simplify 1.0 into 1.0
2.183 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.183 * [taylor]: Taking taylor expansion of t in t
2.183 * [backup-simplify]: Simplify 0 into 0
2.183 * [backup-simplify]: Simplify 1 into 1
2.183 * [backup-simplify]: Simplify (/ 1 1) into 1
2.183 * [backup-simplify]: Simplify (- 1) into -1
2.183 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.183 * [taylor]: Taking taylor expansion of -1 in x
2.183 * [backup-simplify]: Simplify -1 into -1
2.184 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.184 * [backup-simplify]: Simplify (- 0) into 0
2.184 * [taylor]: Taking taylor expansion of 0 in a
2.184 * [backup-simplify]: Simplify 0 into 0
2.184 * [taylor]: Taking taylor expansion of 1.0 in t
2.184 * [backup-simplify]: Simplify 1.0 into 1.0
2.184 * [taylor]: Taking taylor expansion of 0 in t
2.184 * [backup-simplify]: Simplify 0 into 0
2.184 * [taylor]: Taking taylor expansion of 0 in t
2.184 * [backup-simplify]: Simplify 0 into 0
2.184 * [taylor]: Taking taylor expansion of -1 in x
2.185 * [backup-simplify]: Simplify -1 into -1
2.185 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
2.185 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.185 * [backup-simplify]: Simplify (- 0) into 0
2.186 * [backup-simplify]: Simplify (+ 0 0) into 0
2.187 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 1.0 0) (+ (* 0 0) (* 0 (/ 1 z))))) into 0
2.187 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0
2.187 * [backup-simplify]: Simplify (- 0) into 0
2.187 * [backup-simplify]: Simplify (+ 0 0) into 0
2.188 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
2.188 * [backup-simplify]: Simplify (+ (* (/ 1 a) 0) (+ (* 0 0) (* 0 (- 1.0 (/ 1 t))))) into 0
2.188 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
2.188 * [backup-simplify]: Simplify (+ 0 0) into 0
2.188 * [backup-simplify]: Simplify (+ 0 0) into 0
2.189 * [taylor]: Taking taylor expansion of 0 in z
2.189 * [backup-simplify]: Simplify 0 into 0
2.189 * [taylor]: Taking taylor expansion of 0 in a
2.189 * [backup-simplify]: Simplify 0 into 0
2.189 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.190 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
2.190 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
2.190 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (/ 1 a))) into 0
2.190 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
2.190 * [backup-simplify]: Simplify (+ 0 0) into 0
2.191 * [backup-simplify]: Simplify (+ 0 0) into 0
2.191 * [backup-simplify]: Simplify (+ (* t 0) (* 0 a)) into 0
2.191 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* t a)) (/ 0 (* t a))))) into 0
2.191 * [backup-simplify]: Simplify (- 0) into 0
2.191 * [backup-simplify]: Simplify (+ 0 0) into 0
2.191 * [taylor]: Taking taylor expansion of 0 in a
2.191 * [backup-simplify]: Simplify 0 into 0
2.192 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.192 * [backup-simplify]: Simplify (- 0) into 0
2.192 * [taylor]: Taking taylor expansion of 0 in a
2.192 * [backup-simplify]: Simplify 0 into 0
2.192 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.193 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
2.193 * [backup-simplify]: Simplify (+ 0 (/ 1 x)) into (/ 1 x)
2.193 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 1) (* 0 0))) into 0
2.193 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0
2.194 * [backup-simplify]: Simplify (- 0) into 0
2.194 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
2.194 * [taylor]: Taking taylor expansion of (/ 1 x) in t
2.194 * [taylor]: Taking taylor expansion of x in t
2.194 * [backup-simplify]: Simplify x into x
2.194 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.194 * [taylor]: Taking taylor expansion of 0 in t
2.194 * [backup-simplify]: Simplify 0 into 0
2.194 * [taylor]: Taking taylor expansion of 0 in t
2.194 * [backup-simplify]: Simplify 0 into 0
2.194 * [taylor]: Taking taylor expansion of 0 in t
2.194 * [backup-simplify]: Simplify 0 into 0
2.194 * [taylor]: Taking taylor expansion of 0 in t
2.194 * [backup-simplify]: Simplify 0 into 0
2.194 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.195 * [backup-simplify]: Simplify (- 0) into 0
2.195 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.195 * [taylor]: Taking taylor expansion of 1.0 in x
2.195 * [backup-simplify]: Simplify 1.0 into 1.0
2.195 * [taylor]: Taking taylor expansion of 1.0 in x
2.195 * [backup-simplify]: Simplify 1.0 into 1.0
2.195 * [taylor]: Taking taylor expansion of 0 in x
2.195 * [backup-simplify]: Simplify 0 into 0
2.195 * [taylor]: Taking taylor expansion of 0 in x
2.195 * [backup-simplify]: Simplify 0 into 0
2.195 * [taylor]: Taking taylor expansion of 0 in x
2.195 * [backup-simplify]: Simplify 0 into 0
2.195 * [backup-simplify]: Simplify -1 into -1
2.195 * [backup-simplify]: Simplify -1 into -1
2.196 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
2.196 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.197 * [backup-simplify]: Simplify (- 0) into 0
2.197 * [backup-simplify]: Simplify (+ 0 0) into 0
2.198 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 z)))))) into 0
2.198 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)) (* 0 (/ 0 t)))) into 0
2.198 * [backup-simplify]: Simplify (- 0) into 0
2.198 * [backup-simplify]: Simplify (+ 0 0) into 0
2.198 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0
2.199 * [backup-simplify]: Simplify (+ (* (/ 1 a) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- 1.0 (/ 1 t)))))) into 0
2.199 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
2.199 * [backup-simplify]: Simplify (+ 0 0) into 0
2.200 * [backup-simplify]: Simplify (+ 0 0) into 0
2.200 * [taylor]: Taking taylor expansion of 0 in z
2.200 * [backup-simplify]: Simplify 0 into 0
2.200 * [taylor]: Taking taylor expansion of 0 in a
2.200 * [backup-simplify]: Simplify 0 into 0
2.200 * [taylor]: Taking taylor expansion of 0 in a
2.200 * [backup-simplify]: Simplify 0 into 0
2.200 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.201 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.201 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
2.201 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 (/ 1 a)))) into 0
2.202 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
2.202 * [backup-simplify]: Simplify (+ 0 0) into 0
2.202 * [backup-simplify]: Simplify (+ 0 0) into 0
2.202 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (* 0 a))) into 0
2.202 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* t a)) (/ 0 (* t a))) (* 0 (/ 0 (* t a))))) into 0
2.203 * [backup-simplify]: Simplify (- 0) into 0
2.203 * [backup-simplify]: Simplify (+ 0 0) into 0
2.203 * [taylor]: Taking taylor expansion of 0 in a
2.203 * [backup-simplify]: Simplify 0 into 0
2.203 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.204 * [backup-simplify]: Simplify (- 0) into 0
2.204 * [taylor]: Taking taylor expansion of 0 in a
2.204 * [backup-simplify]: Simplify 0 into 0
2.204 * [taylor]: Taking taylor expansion of 0 in t
2.204 * [backup-simplify]: Simplify 0 into 0
2.204 * [taylor]: Taking taylor expansion of 0 in t
2.204 * [backup-simplify]: Simplify 0 into 0
2.204 * [taylor]: Taking taylor expansion of 0 in t
2.204 * [backup-simplify]: Simplify 0 into 0
2.204 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.205 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
2.205 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
2.205 * [backup-simplify]: Simplify (+ 0 0) into 0
2.206 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
2.206 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0
2.206 * [backup-simplify]: Simplify (- 0) into 0
2.207 * [backup-simplify]: Simplify (+ 0 0) into 0
2.207 * [taylor]: Taking taylor expansion of 0 in t
2.207 * [backup-simplify]: Simplify 0 into 0
2.207 * [taylor]: Taking taylor expansion of 0 in t
2.207 * [backup-simplify]: Simplify 0 into 0
2.207 * [taylor]: Taking taylor expansion of 0 in t
2.207 * [backup-simplify]: Simplify 0 into 0
2.207 * [taylor]: Taking taylor expansion of 0 in t
2.207 * [backup-simplify]: Simplify 0 into 0
2.207 * [taylor]: Taking taylor expansion of 0 in t
2.207 * [backup-simplify]: Simplify 0 into 0
2.207 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.207 * [taylor]: Taking taylor expansion of x in x
2.207 * [backup-simplify]: Simplify 0 into 0
2.207 * [backup-simplify]: Simplify 1 into 1
2.208 * [backup-simplify]: Simplify (/ 1 1) into 1
2.208 * [backup-simplify]: Simplify 1 into 1
2.208 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 x)) (* 1 (* 1 (* 1 1))))) (+ (* -1 (* 1 (* 1 (* 1 (* (/ 1 (/ 1 z)) (/ 1 (/ 1 y))))))) (* -1 (* 1 (* (/ 1 (/ 1 t)) (* (/ 1 (/ 1 a)) (* 1 1))))))) into (- x (+ (* z y) (* t a)))
2.209 * [backup-simplify]: Simplify (fma (- 1.0 (/ 1 (- y))) (/ 1 (- z)) (fma (/ 1 (- a)) (- 1.0 (/ 1 (- t))) (/ 1 (- x)))) into (fma (+ (/ 1 y) 1.0) (/ -1 z) (fma (/ -1 a) (+ (/ 1 t) 1.0) (/ -1 x)))
2.209 * [approximate]: Taking taylor expansion of (fma (+ (/ 1 y) 1.0) (/ -1 z) (fma (/ -1 a) (+ (/ 1 t) 1.0) (/ -1 x))) in (y z a t x) around 0
2.209 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 y) 1.0) (/ -1 z) (fma (/ -1 a) (+ (/ 1 t) 1.0) (/ -1 x))) in x
2.209 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 y) 1.0) (/ -1 z)) (fma (/ -1 a) (+ (/ 1 t) 1.0) (/ -1 x)))
2.209 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) 1.0) (/ -1 z)) in x
2.209 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x
2.209 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.209 * [taylor]: Taking taylor expansion of y in x
2.209 * [backup-simplify]: Simplify y into y
2.209 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.209 * [taylor]: Taking taylor expansion of 1.0 in x
2.209 * [backup-simplify]: Simplify 1.0 into 1.0
2.209 * [taylor]: Taking taylor expansion of (/ -1 z) in x
2.209 * [taylor]: Taking taylor expansion of -1 in x
2.209 * [backup-simplify]: Simplify -1 into -1
2.209 * [taylor]: Taking taylor expansion of z in x
2.209 * [backup-simplify]: Simplify z into z
2.209 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
2.209 * [taylor]: Taking taylor expansion of (fma (/ -1 a) (+ (/ 1 t) 1.0) (/ -1 x)) in x
2.210 * [taylor]: Rewrote expression to (+ (* (/ -1 a) (+ (/ 1 t) 1.0)) (/ -1 x))
2.210 * [taylor]: Taking taylor expansion of (* (/ -1 a) (+ (/ 1 t) 1.0)) in x
2.210 * [taylor]: Taking taylor expansion of (/ -1 a) in x
2.210 * [taylor]: Taking taylor expansion of -1 in x
2.210 * [backup-simplify]: Simplify -1 into -1
2.210 * [taylor]: Taking taylor expansion of a in x
2.210 * [backup-simplify]: Simplify a into a
2.210 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a)
2.210 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in x
2.210 * [taylor]: Taking taylor expansion of (/ 1 t) in x
2.210 * [taylor]: Taking taylor expansion of t in x
2.210 * [backup-simplify]: Simplify t into t
2.210 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
2.210 * [taylor]: Taking taylor expansion of 1.0 in x
2.210 * [backup-simplify]: Simplify 1.0 into 1.0
2.210 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.210 * [taylor]: Taking taylor expansion of -1 in x
2.210 * [backup-simplify]: Simplify -1 into -1
2.210 * [taylor]: Taking taylor expansion of x in x
2.210 * [backup-simplify]: Simplify 0 into 0
2.210 * [backup-simplify]: Simplify 1 into 1
2.210 * [backup-simplify]: Simplify (/ -1 1) into -1
2.210 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 y) 1.0) (/ -1 z) (fma (/ -1 a) (+ (/ 1 t) 1.0) (/ -1 x))) in t
2.210 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 y) 1.0) (/ -1 z)) (fma (/ -1 a) (+ (/ 1 t) 1.0) (/ -1 x)))
2.210 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) 1.0) (/ -1 z)) in t
2.210 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in t
2.210 * [taylor]: Taking taylor expansion of (/ 1 y) in t
2.210 * [taylor]: Taking taylor expansion of y in t
2.210 * [backup-simplify]: Simplify y into y
2.210 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.211 * [taylor]: Taking taylor expansion of 1.0 in t
2.211 * [backup-simplify]: Simplify 1.0 into 1.0
2.211 * [taylor]: Taking taylor expansion of (/ -1 z) in t
2.211 * [taylor]: Taking taylor expansion of -1 in t
2.211 * [backup-simplify]: Simplify -1 into -1
2.211 * [taylor]: Taking taylor expansion of z in t
2.211 * [backup-simplify]: Simplify z into z
2.211 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
2.211 * [taylor]: Taking taylor expansion of (fma (/ -1 a) (+ (/ 1 t) 1.0) (/ -1 x)) in t
2.211 * [taylor]: Rewrote expression to (+ (* (/ -1 a) (+ (/ 1 t) 1.0)) (/ -1 x))
2.211 * [taylor]: Taking taylor expansion of (* (/ -1 a) (+ (/ 1 t) 1.0)) in t
2.211 * [taylor]: Taking taylor expansion of (/ -1 a) in t
2.211 * [taylor]: Taking taylor expansion of -1 in t
2.211 * [backup-simplify]: Simplify -1 into -1
2.211 * [taylor]: Taking taylor expansion of a in t
2.211 * [backup-simplify]: Simplify a into a
2.211 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a)
2.211 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
2.211 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.211 * [taylor]: Taking taylor expansion of t in t
2.211 * [backup-simplify]: Simplify 0 into 0
2.211 * [backup-simplify]: Simplify 1 into 1
2.211 * [backup-simplify]: Simplify (/ 1 1) into 1
2.211 * [taylor]: Taking taylor expansion of 1.0 in t
2.211 * [backup-simplify]: Simplify 1.0 into 1.0
2.211 * [taylor]: Taking taylor expansion of (/ -1 x) in t
2.211 * [taylor]: Taking taylor expansion of -1 in t
2.211 * [backup-simplify]: Simplify -1 into -1
2.211 * [taylor]: Taking taylor expansion of x in t
2.211 * [backup-simplify]: Simplify x into x
2.211 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
2.211 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 y) 1.0) (/ -1 z) (fma (/ -1 a) (+ (/ 1 t) 1.0) (/ -1 x))) in a
2.212 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 y) 1.0) (/ -1 z)) (fma (/ -1 a) (+ (/ 1 t) 1.0) (/ -1 x)))
2.212 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) 1.0) (/ -1 z)) in a
2.212 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in a
2.212 * [taylor]: Taking taylor expansion of (/ 1 y) in a
2.212 * [taylor]: Taking taylor expansion of y in a
2.212 * [backup-simplify]: Simplify y into y
2.212 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.212 * [taylor]: Taking taylor expansion of 1.0 in a
2.212 * [backup-simplify]: Simplify 1.0 into 1.0
2.212 * [taylor]: Taking taylor expansion of (/ -1 z) in a
2.212 * [taylor]: Taking taylor expansion of -1 in a
2.212 * [backup-simplify]: Simplify -1 into -1
2.212 * [taylor]: Taking taylor expansion of z in a
2.212 * [backup-simplify]: Simplify z into z
2.212 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
2.212 * [taylor]: Taking taylor expansion of (fma (/ -1 a) (+ (/ 1 t) 1.0) (/ -1 x)) in a
2.212 * [taylor]: Rewrote expression to (+ (* (/ -1 a) (+ (/ 1 t) 1.0)) (/ -1 x))
2.212 * [taylor]: Taking taylor expansion of (* (/ -1 a) (+ (/ 1 t) 1.0)) in a
2.212 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.212 * [taylor]: Taking taylor expansion of -1 in a
2.212 * [backup-simplify]: Simplify -1 into -1
2.212 * [taylor]: Taking taylor expansion of a in a
2.212 * [backup-simplify]: Simplify 0 into 0
2.212 * [backup-simplify]: Simplify 1 into 1
2.213 * [backup-simplify]: Simplify (/ -1 1) into -1
2.213 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in a
2.213 * [taylor]: Taking taylor expansion of (/ 1 t) in a
2.213 * [taylor]: Taking taylor expansion of t in a
2.213 * [backup-simplify]: Simplify t into t
2.213 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
2.213 * [taylor]: Taking taylor expansion of 1.0 in a
2.213 * [backup-simplify]: Simplify 1.0 into 1.0
2.213 * [taylor]: Taking taylor expansion of (/ -1 x) in a
2.213 * [taylor]: Taking taylor expansion of -1 in a
2.213 * [backup-simplify]: Simplify -1 into -1
2.213 * [taylor]: Taking taylor expansion of x in a
2.213 * [backup-simplify]: Simplify x into x
2.213 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
2.213 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 y) 1.0) (/ -1 z) (fma (/ -1 a) (+ (/ 1 t) 1.0) (/ -1 x))) in z
2.213 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 y) 1.0) (/ -1 z)) (fma (/ -1 a) (+ (/ 1 t) 1.0) (/ -1 x)))
2.213 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) 1.0) (/ -1 z)) in z
2.214 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in z
2.214 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.214 * [taylor]: Taking taylor expansion of y in z
2.214 * [backup-simplify]: Simplify y into y
2.214 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.214 * [taylor]: Taking taylor expansion of 1.0 in z
2.214 * [backup-simplify]: Simplify 1.0 into 1.0
2.214 * [taylor]: Taking taylor expansion of (/ -1 z) in z
2.214 * [taylor]: Taking taylor expansion of -1 in z
2.214 * [backup-simplify]: Simplify -1 into -1
2.214 * [taylor]: Taking taylor expansion of z in z
2.214 * [backup-simplify]: Simplify 0 into 0
2.214 * [backup-simplify]: Simplify 1 into 1
2.214 * [backup-simplify]: Simplify (/ -1 1) into -1
2.214 * [taylor]: Taking taylor expansion of (fma (/ -1 a) (+ (/ 1 t) 1.0) (/ -1 x)) in z
2.215 * [taylor]: Rewrote expression to (+ (* (/ -1 a) (+ (/ 1 t) 1.0)) (/ -1 x))
2.215 * [taylor]: Taking taylor expansion of (* (/ -1 a) (+ (/ 1 t) 1.0)) in z
2.215 * [taylor]: Taking taylor expansion of (/ -1 a) in z
2.215 * [taylor]: Taking taylor expansion of -1 in z
2.215 * [backup-simplify]: Simplify -1 into -1
2.215 * [taylor]: Taking taylor expansion of a in z
2.215 * [backup-simplify]: Simplify a into a
2.215 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a)
2.215 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in z
2.215 * [taylor]: Taking taylor expansion of (/ 1 t) in z
2.215 * [taylor]: Taking taylor expansion of t in z
2.215 * [backup-simplify]: Simplify t into t
2.215 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
2.215 * [taylor]: Taking taylor expansion of 1.0 in z
2.215 * [backup-simplify]: Simplify 1.0 into 1.0
2.215 * [taylor]: Taking taylor expansion of (/ -1 x) in z
2.215 * [taylor]: Taking taylor expansion of -1 in z
2.215 * [backup-simplify]: Simplify -1 into -1
2.215 * [taylor]: Taking taylor expansion of x in z
2.215 * [backup-simplify]: Simplify x into x
2.215 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
2.215 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 y) 1.0) (/ -1 z) (fma (/ -1 a) (+ (/ 1 t) 1.0) (/ -1 x))) in y
2.215 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 y) 1.0) (/ -1 z)) (fma (/ -1 a) (+ (/ 1 t) 1.0) (/ -1 x)))
2.216 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) 1.0) (/ -1 z)) in y
2.216 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
2.216 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.216 * [taylor]: Taking taylor expansion of y in y
2.216 * [backup-simplify]: Simplify 0 into 0
2.216 * [backup-simplify]: Simplify 1 into 1
2.216 * [backup-simplify]: Simplify (/ 1 1) into 1
2.216 * [taylor]: Taking taylor expansion of 1.0 in y
2.216 * [backup-simplify]: Simplify 1.0 into 1.0
2.216 * [taylor]: Taking taylor expansion of (/ -1 z) in y
2.216 * [taylor]: Taking taylor expansion of -1 in y
2.216 * [backup-simplify]: Simplify -1 into -1
2.216 * [taylor]: Taking taylor expansion of z in y
2.216 * [backup-simplify]: Simplify z into z
2.216 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
2.216 * [taylor]: Taking taylor expansion of (fma (/ -1 a) (+ (/ 1 t) 1.0) (/ -1 x)) in y
2.217 * [taylor]: Rewrote expression to (+ (* (/ -1 a) (+ (/ 1 t) 1.0)) (/ -1 x))
2.217 * [taylor]: Taking taylor expansion of (* (/ -1 a) (+ (/ 1 t) 1.0)) in y
2.217 * [taylor]: Taking taylor expansion of (/ -1 a) in y
2.217 * [taylor]: Taking taylor expansion of -1 in y
2.217 * [backup-simplify]: Simplify -1 into -1
2.217 * [taylor]: Taking taylor expansion of a in y
2.217 * [backup-simplify]: Simplify a into a
2.217 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a)
2.217 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in y
2.217 * [taylor]: Taking taylor expansion of (/ 1 t) in y
2.217 * [taylor]: Taking taylor expansion of t in y
2.217 * [backup-simplify]: Simplify t into t
2.217 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
2.217 * [taylor]: Taking taylor expansion of 1.0 in y
2.217 * [backup-simplify]: Simplify 1.0 into 1.0
2.217 * [taylor]: Taking taylor expansion of (/ -1 x) in y
2.217 * [taylor]: Taking taylor expansion of -1 in y
2.217 * [backup-simplify]: Simplify -1 into -1
2.217 * [taylor]: Taking taylor expansion of x in y
2.217 * [backup-simplify]: Simplify x into x
2.217 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
2.217 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 y) 1.0) (/ -1 z) (fma (/ -1 a) (+ (/ 1 t) 1.0) (/ -1 x))) in y
2.217 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 y) 1.0) (/ -1 z)) (fma (/ -1 a) (+ (/ 1 t) 1.0) (/ -1 x)))
2.218 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) 1.0) (/ -1 z)) in y
2.218 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
2.218 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.218 * [taylor]: Taking taylor expansion of y in y
2.218 * [backup-simplify]: Simplify 0 into 0
2.218 * [backup-simplify]: Simplify 1 into 1
2.218 * [backup-simplify]: Simplify (/ 1 1) into 1
2.218 * [taylor]: Taking taylor expansion of 1.0 in y
2.218 * [backup-simplify]: Simplify 1.0 into 1.0
2.218 * [taylor]: Taking taylor expansion of (/ -1 z) in y
2.218 * [taylor]: Taking taylor expansion of -1 in y
2.218 * [backup-simplify]: Simplify -1 into -1
2.218 * [taylor]: Taking taylor expansion of z in y
2.218 * [backup-simplify]: Simplify z into z
2.218 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
2.218 * [taylor]: Taking taylor expansion of (fma (/ -1 a) (+ (/ 1 t) 1.0) (/ -1 x)) in y
2.219 * [taylor]: Rewrote expression to (+ (* (/ -1 a) (+ (/ 1 t) 1.0)) (/ -1 x))
2.219 * [taylor]: Taking taylor expansion of (* (/ -1 a) (+ (/ 1 t) 1.0)) in y
2.219 * [taylor]: Taking taylor expansion of (/ -1 a) in y
2.219 * [taylor]: Taking taylor expansion of -1 in y
2.219 * [backup-simplify]: Simplify -1 into -1
2.219 * [taylor]: Taking taylor expansion of a in y
2.219 * [backup-simplify]: Simplify a into a
2.219 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a)
2.219 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in y
2.219 * [taylor]: Taking taylor expansion of (/ 1 t) in y
2.219 * [taylor]: Taking taylor expansion of t in y
2.219 * [backup-simplify]: Simplify t into t
2.219 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
2.219 * [taylor]: Taking taylor expansion of 1.0 in y
2.219 * [backup-simplify]: Simplify 1.0 into 1.0
2.219 * [taylor]: Taking taylor expansion of (/ -1 x) in y
2.219 * [taylor]: Taking taylor expansion of -1 in y
2.219 * [backup-simplify]: Simplify -1 into -1
2.219 * [taylor]: Taking taylor expansion of x in y
2.219 * [backup-simplify]: Simplify x into x
2.219 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
2.220 * [backup-simplify]: Simplify (+ 1 0) into 1
2.220 * [backup-simplify]: Simplify (* 1 (/ -1 z)) into (/ -1 z)
2.220 * [backup-simplify]: Simplify (+ (/ -1 z) 0) into (- (/ 1 z))
2.220 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
2.220 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.220 * [taylor]: Taking taylor expansion of z in z
2.220 * [backup-simplify]: Simplify 0 into 0
2.220 * [backup-simplify]: Simplify 1 into 1
2.220 * [backup-simplify]: Simplify (/ 1 1) into 1
2.220 * [backup-simplify]: Simplify (- 1) into -1
2.220 * [taylor]: Taking taylor expansion of -1 in a
2.220 * [backup-simplify]: Simplify -1 into -1
2.221 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0
2.221 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.221 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.222 * [backup-simplify]: Simplify (+ (* 1 0) (* 1.0 (/ -1 z))) into (- (* 1.0 (/ 1 z)))
2.222 * [backup-simplify]: Simplify (+ (/ 1 t) 1.0) into (+ (/ 1 t) 1.0)
2.222 * [backup-simplify]: Simplify (* (/ -1 a) (+ (/ 1 t) 1.0)) into (* -1 (/ (+ (/ 1 t) 1.0) a))
2.222 * [backup-simplify]: Simplify (+ (* -1 (/ (+ (/ 1 t) 1.0) a)) (/ -1 x)) into (- (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x))))
2.223 * [backup-simplify]: Simplify (+ (- (* 1.0 (/ 1 z))) (- (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x))))) into (- (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 z)) (+ (* 1.0 (/ 1 a)) (/ 1 x)))))
2.223 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 z)) (+ (* 1.0 (/ 1 a)) (/ 1 x))))) in z
2.223 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 z)) (+ (* 1.0 (/ 1 a)) (/ 1 x)))) in z
2.223 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
2.223 * [taylor]: Taking taylor expansion of (* t a) in z
2.223 * [taylor]: Taking taylor expansion of t in z
2.223 * [backup-simplify]: Simplify t into t
2.223 * [taylor]: Taking taylor expansion of a in z
2.223 * [backup-simplify]: Simplify a into a
2.223 * [backup-simplify]: Simplify (* t a) into (* t a)
2.223 * [backup-simplify]: Simplify (/ 1 (* t a)) into (/ 1 (* t a))
2.223 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (+ (* 1.0 (/ 1 a)) (/ 1 x))) in z
2.223 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
2.223 * [taylor]: Taking taylor expansion of 1.0 in z
2.223 * [backup-simplify]: Simplify 1.0 into 1.0
2.223 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.223 * [taylor]: Taking taylor expansion of z in z
2.223 * [backup-simplify]: Simplify 0 into 0
2.223 * [backup-simplify]: Simplify 1 into 1
2.223 * [backup-simplify]: Simplify (/ 1 1) into 1
2.223 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (/ 1 x)) in z
2.223 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in z
2.223 * [taylor]: Taking taylor expansion of 1.0 in z
2.223 * [backup-simplify]: Simplify 1.0 into 1.0
2.223 * [taylor]: Taking taylor expansion of (/ 1 a) in z
2.223 * [taylor]: Taking taylor expansion of a in z
2.223 * [backup-simplify]: Simplify a into a
2.223 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
2.223 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.223 * [taylor]: Taking taylor expansion of x in z
2.223 * [backup-simplify]: Simplify x into x
2.224 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.224 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
2.224 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.225 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.225 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
2.225 * [taylor]: Taking taylor expansion of (- 1.0) in a
2.225 * [taylor]: Taking taylor expansion of 1.0 in a
2.225 * [backup-simplify]: Simplify 1.0 into 1.0
2.226 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.226 * [backup-simplify]: Simplify (- 0) into 0
2.226 * [taylor]: Taking taylor expansion of 0 in a
2.226 * [backup-simplify]: Simplify 0 into 0
2.226 * [taylor]: Taking taylor expansion of -1 in t
2.226 * [backup-simplify]: Simplify -1 into -1
2.226 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
2.227 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.228 * [backup-simplify]: Simplify (+ 0 0) into 0
2.228 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 1.0 0) (* 0 (/ -1 z)))) into 0
2.229 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0
2.229 * [backup-simplify]: Simplify (+ 0 0) into 0
2.229 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)))) into 0
2.229 * [backup-simplify]: Simplify (+ (* (/ -1 a) 0) (* 0 (+ (/ 1 t) 1.0))) into 0
2.229 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
2.230 * [backup-simplify]: Simplify (+ 0 0) into 0
2.230 * [backup-simplify]: Simplify (+ 0 0) into 0
2.230 * [taylor]: Taking taylor expansion of 0 in z
2.230 * [backup-simplify]: Simplify 0 into 0
2.231 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.231 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
2.231 * [backup-simplify]: Simplify (* 1.0 (/ 1 a)) into (/ 1.0 a)
2.232 * [backup-simplify]: Simplify (+ (/ 1.0 a) (/ 1 x)) into (+ (* 1.0 (/ 1 a)) (/ 1 x))
2.232 * [backup-simplify]: Simplify (+ 0 (+ (* 1.0 (/ 1 a)) (/ 1 x))) into (+ (* 1.0 (/ 1 a)) (/ 1 x))
2.232 * [backup-simplify]: Simplify (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x))) into (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x)))
2.232 * [backup-simplify]: Simplify (- (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x)))) into (- (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x))))
2.232 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x)))) in a
2.232 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x))) in a
2.232 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a
2.232 * [taylor]: Taking taylor expansion of (* t a) in a
2.232 * [taylor]: Taking taylor expansion of t in a
2.232 * [backup-simplify]: Simplify t into t
2.232 * [taylor]: Taking taylor expansion of a in a
2.232 * [backup-simplify]: Simplify 0 into 0
2.232 * [backup-simplify]: Simplify 1 into 1
2.232 * [backup-simplify]: Simplify (* t 0) into 0
2.232 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t
2.232 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
2.233 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (/ 1 x)) in a
2.233 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in a
2.233 * [taylor]: Taking taylor expansion of 1.0 in a
2.233 * [backup-simplify]: Simplify 1.0 into 1.0
2.233 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.233 * [taylor]: Taking taylor expansion of a in a
2.233 * [backup-simplify]: Simplify 0 into 0
2.233 * [backup-simplify]: Simplify 1 into 1
2.233 * [backup-simplify]: Simplify (/ 1 1) into 1
2.233 * [taylor]: Taking taylor expansion of (/ 1 x) in a
2.233 * [taylor]: Taking taylor expansion of x in a
2.233 * [backup-simplify]: Simplify x into x
2.233 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.233 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
2.234 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.234 * [backup-simplify]: Simplify (+ (/ 1 t) 1.0) into (+ (/ 1 t) 1.0)
2.234 * [backup-simplify]: Simplify (- (+ (/ 1 t) 1.0)) into (- (+ (/ 1 t) 1.0))
2.234 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) 1.0)) in t
2.234 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
2.234 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.234 * [taylor]: Taking taylor expansion of t in t
2.234 * [backup-simplify]: Simplify 0 into 0
2.234 * [backup-simplify]: Simplify 1 into 1
2.234 * [backup-simplify]: Simplify (/ 1 1) into 1
2.234 * [taylor]: Taking taylor expansion of 1.0 in t
2.234 * [backup-simplify]: Simplify 1.0 into 1.0
2.234 * [backup-simplify]: Simplify (+ 1 0) into 1
2.235 * [backup-simplify]: Simplify (- 1) into -1
2.235 * [taylor]: Taking taylor expansion of -1 in x
2.235 * [backup-simplify]: Simplify -1 into -1
2.235 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.235 * [backup-simplify]: Simplify (- 0) into 0
2.235 * [taylor]: Taking taylor expansion of 0 in a
2.235 * [backup-simplify]: Simplify 0 into 0
2.236 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
2.236 * [taylor]: Taking taylor expansion of (- 1.0) in t
2.236 * [taylor]: Taking taylor expansion of 1.0 in t
2.236 * [backup-simplify]: Simplify 1.0 into 1.0
2.236 * [taylor]: Taking taylor expansion of 0 in t
2.236 * [backup-simplify]: Simplify 0 into 0
2.236 * [taylor]: Taking taylor expansion of 0 in t
2.236 * [backup-simplify]: Simplify 0 into 0
2.236 * [taylor]: Taking taylor expansion of -1 in x
2.236 * [backup-simplify]: Simplify -1 into -1
2.236 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
2.236 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.237 * [backup-simplify]: Simplify (+ 0 0) into 0
2.237 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 1.0 0) (+ (* 0 0) (* 0 (/ -1 z))))) into 0
2.238 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0
2.238 * [backup-simplify]: Simplify (+ 0 0) into 0
2.238 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
2.238 * [backup-simplify]: Simplify (+ (* (/ -1 a) 0) (+ (* 0 0) (* 0 (+ (/ 1 t) 1.0)))) into 0
2.238 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
2.239 * [backup-simplify]: Simplify (+ 0 0) into 0
2.239 * [backup-simplify]: Simplify (+ 0 0) into 0
2.239 * [taylor]: Taking taylor expansion of 0 in z
2.239 * [backup-simplify]: Simplify 0 into 0
2.239 * [taylor]: Taking taylor expansion of 0 in a
2.239 * [backup-simplify]: Simplify 0 into 0
2.239 * [backup-simplify]: Simplify (+ (* t 0) (* 0 a)) into 0
2.239 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* t a)) (/ 0 (* t a))))) into 0
2.240 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.240 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
2.240 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
2.241 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (/ 1 a))) into 0
2.241 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
2.241 * [backup-simplify]: Simplify (+ 0 0) into 0
2.241 * [backup-simplify]: Simplify (+ 0 0) into 0
2.241 * [backup-simplify]: Simplify (+ 0 0) into 0
2.242 * [backup-simplify]: Simplify (- 0) into 0
2.242 * [taylor]: Taking taylor expansion of 0 in a
2.242 * [backup-simplify]: Simplify 0 into 0
2.242 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.242 * [backup-simplify]: Simplify (- 0) into 0
2.242 * [taylor]: Taking taylor expansion of 0 in a
2.242 * [backup-simplify]: Simplify 0 into 0
2.243 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 1) (* 0 0))) into 0
2.243 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0
2.243 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.244 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
2.244 * [backup-simplify]: Simplify (+ 0 (/ 1 x)) into (/ 1 x)
2.244 * [backup-simplify]: Simplify (+ 0 (/ 1 x)) into (/ 1 x)
2.244 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
2.244 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in t
2.244 * [taylor]: Taking taylor expansion of (/ 1 x) in t
2.244 * [taylor]: Taking taylor expansion of x in t
2.244 * [backup-simplify]: Simplify x into x
2.244 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.244 * [taylor]: Taking taylor expansion of 0 in t
2.244 * [backup-simplify]: Simplify 0 into 0
2.245 * [backup-simplify]: Simplify (- 0) into 0
2.245 * [taylor]: Taking taylor expansion of 0 in t
2.245 * [backup-simplify]: Simplify 0 into 0
2.245 * [taylor]: Taking taylor expansion of 0 in t
2.245 * [backup-simplify]: Simplify 0 into 0
2.245 * [taylor]: Taking taylor expansion of 0 in t
2.245 * [backup-simplify]: Simplify 0 into 0
2.246 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.246 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.246 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
2.246 * [taylor]: Taking taylor expansion of (- 1.0) in x
2.247 * [taylor]: Taking taylor expansion of 1.0 in x
2.247 * [backup-simplify]: Simplify 1.0 into 1.0
2.247 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
2.247 * [taylor]: Taking taylor expansion of (- 1.0) in x
2.247 * [taylor]: Taking taylor expansion of 1.0 in x
2.247 * [backup-simplify]: Simplify 1.0 into 1.0
2.247 * [taylor]: Taking taylor expansion of 0 in x
2.247 * [backup-simplify]: Simplify 0 into 0
2.247 * [taylor]: Taking taylor expansion of 0 in x
2.247 * [backup-simplify]: Simplify 0 into 0
2.247 * [taylor]: Taking taylor expansion of 0 in x
2.247 * [backup-simplify]: Simplify 0 into 0
2.247 * [backup-simplify]: Simplify -1 into -1
2.248 * [backup-simplify]: Simplify -1 into -1
2.248 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
2.249 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.249 * [backup-simplify]: Simplify (+ 0 0) into 0
2.251 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 z)))))) into 0
2.251 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)) (* 0 (/ 0 t)))) into 0
2.252 * [backup-simplify]: Simplify (+ 0 0) into 0
2.252 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0
2.253 * [backup-simplify]: Simplify (+ (* (/ -1 a) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (/ 1 t) 1.0))))) into 0
2.253 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
2.253 * [backup-simplify]: Simplify (+ 0 0) into 0
2.254 * [backup-simplify]: Simplify (+ 0 0) into 0
2.254 * [taylor]: Taking taylor expansion of 0 in z
2.254 * [backup-simplify]: Simplify 0 into 0
2.254 * [taylor]: Taking taylor expansion of 0 in a
2.254 * [backup-simplify]: Simplify 0 into 0
2.254 * [taylor]: Taking taylor expansion of 0 in a
2.254 * [backup-simplify]: Simplify 0 into 0
2.255 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (* 0 a))) into 0
2.255 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* t a)) (/ 0 (* t a))) (* 0 (/ 0 (* t a))))) into 0
2.256 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.257 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.257 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
2.258 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 (/ 1 a)))) into 0
2.259 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
2.259 * [backup-simplify]: Simplify (+ 0 0) into 0
2.259 * [backup-simplify]: Simplify (+ 0 0) into 0
2.260 * [backup-simplify]: Simplify (+ 0 0) into 0
2.260 * [backup-simplify]: Simplify (- 0) into 0
2.260 * [taylor]: Taking taylor expansion of 0 in a
2.260 * [backup-simplify]: Simplify 0 into 0
2.260 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.261 * [backup-simplify]: Simplify (- 0) into 0
2.261 * [taylor]: Taking taylor expansion of 0 in a
2.261 * [backup-simplify]: Simplify 0 into 0
2.261 * [taylor]: Taking taylor expansion of 0 in t
2.261 * [backup-simplify]: Simplify 0 into 0
2.261 * [taylor]: Taking taylor expansion of 0 in t
2.261 * [backup-simplify]: Simplify 0 into 0
2.261 * [taylor]: Taking taylor expansion of 0 in t
2.261 * [backup-simplify]: Simplify 0 into 0
2.261 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
2.262 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0
2.262 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.263 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
2.263 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
2.263 * [backup-simplify]: Simplify (+ 0 0) into 0
2.263 * [backup-simplify]: Simplify (+ 0 0) into 0
2.263 * [backup-simplify]: Simplify (- 0) into 0
2.263 * [taylor]: Taking taylor expansion of 0 in t
2.263 * [backup-simplify]: Simplify 0 into 0
2.263 * [taylor]: Taking taylor expansion of 0 in t
2.263 * [backup-simplify]: Simplify 0 into 0
2.264 * [backup-simplify]: Simplify (- 0) into 0
2.264 * [taylor]: Taking taylor expansion of 0 in t
2.264 * [backup-simplify]: Simplify 0 into 0
2.264 * [taylor]: Taking taylor expansion of 0 in t
2.264 * [backup-simplify]: Simplify 0 into 0
2.264 * [taylor]: Taking taylor expansion of 0 in t
2.264 * [backup-simplify]: Simplify 0 into 0
2.264 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
2.264 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
2.264 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.264 * [taylor]: Taking taylor expansion of x in x
2.264 * [backup-simplify]: Simplify 0 into 0
2.264 * [backup-simplify]: Simplify 1 into 1
2.264 * [backup-simplify]: Simplify (/ 1 1) into 1
2.264 * [backup-simplify]: Simplify (- 1) into -1
2.265 * [backup-simplify]: Simplify -1 into -1
2.265 * [backup-simplify]: Simplify (+ (* -1 (* (/ 1 (/ 1 (- x))) (* 1 (* 1 (* 1 1))))) (+ (* -1 (* 1 (* 1 (* 1 (* (/ 1 (/ 1 (- z))) (/ 1 (/ 1 (- y)))))))) (* -1 (* 1 (* (/ 1 (/ 1 (- t))) (* (/ 1 (/ 1 (- a))) (* 1 1))))))) into (- x (+ (* z y) (* t a)))
2.266 * * * * [progress]: [ 2 / 2 ] generating series at (2 3 3)
2.266 * [backup-simplify]: Simplify (fma a (- 1.0 t) x) into (fma a (- 1.0 t) x)
2.266 * [approximate]: Taking taylor expansion of (fma a (- 1.0 t) x) in (a t x) around 0
2.266 * [taylor]: Taking taylor expansion of (fma a (- 1.0 t) x) in x
2.266 * [taylor]: Rewrote expression to (+ (* a (- 1.0 t)) x)
2.266 * [taylor]: Taking taylor expansion of (* a (- 1.0 t)) in x
2.266 * [taylor]: Taking taylor expansion of a in x
2.266 * [backup-simplify]: Simplify a into a
2.266 * [taylor]: Taking taylor expansion of (- 1.0 t) in x
2.266 * [taylor]: Taking taylor expansion of 1.0 in x
2.266 * [backup-simplify]: Simplify 1.0 into 1.0
2.266 * [taylor]: Taking taylor expansion of t in x
2.266 * [backup-simplify]: Simplify t into t
2.266 * [taylor]: Taking taylor expansion of x in x
2.266 * [backup-simplify]: Simplify 0 into 0
2.266 * [backup-simplify]: Simplify 1 into 1
2.266 * [taylor]: Taking taylor expansion of (fma a (- 1.0 t) x) in t
2.266 * [taylor]: Rewrote expression to (+ (* a (- 1.0 t)) x)
2.266 * [taylor]: Taking taylor expansion of (* a (- 1.0 t)) in t
2.266 * [taylor]: Taking taylor expansion of a in t
2.266 * [backup-simplify]: Simplify a into a
2.266 * [taylor]: Taking taylor expansion of (- 1.0 t) in t
2.266 * [taylor]: Taking taylor expansion of 1.0 in t
2.266 * [backup-simplify]: Simplify 1.0 into 1.0
2.266 * [taylor]: Taking taylor expansion of t in t
2.266 * [backup-simplify]: Simplify 0 into 0
2.266 * [backup-simplify]: Simplify 1 into 1
2.266 * [taylor]: Taking taylor expansion of x in t
2.266 * [backup-simplify]: Simplify x into x
2.266 * [taylor]: Taking taylor expansion of (fma a (- 1.0 t) x) in a
2.266 * [taylor]: Rewrote expression to (+ (* a (- 1.0 t)) x)
2.266 * [taylor]: Taking taylor expansion of (* a (- 1.0 t)) in a
2.266 * [taylor]: Taking taylor expansion of a in a
2.266 * [backup-simplify]: Simplify 0 into 0
2.267 * [backup-simplify]: Simplify 1 into 1
2.267 * [taylor]: Taking taylor expansion of (- 1.0 t) in a
2.267 * [taylor]: Taking taylor expansion of 1.0 in a
2.267 * [backup-simplify]: Simplify 1.0 into 1.0
2.267 * [taylor]: Taking taylor expansion of t in a
2.267 * [backup-simplify]: Simplify t into t
2.267 * [taylor]: Taking taylor expansion of x in a
2.267 * [backup-simplify]: Simplify x into x
2.267 * [taylor]: Taking taylor expansion of (fma a (- 1.0 t) x) in a
2.267 * [taylor]: Rewrote expression to (+ (* a (- 1.0 t)) x)
2.267 * [taylor]: Taking taylor expansion of (* a (- 1.0 t)) in a
2.267 * [taylor]: Taking taylor expansion of a in a
2.267 * [backup-simplify]: Simplify 0 into 0
2.267 * [backup-simplify]: Simplify 1 into 1
2.267 * [taylor]: Taking taylor expansion of (- 1.0 t) in a
2.267 * [taylor]: Taking taylor expansion of 1.0 in a
2.267 * [backup-simplify]: Simplify 1.0 into 1.0
2.267 * [taylor]: Taking taylor expansion of t in a
2.267 * [backup-simplify]: Simplify t into t
2.267 * [taylor]: Taking taylor expansion of x in a
2.267 * [backup-simplify]: Simplify x into x
2.267 * [backup-simplify]: Simplify (- t) into (- t)
2.267 * [backup-simplify]: Simplify (+ 1.0 (- t)) into (- 1.0 t)
2.267 * [backup-simplify]: Simplify (* 0 (- 1.0 t)) into 0
2.267 * [backup-simplify]: Simplify (+ 0 x) into x
2.267 * [taylor]: Taking taylor expansion of x in t
2.267 * [backup-simplify]: Simplify x into x
2.267 * [taylor]: Taking taylor expansion of x in x
2.267 * [backup-simplify]: Simplify 0 into 0
2.267 * [backup-simplify]: Simplify 1 into 1
2.267 * [backup-simplify]: Simplify 0 into 0
2.267 * [backup-simplify]: Simplify (- 0) into 0
2.268 * [backup-simplify]: Simplify (+ 0 0) into 0
2.268 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- 1.0 t))) into (- 1.0 t)
2.268 * [backup-simplify]: Simplify (+ (- 1.0 t) 0) into (- 1.0 t)
2.268 * [taylor]: Taking taylor expansion of (- 1.0 t) in t
2.268 * [taylor]: Taking taylor expansion of 1.0 in t
2.268 * [backup-simplify]: Simplify 1.0 into 1.0
2.268 * [taylor]: Taking taylor expansion of t in t
2.268 * [backup-simplify]: Simplify 0 into 0
2.268 * [backup-simplify]: Simplify 1 into 1
2.268 * [backup-simplify]: Simplify (- 0) into 0
2.269 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.269 * [taylor]: Taking taylor expansion of 1.0 in x
2.269 * [backup-simplify]: Simplify 1.0 into 1.0
2.269 * [backup-simplify]: Simplify 1.0 into 1.0
2.269 * [taylor]: Taking taylor expansion of 0 in x
2.269 * [backup-simplify]: Simplify 0 into 0
2.269 * [backup-simplify]: Simplify 0 into 0
2.269 * [backup-simplify]: Simplify 1 into 1
2.269 * [backup-simplify]: Simplify (- 0) into 0
2.269 * [backup-simplify]: Simplify (+ 0 0) into 0
2.270 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- 1.0 t)))) into 0
2.270 * [backup-simplify]: Simplify (+ 0 0) into 0
2.270 * [taylor]: Taking taylor expansion of 0 in t
2.270 * [backup-simplify]: Simplify 0 into 0
2.270 * [taylor]: Taking taylor expansion of 0 in x
2.270 * [backup-simplify]: Simplify 0 into 0
2.270 * [backup-simplify]: Simplify 0 into 0
2.270 * [backup-simplify]: Simplify (- 1) into -1
2.271 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.271 * [taylor]: Taking taylor expansion of -1 in x
2.271 * [backup-simplify]: Simplify -1 into -1
2.271 * [backup-simplify]: Simplify -1 into -1
2.271 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* t a))) (+ (* 1 (* x (* 1 1))) (* 1.0 (* 1 (* 1 a))))) into (- (+ x (* 1.0 a)) (* t a))
2.271 * [backup-simplify]: Simplify (fma (/ 1 a) (- 1.0 (/ 1 t)) (/ 1 x)) into (fma (/ 1 a) (- 1.0 (/ 1 t)) (/ 1 x))
2.271 * [approximate]: Taking taylor expansion of (fma (/ 1 a) (- 1.0 (/ 1 t)) (/ 1 x)) in (a t x) around 0
2.271 * [taylor]: Taking taylor expansion of (fma (/ 1 a) (- 1.0 (/ 1 t)) (/ 1 x)) in x
2.271 * [taylor]: Rewrote expression to (+ (* (/ 1 a) (- 1.0 (/ 1 t))) (/ 1 x))
2.271 * [taylor]: Taking taylor expansion of (* (/ 1 a) (- 1.0 (/ 1 t))) in x
2.271 * [taylor]: Taking taylor expansion of (/ 1 a) in x
2.271 * [taylor]: Taking taylor expansion of a in x
2.271 * [backup-simplify]: Simplify a into a
2.271 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
2.271 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in x
2.271 * [taylor]: Taking taylor expansion of 1.0 in x
2.271 * [backup-simplify]: Simplify 1.0 into 1.0
2.271 * [taylor]: Taking taylor expansion of (/ 1 t) in x
2.271 * [taylor]: Taking taylor expansion of t in x
2.272 * [backup-simplify]: Simplify t into t
2.272 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
2.272 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.272 * [taylor]: Taking taylor expansion of x in x
2.272 * [backup-simplify]: Simplify 0 into 0
2.272 * [backup-simplify]: Simplify 1 into 1
2.272 * [backup-simplify]: Simplify (/ 1 1) into 1
2.272 * [taylor]: Taking taylor expansion of (fma (/ 1 a) (- 1.0 (/ 1 t)) (/ 1 x)) in t
2.272 * [taylor]: Rewrote expression to (+ (* (/ 1 a) (- 1.0 (/ 1 t))) (/ 1 x))
2.272 * [taylor]: Taking taylor expansion of (* (/ 1 a) (- 1.0 (/ 1 t))) in t
2.272 * [taylor]: Taking taylor expansion of (/ 1 a) in t
2.272 * [taylor]: Taking taylor expansion of a in t
2.272 * [backup-simplify]: Simplify a into a
2.272 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
2.272 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t
2.272 * [taylor]: Taking taylor expansion of 1.0 in t
2.272 * [backup-simplify]: Simplify 1.0 into 1.0
2.272 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.272 * [taylor]: Taking taylor expansion of t in t
2.272 * [backup-simplify]: Simplify 0 into 0
2.272 * [backup-simplify]: Simplify 1 into 1
2.272 * [backup-simplify]: Simplify (/ 1 1) into 1
2.272 * [taylor]: Taking taylor expansion of (/ 1 x) in t
2.272 * [taylor]: Taking taylor expansion of x in t
2.273 * [backup-simplify]: Simplify x into x
2.273 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.273 * [taylor]: Taking taylor expansion of (fma (/ 1 a) (- 1.0 (/ 1 t)) (/ 1 x)) in a
2.273 * [taylor]: Rewrote expression to (+ (* (/ 1 a) (- 1.0 (/ 1 t))) (/ 1 x))
2.273 * [taylor]: Taking taylor expansion of (* (/ 1 a) (- 1.0 (/ 1 t))) in a
2.273 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.273 * [taylor]: Taking taylor expansion of a in a
2.273 * [backup-simplify]: Simplify 0 into 0
2.273 * [backup-simplify]: Simplify 1 into 1
2.273 * [backup-simplify]: Simplify (/ 1 1) into 1
2.273 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in a
2.273 * [taylor]: Taking taylor expansion of 1.0 in a
2.273 * [backup-simplify]: Simplify 1.0 into 1.0
2.273 * [taylor]: Taking taylor expansion of (/ 1 t) in a
2.273 * [taylor]: Taking taylor expansion of t in a
2.273 * [backup-simplify]: Simplify t into t
2.273 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
2.273 * [taylor]: Taking taylor expansion of (/ 1 x) in a
2.273 * [taylor]: Taking taylor expansion of x in a
2.273 * [backup-simplify]: Simplify x into x
2.273 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.273 * [taylor]: Taking taylor expansion of (fma (/ 1 a) (- 1.0 (/ 1 t)) (/ 1 x)) in a
2.273 * [taylor]: Rewrote expression to (+ (* (/ 1 a) (- 1.0 (/ 1 t))) (/ 1 x))
2.273 * [taylor]: Taking taylor expansion of (* (/ 1 a) (- 1.0 (/ 1 t))) in a
2.273 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.273 * [taylor]: Taking taylor expansion of a in a
2.273 * [backup-simplify]: Simplify 0 into 0
2.273 * [backup-simplify]: Simplify 1 into 1
2.274 * [backup-simplify]: Simplify (/ 1 1) into 1
2.274 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in a
2.274 * [taylor]: Taking taylor expansion of 1.0 in a
2.274 * [backup-simplify]: Simplify 1.0 into 1.0
2.274 * [taylor]: Taking taylor expansion of (/ 1 t) in a
2.274 * [taylor]: Taking taylor expansion of t in a
2.274 * [backup-simplify]: Simplify t into t
2.274 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
2.274 * [taylor]: Taking taylor expansion of (/ 1 x) in a
2.274 * [taylor]: Taking taylor expansion of x in a
2.274 * [backup-simplify]: Simplify x into x
2.274 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.274 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t))
2.274 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 t))) into (- 1.0 (/ 1 t))
2.274 * [backup-simplify]: Simplify (* 1 (- 1.0 (/ 1 t))) into (- 1.0 (/ 1 t))
2.274 * [backup-simplify]: Simplify (+ (- 1.0 (/ 1 t)) 0) into (- 1.0 (/ 1 t))
2.274 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t
2.274 * [taylor]: Taking taylor expansion of 1.0 in t
2.274 * [backup-simplify]: Simplify 1.0 into 1.0
2.274 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.274 * [taylor]: Taking taylor expansion of t in t
2.274 * [backup-simplify]: Simplify 0 into 0
2.274 * [backup-simplify]: Simplify 1 into 1
2.275 * [backup-simplify]: Simplify (/ 1 1) into 1
2.275 * [backup-simplify]: Simplify (- 1) into -1
2.275 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.275 * [taylor]: Taking taylor expansion of -1 in x
2.275 * [backup-simplify]: Simplify -1 into -1
2.275 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0
2.275 * [backup-simplify]: Simplify (- 0) into 0
2.276 * [backup-simplify]: Simplify (+ 0 0) into 0
2.276 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.276 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (- 1.0 (/ 1 t)))) into 0
2.277 * [backup-simplify]: Simplify (+ 0 (/ 1 x)) into (/ 1 x)
2.277 * [taylor]: Taking taylor expansion of (/ 1 x) in t
2.277 * [taylor]: Taking taylor expansion of x in t
2.277 * [backup-simplify]: Simplify x into x
2.277 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.277 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.277 * [backup-simplify]: Simplify (- 0) into 0
2.278 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.278 * [taylor]: Taking taylor expansion of 1.0 in x
2.278 * [backup-simplify]: Simplify 1.0 into 1.0
2.278 * [backup-simplify]: Simplify -1 into -1
2.278 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0
2.278 * [backup-simplify]: Simplify (- 0) into 0
2.278 * [backup-simplify]: Simplify (+ 0 0) into 0
2.279 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.279 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (- 1.0 (/ 1 t))))) into 0
2.279 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
2.280 * [backup-simplify]: Simplify (+ 0 0) into 0
2.280 * [taylor]: Taking taylor expansion of 0 in t
2.280 * [backup-simplify]: Simplify 0 into 0
2.280 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.280 * [taylor]: Taking taylor expansion of x in x
2.280 * [backup-simplify]: Simplify 0 into 0
2.280 * [backup-simplify]: Simplify 1 into 1
2.280 * [backup-simplify]: Simplify (/ 1 1) into 1
2.280 * [backup-simplify]: Simplify 1 into 1
2.281 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.282 * [backup-simplify]: Simplify (- 0) into 0
2.282 * [backup-simplify]: Simplify (+ 0 0) into 0
2.282 * [taylor]: Taking taylor expansion of 0 in x
2.282 * [backup-simplify]: Simplify 0 into 0
2.282 * [backup-simplify]: Simplify 1.0 into 1.0
2.283 * [backup-simplify]: Simplify (+ (* 1.0 (* 1 (* 1 (/ 1 (/ 1 a))))) (+ (* 1 (* (/ 1 (/ 1 x)) (* 1 1))) (* -1 (* 1 (* (/ 1 (/ 1 t)) (/ 1 (/ 1 a))))))) into (- (+ (* 1.0 a) x) (* t a))
2.283 * [backup-simplify]: Simplify (fma (/ 1 (- a)) (- 1.0 (/ 1 (- t))) (/ 1 (- x))) into (fma (/ -1 a) (+ (/ 1 t) 1.0) (/ -1 x))
2.283 * [approximate]: Taking taylor expansion of (fma (/ -1 a) (+ (/ 1 t) 1.0) (/ -1 x)) in (a t x) around 0
2.283 * [taylor]: Taking taylor expansion of (fma (/ -1 a) (+ (/ 1 t) 1.0) (/ -1 x)) in x
2.284 * [taylor]: Rewrote expression to (+ (* (/ -1 a) (+ (/ 1 t) 1.0)) (/ -1 x))
2.284 * [taylor]: Taking taylor expansion of (* (/ -1 a) (+ (/ 1 t) 1.0)) in x
2.284 * [taylor]: Taking taylor expansion of (/ -1 a) in x
2.284 * [taylor]: Taking taylor expansion of -1 in x
2.284 * [backup-simplify]: Simplify -1 into -1
2.284 * [taylor]: Taking taylor expansion of a in x
2.284 * [backup-simplify]: Simplify a into a
2.284 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a)
2.284 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in x
2.284 * [taylor]: Taking taylor expansion of (/ 1 t) in x
2.284 * [taylor]: Taking taylor expansion of t in x
2.284 * [backup-simplify]: Simplify t into t
2.284 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
2.284 * [taylor]: Taking taylor expansion of 1.0 in x
2.284 * [backup-simplify]: Simplify 1.0 into 1.0
2.284 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.284 * [taylor]: Taking taylor expansion of -1 in x
2.284 * [backup-simplify]: Simplify -1 into -1
2.284 * [taylor]: Taking taylor expansion of x in x
2.284 * [backup-simplify]: Simplify 0 into 0
2.284 * [backup-simplify]: Simplify 1 into 1
2.285 * [backup-simplify]: Simplify (/ -1 1) into -1
2.285 * [taylor]: Taking taylor expansion of (fma (/ -1 a) (+ (/ 1 t) 1.0) (/ -1 x)) in t
2.285 * [taylor]: Rewrote expression to (+ (* (/ -1 a) (+ (/ 1 t) 1.0)) (/ -1 x))
2.285 * [taylor]: Taking taylor expansion of (* (/ -1 a) (+ (/ 1 t) 1.0)) in t
2.285 * [taylor]: Taking taylor expansion of (/ -1 a) in t
2.285 * [taylor]: Taking taylor expansion of -1 in t
2.285 * [backup-simplify]: Simplify -1 into -1
2.285 * [taylor]: Taking taylor expansion of a in t
2.285 * [backup-simplify]: Simplify a into a
2.285 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a)
2.286 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
2.286 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.286 * [taylor]: Taking taylor expansion of t in t
2.286 * [backup-simplify]: Simplify 0 into 0
2.286 * [backup-simplify]: Simplify 1 into 1
2.286 * [backup-simplify]: Simplify (/ 1 1) into 1
2.286 * [taylor]: Taking taylor expansion of 1.0 in t
2.286 * [backup-simplify]: Simplify 1.0 into 1.0
2.286 * [taylor]: Taking taylor expansion of (/ -1 x) in t
2.286 * [taylor]: Taking taylor expansion of -1 in t
2.286 * [backup-simplify]: Simplify -1 into -1
2.286 * [taylor]: Taking taylor expansion of x in t
2.286 * [backup-simplify]: Simplify x into x
2.286 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
2.286 * [taylor]: Taking taylor expansion of (fma (/ -1 a) (+ (/ 1 t) 1.0) (/ -1 x)) in a
2.287 * [taylor]: Rewrote expression to (+ (* (/ -1 a) (+ (/ 1 t) 1.0)) (/ -1 x))
2.287 * [taylor]: Taking taylor expansion of (* (/ -1 a) (+ (/ 1 t) 1.0)) in a
2.287 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.287 * [taylor]: Taking taylor expansion of -1 in a
2.287 * [backup-simplify]: Simplify -1 into -1
2.287 * [taylor]: Taking taylor expansion of a in a
2.287 * [backup-simplify]: Simplify 0 into 0
2.287 * [backup-simplify]: Simplify 1 into 1
2.287 * [backup-simplify]: Simplify (/ -1 1) into -1
2.287 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in a
2.288 * [taylor]: Taking taylor expansion of (/ 1 t) in a
2.288 * [taylor]: Taking taylor expansion of t in a
2.288 * [backup-simplify]: Simplify t into t
2.288 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
2.288 * [taylor]: Taking taylor expansion of 1.0 in a
2.288 * [backup-simplify]: Simplify 1.0 into 1.0
2.288 * [taylor]: Taking taylor expansion of (/ -1 x) in a
2.288 * [taylor]: Taking taylor expansion of -1 in a
2.288 * [backup-simplify]: Simplify -1 into -1
2.288 * [taylor]: Taking taylor expansion of x in a
2.288 * [backup-simplify]: Simplify x into x
2.288 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
2.288 * [taylor]: Taking taylor expansion of (fma (/ -1 a) (+ (/ 1 t) 1.0) (/ -1 x)) in a
2.288 * [taylor]: Rewrote expression to (+ (* (/ -1 a) (+ (/ 1 t) 1.0)) (/ -1 x))
2.289 * [taylor]: Taking taylor expansion of (* (/ -1 a) (+ (/ 1 t) 1.0)) in a
2.289 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.289 * [taylor]: Taking taylor expansion of -1 in a
2.289 * [backup-simplify]: Simplify -1 into -1
2.289 * [taylor]: Taking taylor expansion of a in a
2.289 * [backup-simplify]: Simplify 0 into 0
2.289 * [backup-simplify]: Simplify 1 into 1
2.289 * [backup-simplify]: Simplify (/ -1 1) into -1
2.289 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in a
2.289 * [taylor]: Taking taylor expansion of (/ 1 t) in a
2.289 * [taylor]: Taking taylor expansion of t in a
2.289 * [backup-simplify]: Simplify t into t
2.289 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
2.289 * [taylor]: Taking taylor expansion of 1.0 in a
2.289 * [backup-simplify]: Simplify 1.0 into 1.0
2.290 * [taylor]: Taking taylor expansion of (/ -1 x) in a
2.290 * [taylor]: Taking taylor expansion of -1 in a
2.290 * [backup-simplify]: Simplify -1 into -1
2.290 * [taylor]: Taking taylor expansion of x in a
2.290 * [backup-simplify]: Simplify x into x
2.290 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
2.290 * [backup-simplify]: Simplify (+ (/ 1 t) 1.0) into (+ (/ 1 t) 1.0)
2.290 * [backup-simplify]: Simplify (* -1 (+ (/ 1 t) 1.0)) into (* -1 (+ (/ 1 t) 1.0))
2.290 * [backup-simplify]: Simplify (+ (* -1 (+ (/ 1 t) 1.0)) 0) into (- (+ (/ 1 t) 1.0))
2.290 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) 1.0)) in t
2.290 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
2.290 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.290 * [taylor]: Taking taylor expansion of t in t
2.290 * [backup-simplify]: Simplify 0 into 0
2.290 * [backup-simplify]: Simplify 1 into 1
2.291 * [backup-simplify]: Simplify (/ 1 1) into 1
2.291 * [taylor]: Taking taylor expansion of 1.0 in t
2.291 * [backup-simplify]: Simplify 1.0 into 1.0
2.291 * [backup-simplify]: Simplify (+ 1 0) into 1
2.292 * [backup-simplify]: Simplify (- 1) into -1
2.292 * [taylor]: Taking taylor expansion of -1 in x
2.292 * [backup-simplify]: Simplify -1 into -1
2.292 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0
2.292 * [backup-simplify]: Simplify (+ 0 0) into 0
2.293 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
2.294 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (+ (/ 1 t) 1.0))) into 0
2.294 * [backup-simplify]: Simplify (+ 0 (/ -1 x)) into (- (/ 1 x))
2.294 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in t
2.294 * [taylor]: Taking taylor expansion of (/ 1 x) in t
2.294 * [taylor]: Taking taylor expansion of x in t
2.294 * [backup-simplify]: Simplify x into x
2.294 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.302 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.303 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.303 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
2.303 * [taylor]: Taking taylor expansion of (- 1.0) in x
2.303 * [taylor]: Taking taylor expansion of 1.0 in x
2.303 * [backup-simplify]: Simplify 1.0 into 1.0
2.304 * [backup-simplify]: Simplify -1 into -1
2.304 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0
2.304 * [backup-simplify]: Simplify (+ 0 0) into 0
2.305 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.306 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (+ (/ 1 t) 1.0)))) into 0
2.306 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
2.307 * [backup-simplify]: Simplify (+ 0 0) into 0
2.307 * [taylor]: Taking taylor expansion of 0 in t
2.307 * [backup-simplify]: Simplify 0 into 0
2.307 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
2.307 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
2.307 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.307 * [taylor]: Taking taylor expansion of x in x
2.307 * [backup-simplify]: Simplify 0 into 0
2.307 * [backup-simplify]: Simplify 1 into 1
2.308 * [backup-simplify]: Simplify (/ 1 1) into 1
2.308 * [backup-simplify]: Simplify (- 1) into -1
2.308 * [backup-simplify]: Simplify -1 into -1
2.309 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.309 * [backup-simplify]: Simplify (+ 0 0) into 0
2.310 * [backup-simplify]: Simplify (- 0) into 0
2.310 * [taylor]: Taking taylor expansion of 0 in x
2.310 * [backup-simplify]: Simplify 0 into 0
2.310 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
2.311 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
2.312 * [backup-simplify]: Simplify (+ (* (- 1.0) (* 1 (* 1 (/ 1 (/ 1 (- a)))))) (+ (* -1 (* (/ 1 (/ 1 (- x))) (* 1 1))) (* -1 (* 1 (* (/ 1 (/ 1 (- t))) (/ 1 (/ 1 (- a)))))))) into (- (+ (* 1.0 a) x) (* t a))
2.312 * * * [progress]: simplifying candidates
2.313 * [simplify]: Simplifying:
  (expm1 (fma (- 1.0 y) z (fma a (- 1.0 t) x)))
  (log1p (fma (- 1.0 y) z (fma a (- 1.0 t) x)))
  (* (- 1.0 y) z)
  (log (fma (- 1.0 y) z (fma a (- 1.0 t) x)))
  (exp (fma (- 1.0 y) z (fma a (- 1.0 t) x)))
  (* (cbrt (fma (- 1.0 y) z (fma a (- 1.0 t) x))) (cbrt (fma (- 1.0 y) z (fma a (- 1.0 t) x))))
  (cbrt (fma (- 1.0 y) z (fma a (- 1.0 t) x)))
  (* (* (fma (- 1.0 y) z (fma a (- 1.0 t) x)) (fma (- 1.0 y) z (fma a (- 1.0 t) x))) (fma (- 1.0 y) z (fma a (- 1.0 t) x)))
  (sqrt (fma (- 1.0 y) z (fma a (- 1.0 t) x)))
  (sqrt (fma (- 1.0 y) z (fma a (- 1.0 t) x)))
  (expm1 (fma a (- 1.0 t) x))
  (log1p (fma a (- 1.0 t) x))
  (* a (- 1.0 t))
  (log (fma a (- 1.0 t) x))
  (exp (fma a (- 1.0 t) x))
  (* (cbrt (fma a (- 1.0 t) x)) (cbrt (fma a (- 1.0 t) x)))
  (cbrt (fma a (- 1.0 t) x))
  (* (* (fma a (- 1.0 t) x) (fma a (- 1.0 t) x)) (fma a (- 1.0 t) x))
  (sqrt (fma a (- 1.0 t) x))
  (sqrt (fma a (- 1.0 t) x))
  (+ (* 1.0 a) (+ x (* 1.0 z)))
  (- x (+ (* z y) (* t a)))
  (- x (+ (* z y) (* t a)))
  (- (+ x (* 1.0 a)) (* t a))
  (- (+ (* 1.0 a) x) (* t a))
  (- (+ (* 1.0 a) x) (* t a))
2.314 * * [simplify]: Extracting # 0 : cost  0
2.314 * * [simplify]: Extracting # 1 : cost  0
2.314 * * [simplify]: Extracting # 2 : cost  0
2.314 * * [simplify]: Extracting # 3 : cost  0
2.314 * * [simplify]: Extracting # 4 : cost  0
2.314 * * [simplify]: Extracting # 5 : cost  0
2.315 * * [simplify]: Extracting # 6 : cost  0
2.315 * * [simplify]: iteration  0 :  42  enodes  (cost  292 )
2.327 * * [simplify]: Extracting # 0 : cost  0
2.327 * * [simplify]: Extracting # 1 : cost  0
2.327 * * [simplify]: Extracting # 2 : cost  0
2.328 * * [simplify]: iteration  1 :  74  enodes  (cost  286 )
2.341 * * [simplify]: Extracting # 0 : cost  0
2.341 * * [simplify]: Extracting # 1 : cost  0
2.342 * * [simplify]: Extracting # 2 : cost  0
2.342 * * [simplify]: Extracting # 3 : cost  0
2.342 * * [simplify]: iteration  2 :  151  enodes  (cost  245 )
2.416 * * [simplify]: Extracting # 0 : cost  0
2.422 * * [simplify]: Extracting # 1 : cost  0
2.424 * * [simplify]: Extracting # 2 : cost  0
2.425 * * [simplify]: Extracting # 3 : cost  0
2.426 * * [simplify]: Extracting # 4 : cost  0
2.427 * * [simplify]: iteration  3 :  558  enodes  (cost  245 )
3.374 * * [simplify]: Extracting # 0 : cost  0
3.383 * * [simplify]: Extracting # 1 : cost  0
3.403 * * [simplify]: Extracting # 2 : cost  0
3.412 * * [simplify]: Extracting # 3 : cost  0
3.421 * * [simplify]: Extracting # 4 : cost  0
3.429 * * [simplify]: Extracting # 5 : cost  0
3.435 * * [simplify]: Extracting # 6 : cost  0
3.439 * * [simplify]: iteration  4 :  4341  enodes  (cost  244 )
5.294 * * [simplify]: Extracting # 0 : cost  0
5.310 * * [simplify]: Extracting # 1 : cost  0
5.320 * * [simplify]: iteration done:  5000  enodes  (cost  244 )
5.321 * [simplify]: Simplified to:
  (expm1 (fma (- 1.0 y) z (fma a (- 1.0 t) x)))
  (log1p (fma (- 1.0 y) z (fma a (- 1.0 t) x)))
  (* (- 1.0 y) z)
  (log (fma (- 1.0 y) z (fma a (- 1.0 t) x)))
  (exp (fma (- 1.0 y) z (fma a (- 1.0 t) x)))
  (* (cbrt (fma (- 1.0 y) z (fma a (- 1.0 t) x))) (cbrt (fma (- 1.0 y) z (fma a (- 1.0 t) x))))
  (cbrt (fma (- 1.0 y) z (fma a (- 1.0 t) x)))
  (pow (fma (- 1.0 y) z (fma a (- 1.0 t) x)) 3)
  (sqrt (fma (- 1.0 y) z (fma a (- 1.0 t) x)))
  (sqrt (fma (- 1.0 y) z (fma a (- 1.0 t) x)))
  (expm1 (fma a (- 1.0 t) x))
  (log1p (fma a (- 1.0 t) x))
  (* a (- 1.0 t))
  (log (fma a (- 1.0 t) x))
  (exp (fma a (- 1.0 t) x))
  (* (cbrt (fma a (- 1.0 t) x)) (cbrt (fma a (- 1.0 t) x)))
  (cbrt (fma a (- 1.0 t) x))
  (pow (fma a (- 1.0 t) x) 3)
  (sqrt (fma a (- 1.0 t) x))
  (sqrt (fma a (- 1.0 t) x))
  (fma 1.0 (+ a z) x)
  (- x (fma z y (* t a)))
  (- x (fma z y (* t a)))
  (fma a (- 1.0 t) x)
  (fma a (- 1.0 t) x)
  (fma a (- 1.0 t) x)
5.321 * * * [progress]: adding candidates to table
5.814 * * [progress]: iteration 2 / 4
5.814 * * * [progress]: picking best candidate
5.818 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (fma b (- (+ y t) 2.0) (* (* (cbrt (fma (- 1.0 y) z (fma a (- 1.0 t) x))) (cbrt (fma (- 1.0 y) z (fma a (- 1.0 t) x)))) (cbrt (fma (- 1.0 y) z (fma a (- 1.0 t) x))))))>
5.818 * * * [progress]: localizing error
5.855 * * * [progress]: generating rewritten candidates
5.855 * * * * [progress]: [ 1 / 4 ] rewriting at (2 3 2)
5.856 * * * * [progress]: [ 2 / 4 ] rewriting at (2 3 1 2)
5.857 * * * * [progress]: [ 3 / 4 ] rewriting at (2 3 1 1)
5.858 * * * * [progress]: [ 4 / 4 ] rewriting at (2 3 1)
5.871 * * * [progress]: generating series expansions
5.871 * * * * [progress]: [ 1 / 4 ] generating series at (2 3 2)
5.872 * [backup-simplify]: Simplify (cbrt (fma (- 1.0 y) z (fma a (- 1.0 t) x))) into (pow (fma (- 1.0 y) z (fma a (- 1.0 t) x)) 1/3)
5.872 * [approximate]: Taking taylor expansion of (pow (fma (- 1.0 y) z (fma a (- 1.0 t) x)) 1/3) in (y z a t x) around 0
5.872 * [taylor]: Taking taylor expansion of (pow (fma (- 1.0 y) z (fma a (- 1.0 t) x)) 1/3) in x
5.872 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (- 1.0 y) z (fma a (- 1.0 t) x))))) in x
5.872 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (- 1.0 y) z (fma a (- 1.0 t) x)))) in x
5.872 * [taylor]: Taking taylor expansion of 1/3 in x
5.872 * [backup-simplify]: Simplify 1/3 into 1/3
5.872 * [taylor]: Taking taylor expansion of (log (fma (- 1.0 y) z (fma a (- 1.0 t) x))) in x
5.872 * [taylor]: Taking taylor expansion of (fma (- 1.0 y) z (fma a (- 1.0 t) x)) in x
5.872 * [taylor]: Rewrote expression to (+ (* (- 1.0 y) z) (fma a (- 1.0 t) x))
5.872 * [taylor]: Taking taylor expansion of (* (- 1.0 y) z) in x
5.872 * [taylor]: Taking taylor expansion of (- 1.0 y) in x
5.872 * [taylor]: Taking taylor expansion of 1.0 in x
5.872 * [backup-simplify]: Simplify 1.0 into 1.0
5.872 * [taylor]: Taking taylor expansion of y in x
5.872 * [backup-simplify]: Simplify y into y
5.872 * [taylor]: Taking taylor expansion of z in x
5.872 * [backup-simplify]: Simplify z into z
5.872 * [taylor]: Taking taylor expansion of (fma a (- 1.0 t) x) in x
5.872 * [taylor]: Rewrote expression to (+ (* a (- 1.0 t)) x)
5.872 * [taylor]: Taking taylor expansion of (* a (- 1.0 t)) in x
5.872 * [taylor]: Taking taylor expansion of a in x
5.872 * [backup-simplify]: Simplify a into a
5.872 * [taylor]: Taking taylor expansion of (- 1.0 t) in x
5.872 * [taylor]: Taking taylor expansion of 1.0 in x
5.872 * [backup-simplify]: Simplify 1.0 into 1.0
5.872 * [taylor]: Taking taylor expansion of t in x
5.872 * [backup-simplify]: Simplify t into t
5.872 * [taylor]: Taking taylor expansion of x in x
5.872 * [backup-simplify]: Simplify 0 into 0
5.872 * [backup-simplify]: Simplify 1 into 1
5.872 * [backup-simplify]: Simplify (- y) into (- y)
5.872 * [backup-simplify]: Simplify (+ 1.0 (- y)) into (- 1.0 y)
5.872 * [backup-simplify]: Simplify (* (- 1.0 y) z) into (* (- 1.0 y) z)
5.872 * [backup-simplify]: Simplify (- t) into (- t)
5.872 * [backup-simplify]: Simplify (+ 1.0 (- t)) into (- 1.0 t)
5.873 * [backup-simplify]: Simplify (* a (- 1.0 t)) into (* a (- 1.0 t))
5.873 * [backup-simplify]: Simplify (+ (* a (- 1.0 t)) 0) into (- (* 1.0 a) (* a t))
5.873 * [backup-simplify]: Simplify (+ (* (- 1.0 y) z) (- (* 1.0 a) (* a t))) into (- (+ (* 1.0 z) (* 1.0 a)) (+ (* z y) (* a t)))
5.873 * [backup-simplify]: Simplify (log (- (+ (* 1.0 z) (* 1.0 a)) (+ (* z y) (* a t)))) into (log (- (+ (* 1.0 a) (* 1.0 z)) (+ (* z y) (* a t))))
5.873 * [backup-simplify]: Simplify (* 1/3 (log (- (+ (* 1.0 a) (* 1.0 z)) (+ (* z y) (* a t))))) into (* 1/3 (log (- (+ (* 1.0 a) (* 1.0 z)) (+ (* z y) (* a t)))))
5.873 * [backup-simplify]: Simplify (exp (* 1/3 (log (- (+ (* 1.0 a) (* 1.0 z)) (+ (* z y) (* a t)))))) into (pow (- (+ (* 1.0 a) (* 1.0 z)) (+ (* z y) (* a t))) 1/3)
5.873 * [taylor]: Taking taylor expansion of (pow (fma (- 1.0 y) z (fma a (- 1.0 t) x)) 1/3) in t
5.873 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (- 1.0 y) z (fma a (- 1.0 t) x))))) in t
5.874 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (- 1.0 y) z (fma a (- 1.0 t) x)))) in t
5.874 * [taylor]: Taking taylor expansion of 1/3 in t
5.874 * [backup-simplify]: Simplify 1/3 into 1/3
5.874 * [taylor]: Taking taylor expansion of (log (fma (- 1.0 y) z (fma a (- 1.0 t) x))) in t
5.874 * [taylor]: Taking taylor expansion of (fma (- 1.0 y) z (fma a (- 1.0 t) x)) in t
5.874 * [taylor]: Rewrote expression to (+ (* (- 1.0 y) z) (fma a (- 1.0 t) x))
5.874 * [taylor]: Taking taylor expansion of (* (- 1.0 y) z) in t
5.874 * [taylor]: Taking taylor expansion of (- 1.0 y) in t
5.874 * [taylor]: Taking taylor expansion of 1.0 in t
5.874 * [backup-simplify]: Simplify 1.0 into 1.0
5.874 * [taylor]: Taking taylor expansion of y in t
5.874 * [backup-simplify]: Simplify y into y
5.874 * [taylor]: Taking taylor expansion of z in t
5.874 * [backup-simplify]: Simplify z into z
5.874 * [taylor]: Taking taylor expansion of (fma a (- 1.0 t) x) in t
5.874 * [taylor]: Rewrote expression to (+ (* a (- 1.0 t)) x)
5.874 * [taylor]: Taking taylor expansion of (* a (- 1.0 t)) in t
5.874 * [taylor]: Taking taylor expansion of a in t
5.874 * [backup-simplify]: Simplify a into a
5.874 * [taylor]: Taking taylor expansion of (- 1.0 t) in t
5.874 * [taylor]: Taking taylor expansion of 1.0 in t
5.874 * [backup-simplify]: Simplify 1.0 into 1.0
5.874 * [taylor]: Taking taylor expansion of t in t
5.874 * [backup-simplify]: Simplify 0 into 0
5.874 * [backup-simplify]: Simplify 1 into 1
5.874 * [taylor]: Taking taylor expansion of x in t
5.874 * [backup-simplify]: Simplify x into x
5.874 * [backup-simplify]: Simplify (- y) into (- y)
5.874 * [backup-simplify]: Simplify (+ 1.0 (- y)) into (- 1.0 y)
5.874 * [backup-simplify]: Simplify (* (- 1.0 y) z) into (* (- 1.0 y) z)
5.875 * [backup-simplify]: Simplify (- 0) into 0
5.875 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
5.875 * [backup-simplify]: Simplify (* a 1.0) into (* 1.0 a)
5.875 * [backup-simplify]: Simplify (+ (* 1.0 a) x) into (+ (* 1.0 a) x)
5.875 * [backup-simplify]: Simplify (+ (* (- 1.0 y) z) (+ (* 1.0 a) x)) into (- (+ x (+ (* 1.0 z) (* 1.0 a))) (* z y))
5.875 * [backup-simplify]: Simplify (log (- (+ x (+ (* 1.0 z) (* 1.0 a))) (* z y))) into (log (- (+ (* 1.0 a) (+ x (* 1.0 z))) (* z y)))
5.876 * [backup-simplify]: Simplify (* 1/3 (log (- (+ (* 1.0 a) (+ x (* 1.0 z))) (* z y)))) into (* 1/3 (log (- (+ (* 1.0 a) (+ x (* 1.0 z))) (* z y))))
5.876 * [backup-simplify]: Simplify (exp (* 1/3 (log (- (+ (* 1.0 a) (+ x (* 1.0 z))) (* z y))))) into (pow (- (+ (* 1.0 a) (+ x (* 1.0 z))) (* z y)) 1/3)
5.876 * [taylor]: Taking taylor expansion of (pow (fma (- 1.0 y) z (fma a (- 1.0 t) x)) 1/3) in a
5.876 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (- 1.0 y) z (fma a (- 1.0 t) x))))) in a
5.876 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (- 1.0 y) z (fma a (- 1.0 t) x)))) in a
5.876 * [taylor]: Taking taylor expansion of 1/3 in a
5.876 * [backup-simplify]: Simplify 1/3 into 1/3
5.876 * [taylor]: Taking taylor expansion of (log (fma (- 1.0 y) z (fma a (- 1.0 t) x))) in a
5.876 * [taylor]: Taking taylor expansion of (fma (- 1.0 y) z (fma a (- 1.0 t) x)) in a
5.876 * [taylor]: Rewrote expression to (+ (* (- 1.0 y) z) (fma a (- 1.0 t) x))
5.876 * [taylor]: Taking taylor expansion of (* (- 1.0 y) z) in a
5.876 * [taylor]: Taking taylor expansion of (- 1.0 y) in a
5.876 * [taylor]: Taking taylor expansion of 1.0 in a
5.876 * [backup-simplify]: Simplify 1.0 into 1.0
5.876 * [taylor]: Taking taylor expansion of y in a
5.876 * [backup-simplify]: Simplify y into y
5.876 * [taylor]: Taking taylor expansion of z in a
5.876 * [backup-simplify]: Simplify z into z
5.876 * [taylor]: Taking taylor expansion of (fma a (- 1.0 t) x) in a
5.876 * [taylor]: Rewrote expression to (+ (* a (- 1.0 t)) x)
5.876 * [taylor]: Taking taylor expansion of (* a (- 1.0 t)) in a
5.876 * [taylor]: Taking taylor expansion of a in a
5.876 * [backup-simplify]: Simplify 0 into 0
5.876 * [backup-simplify]: Simplify 1 into 1
5.877 * [taylor]: Taking taylor expansion of (- 1.0 t) in a
5.877 * [taylor]: Taking taylor expansion of 1.0 in a
5.877 * [backup-simplify]: Simplify 1.0 into 1.0
5.877 * [taylor]: Taking taylor expansion of t in a
5.877 * [backup-simplify]: Simplify t into t
5.877 * [taylor]: Taking taylor expansion of x in a
5.877 * [backup-simplify]: Simplify x into x
5.877 * [backup-simplify]: Simplify (- y) into (- y)
5.877 * [backup-simplify]: Simplify (+ 1.0 (- y)) into (- 1.0 y)
5.877 * [backup-simplify]: Simplify (* (- 1.0 y) z) into (* (- 1.0 y) z)
5.877 * [backup-simplify]: Simplify (- t) into (- t)
5.877 * [backup-simplify]: Simplify (+ 1.0 (- t)) into (- 1.0 t)
5.877 * [backup-simplify]: Simplify (* 0 (- 1.0 t)) into 0
5.877 * [backup-simplify]: Simplify (+ 0 x) into x
5.877 * [backup-simplify]: Simplify (+ (* (- 1.0 y) z) x) into (- (+ x (* 1.0 z)) (* z y))
5.877 * [backup-simplify]: Simplify (log (- (+ x (* 1.0 z)) (* z y))) into (log (- (+ x (* 1.0 z)) (* z y)))
5.877 * [backup-simplify]: Simplify (* 1/3 (log (- (+ x (* 1.0 z)) (* z y)))) into (* 1/3 (log (- (+ x (* 1.0 z)) (* z y))))
5.877 * [backup-simplify]: Simplify (exp (* 1/3 (log (- (+ x (* 1.0 z)) (* z y))))) into (pow (- (+ x (* 1.0 z)) (* z y)) 1/3)
5.878 * [taylor]: Taking taylor expansion of (pow (fma (- 1.0 y) z (fma a (- 1.0 t) x)) 1/3) in z
5.878 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (- 1.0 y) z (fma a (- 1.0 t) x))))) in z
5.878 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (- 1.0 y) z (fma a (- 1.0 t) x)))) in z
5.878 * [taylor]: Taking taylor expansion of 1/3 in z
5.878 * [backup-simplify]: Simplify 1/3 into 1/3
5.878 * [taylor]: Taking taylor expansion of (log (fma (- 1.0 y) z (fma a (- 1.0 t) x))) in z
5.878 * [taylor]: Taking taylor expansion of (fma (- 1.0 y) z (fma a (- 1.0 t) x)) in z
5.878 * [taylor]: Rewrote expression to (+ (* (- 1.0 y) z) (fma a (- 1.0 t) x))
5.878 * [taylor]: Taking taylor expansion of (* (- 1.0 y) z) in z
5.878 * [taylor]: Taking taylor expansion of (- 1.0 y) in z
5.878 * [taylor]: Taking taylor expansion of 1.0 in z
5.878 * [backup-simplify]: Simplify 1.0 into 1.0
5.878 * [taylor]: Taking taylor expansion of y in z
5.878 * [backup-simplify]: Simplify y into y
5.878 * [taylor]: Taking taylor expansion of z in z
5.878 * [backup-simplify]: Simplify 0 into 0
5.878 * [backup-simplify]: Simplify 1 into 1
5.878 * [taylor]: Taking taylor expansion of (fma a (- 1.0 t) x) in z
5.878 * [taylor]: Rewrote expression to (+ (* a (- 1.0 t)) x)
5.878 * [taylor]: Taking taylor expansion of (* a (- 1.0 t)) in z
5.878 * [taylor]: Taking taylor expansion of a in z
5.878 * [backup-simplify]: Simplify a into a
5.878 * [taylor]: Taking taylor expansion of (- 1.0 t) in z
5.878 * [taylor]: Taking taylor expansion of 1.0 in z
5.878 * [backup-simplify]: Simplify 1.0 into 1.0
5.878 * [taylor]: Taking taylor expansion of t in z
5.878 * [backup-simplify]: Simplify t into t
5.878 * [taylor]: Taking taylor expansion of x in z
5.878 * [backup-simplify]: Simplify x into x
5.878 * [backup-simplify]: Simplify (- y) into (- y)
5.878 * [backup-simplify]: Simplify (+ 1.0 (- y)) into (- 1.0 y)
5.878 * [backup-simplify]: Simplify (* (- 1.0 y) 0) into 0
5.878 * [backup-simplify]: Simplify (- t) into (- t)
5.878 * [backup-simplify]: Simplify (+ 1.0 (- t)) into (- 1.0 t)
5.878 * [backup-simplify]: Simplify (* a (- 1.0 t)) into (* a (- 1.0 t))
5.878 * [backup-simplify]: Simplify (+ (* a (- 1.0 t)) x) into (- (+ (* 1.0 a) x) (* a t))
5.879 * [backup-simplify]: Simplify (+ 0 (- (+ (* 1.0 a) x) (* a t))) into (- (+ (* 1.0 a) x) (* a t))
5.879 * [backup-simplify]: Simplify (log (- (+ (* 1.0 a) x) (* a t))) into (log (- (+ (* 1.0 a) x) (* a t)))
5.879 * [backup-simplify]: Simplify (* 1/3 (log (- (+ (* 1.0 a) x) (* a t)))) into (* 1/3 (log (- (+ (* 1.0 a) x) (* a t))))
5.879 * [backup-simplify]: Simplify (exp (* 1/3 (log (- (+ (* 1.0 a) x) (* a t))))) into (pow (- (+ (* 1.0 a) x) (* a t)) 1/3)
5.879 * [taylor]: Taking taylor expansion of (pow (fma (- 1.0 y) z (fma a (- 1.0 t) x)) 1/3) in y
5.879 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (- 1.0 y) z (fma a (- 1.0 t) x))))) in y
5.879 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (- 1.0 y) z (fma a (- 1.0 t) x)))) in y
5.879 * [taylor]: Taking taylor expansion of 1/3 in y
5.879 * [backup-simplify]: Simplify 1/3 into 1/3
5.879 * [taylor]: Taking taylor expansion of (log (fma (- 1.0 y) z (fma a (- 1.0 t) x))) in y
5.879 * [taylor]: Taking taylor expansion of (fma (- 1.0 y) z (fma a (- 1.0 t) x)) in y
5.879 * [taylor]: Rewrote expression to (+ (* (- 1.0 y) z) (fma a (- 1.0 t) x))
5.879 * [taylor]: Taking taylor expansion of (* (- 1.0 y) z) in y
5.879 * [taylor]: Taking taylor expansion of (- 1.0 y) in y
5.879 * [taylor]: Taking taylor expansion of 1.0 in y
5.879 * [backup-simplify]: Simplify 1.0 into 1.0
5.879 * [taylor]: Taking taylor expansion of y in y
5.879 * [backup-simplify]: Simplify 0 into 0
5.879 * [backup-simplify]: Simplify 1 into 1
5.879 * [taylor]: Taking taylor expansion of z in y
5.879 * [backup-simplify]: Simplify z into z
5.879 * [taylor]: Taking taylor expansion of (fma a (- 1.0 t) x) in y
5.879 * [taylor]: Rewrote expression to (+ (* a (- 1.0 t)) x)
5.879 * [taylor]: Taking taylor expansion of (* a (- 1.0 t)) in y
5.879 * [taylor]: Taking taylor expansion of a in y
5.879 * [backup-simplify]: Simplify a into a
5.879 * [taylor]: Taking taylor expansion of (- 1.0 t) in y
5.879 * [taylor]: Taking taylor expansion of 1.0 in y
5.880 * [backup-simplify]: Simplify 1.0 into 1.0
5.880 * [taylor]: Taking taylor expansion of t in y
5.880 * [backup-simplify]: Simplify t into t
5.880 * [taylor]: Taking taylor expansion of x in y
5.880 * [backup-simplify]: Simplify x into x
5.880 * [backup-simplify]: Simplify (- 0) into 0
5.880 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
5.880 * [backup-simplify]: Simplify (* 1.0 z) into (* 1.0 z)
5.880 * [backup-simplify]: Simplify (- t) into (- t)
5.880 * [backup-simplify]: Simplify (+ 1.0 (- t)) into (- 1.0 t)
5.880 * [backup-simplify]: Simplify (* a (- 1.0 t)) into (* a (- 1.0 t))
5.880 * [backup-simplify]: Simplify (+ (* a (- 1.0 t)) x) into (- (+ (* 1.0 a) x) (* a t))
5.881 * [backup-simplify]: Simplify (+ (* 1.0 z) (- (+ (* 1.0 a) x) (* a t))) into (- (+ (* 1.0 a) (+ x (* 1.0 z))) (* a t))
5.881 * [backup-simplify]: Simplify (log (- (+ (* 1.0 a) (+ x (* 1.0 z))) (* a t))) into (log (- (+ (* 1.0 a) (+ x (* 1.0 z))) (* a t)))
5.881 * [backup-simplify]: Simplify (* 1/3 (log (- (+ (* 1.0 a) (+ x (* 1.0 z))) (* a t)))) into (* 1/3 (log (- (+ (* 1.0 a) (+ x (* 1.0 z))) (* a t))))
5.881 * [backup-simplify]: Simplify (exp (* 1/3 (log (- (+ (* 1.0 a) (+ x (* 1.0 z))) (* a t))))) into (pow (- (+ (* 1.0 a) (+ x (* 1.0 z))) (* a t)) 1/3)
5.881 * [taylor]: Taking taylor expansion of (pow (fma (- 1.0 y) z (fma a (- 1.0 t) x)) 1/3) in y
5.881 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (- 1.0 y) z (fma a (- 1.0 t) x))))) in y
5.881 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (- 1.0 y) z (fma a (- 1.0 t) x)))) in y
5.881 * [taylor]: Taking taylor expansion of 1/3 in y
5.881 * [backup-simplify]: Simplify 1/3 into 1/3
5.881 * [taylor]: Taking taylor expansion of (log (fma (- 1.0 y) z (fma a (- 1.0 t) x))) in y
5.881 * [taylor]: Taking taylor expansion of (fma (- 1.0 y) z (fma a (- 1.0 t) x)) in y
5.881 * [taylor]: Rewrote expression to (+ (* (- 1.0 y) z) (fma a (- 1.0 t) x))
5.881 * [taylor]: Taking taylor expansion of (* (- 1.0 y) z) in y
5.881 * [taylor]: Taking taylor expansion of (- 1.0 y) in y
5.881 * [taylor]: Taking taylor expansion of 1.0 in y
5.881 * [backup-simplify]: Simplify 1.0 into 1.0
5.881 * [taylor]: Taking taylor expansion of y in y
5.881 * [backup-simplify]: Simplify 0 into 0
5.881 * [backup-simplify]: Simplify 1 into 1
5.881 * [taylor]: Taking taylor expansion of z in y
5.881 * [backup-simplify]: Simplify z into z
5.881 * [taylor]: Taking taylor expansion of (fma a (- 1.0 t) x) in y
5.882 * [taylor]: Rewrote expression to (+ (* a (- 1.0 t)) x)
5.882 * [taylor]: Taking taylor expansion of (* a (- 1.0 t)) in y
5.882 * [taylor]: Taking taylor expansion of a in y
5.882 * [backup-simplify]: Simplify a into a
5.882 * [taylor]: Taking taylor expansion of (- 1.0 t) in y
5.882 * [taylor]: Taking taylor expansion of 1.0 in y
5.882 * [backup-simplify]: Simplify 1.0 into 1.0
5.882 * [taylor]: Taking taylor expansion of t in y
5.882 * [backup-simplify]: Simplify t into t
5.882 * [taylor]: Taking taylor expansion of x in y
5.882 * [backup-simplify]: Simplify x into x
5.882 * [backup-simplify]: Simplify (- 0) into 0
5.882 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
5.882 * [backup-simplify]: Simplify (* 1.0 z) into (* 1.0 z)
5.882 * [backup-simplify]: Simplify (- t) into (- t)
5.882 * [backup-simplify]: Simplify (+ 1.0 (- t)) into (- 1.0 t)
5.882 * [backup-simplify]: Simplify (* a (- 1.0 t)) into (* a (- 1.0 t))
5.883 * [backup-simplify]: Simplify (+ (* a (- 1.0 t)) x) into (- (+ (* 1.0 a) x) (* a t))
5.883 * [backup-simplify]: Simplify (+ (* 1.0 z) (- (+ (* 1.0 a) x) (* a t))) into (- (+ (* 1.0 a) (+ x (* 1.0 z))) (* a t))
5.883 * [backup-simplify]: Simplify (log (- (+ (* 1.0 a) (+ x (* 1.0 z))) (* a t))) into (log (- (+ (* 1.0 a) (+ x (* 1.0 z))) (* a t)))
5.883 * [backup-simplify]: Simplify (* 1/3 (log (- (+ (* 1.0 a) (+ x (* 1.0 z))) (* a t)))) into (* 1/3 (log (- (+ (* 1.0 a) (+ x (* 1.0 z))) (* a t))))
5.883 * [backup-simplify]: Simplify (exp (* 1/3 (log (- (+ (* 1.0 a) (+ x (* 1.0 z))) (* a t))))) into (pow (- (+ (* 1.0 a) (+ x (* 1.0 z))) (* a t)) 1/3)
5.883 * [taylor]: Taking taylor expansion of (pow (- (+ (* 1.0 a) (+ x (* 1.0 z))) (* a t)) 1/3) in z
5.883 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (+ (* 1.0 a) (+ x (* 1.0 z))) (* a t))))) in z
5.883 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (+ (* 1.0 a) (+ x (* 1.0 z))) (* a t)))) in z
5.883 * [taylor]: Taking taylor expansion of 1/3 in z
5.883 * [backup-simplify]: Simplify 1/3 into 1/3
5.883 * [taylor]: Taking taylor expansion of (log (- (+ (* 1.0 a) (+ x (* 1.0 z))) (* a t))) in z
5.884 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 a) (+ x (* 1.0 z))) (* a t)) in z
5.884 * [taylor]: Taking taylor expansion of (+ (* 1.0 a) (+ x (* 1.0 z))) in z
5.884 * [taylor]: Taking taylor expansion of (* 1.0 a) in z
5.884 * [taylor]: Taking taylor expansion of 1.0 in z
5.884 * [backup-simplify]: Simplify 1.0 into 1.0
5.884 * [taylor]: Taking taylor expansion of a in z
5.884 * [backup-simplify]: Simplify a into a
5.884 * [taylor]: Taking taylor expansion of (+ x (* 1.0 z)) in z
5.884 * [taylor]: Taking taylor expansion of x in z
5.884 * [backup-simplify]: Simplify x into x
5.884 * [taylor]: Taking taylor expansion of (* 1.0 z) in z
5.884 * [taylor]: Taking taylor expansion of 1.0 in z
5.884 * [backup-simplify]: Simplify 1.0 into 1.0
5.884 * [taylor]: Taking taylor expansion of z in z
5.884 * [backup-simplify]: Simplify 0 into 0
5.884 * [backup-simplify]: Simplify 1 into 1
5.884 * [taylor]: Taking taylor expansion of (* a t) in z
5.884 * [taylor]: Taking taylor expansion of a in z
5.884 * [backup-simplify]: Simplify a into a
5.884 * [taylor]: Taking taylor expansion of t in z
5.884 * [backup-simplify]: Simplify t into t
5.884 * [backup-simplify]: Simplify (* 1.0 a) into (* 1.0 a)
5.884 * [backup-simplify]: Simplify (* 1.0 0) into 0
5.884 * [backup-simplify]: Simplify (+ x 0) into x
5.884 * [backup-simplify]: Simplify (+ (* 1.0 a) x) into (+ (* 1.0 a) x)
5.884 * [backup-simplify]: Simplify (* a t) into (* a t)
5.884 * [backup-simplify]: Simplify (- (* a t)) into (- (* a t))
5.884 * [backup-simplify]: Simplify (+ (+ (* 1.0 a) x) (- (* a t))) into (- (+ (* 1.0 a) x) (* a t))
5.885 * [backup-simplify]: Simplify (log (- (+ (* 1.0 a) x) (* a t))) into (log (- (+ (* 1.0 a) x) (* a t)))
5.885 * [backup-simplify]: Simplify (* 1/3 (log (- (+ (* 1.0 a) x) (* a t)))) into (* 1/3 (log (- (+ (* 1.0 a) x) (* a t))))
5.885 * [backup-simplify]: Simplify (exp (* 1/3 (log (- (+ (* 1.0 a) x) (* a t))))) into (pow (- (+ (* 1.0 a) x) (* a t)) 1/3)
5.885 * [taylor]: Taking taylor expansion of (pow (- (+ (* 1.0 a) x) (* a t)) 1/3) in a
5.885 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (+ (* 1.0 a) x) (* a t))))) in a
5.885 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (+ (* 1.0 a) x) (* a t)))) in a
5.885 * [taylor]: Taking taylor expansion of 1/3 in a
5.885 * [backup-simplify]: Simplify 1/3 into 1/3
5.885 * [taylor]: Taking taylor expansion of (log (- (+ (* 1.0 a) x) (* a t))) in a
5.885 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 a) x) (* a t)) in a
5.885 * [taylor]: Taking taylor expansion of (+ (* 1.0 a) x) in a
5.885 * [taylor]: Taking taylor expansion of (* 1.0 a) in a
5.885 * [taylor]: Taking taylor expansion of 1.0 in a
5.885 * [backup-simplify]: Simplify 1.0 into 1.0
5.885 * [taylor]: Taking taylor expansion of a in a
5.885 * [backup-simplify]: Simplify 0 into 0
5.885 * [backup-simplify]: Simplify 1 into 1
5.885 * [taylor]: Taking taylor expansion of x in a
5.885 * [backup-simplify]: Simplify x into x
5.885 * [taylor]: Taking taylor expansion of (* a t) in a
5.885 * [taylor]: Taking taylor expansion of a in a
5.885 * [backup-simplify]: Simplify 0 into 0
5.885 * [backup-simplify]: Simplify 1 into 1
5.885 * [taylor]: Taking taylor expansion of t in a
5.885 * [backup-simplify]: Simplify t into t
5.885 * [backup-simplify]: Simplify (* 1.0 0) into 0
5.886 * [backup-simplify]: Simplify (+ 0 x) into x
5.886 * [backup-simplify]: Simplify (* 0 t) into 0
5.886 * [backup-simplify]: Simplify (- 0) into 0
5.886 * [backup-simplify]: Simplify (+ x 0) into x
5.886 * [backup-simplify]: Simplify (log x) into (log x)
5.886 * [backup-simplify]: Simplify (* 1/3 (log x)) into (* 1/3 (log x))
5.886 * [backup-simplify]: Simplify (exp (* 1/3 (log x))) into (pow x 1/3)
5.886 * [taylor]: Taking taylor expansion of (pow x 1/3) in t
5.886 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in t
5.886 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in t
5.886 * [taylor]: Taking taylor expansion of 1/3 in t
5.886 * [backup-simplify]: Simplify 1/3 into 1/3
5.886 * [taylor]: Taking taylor expansion of (log x) in t
5.886 * [taylor]: Taking taylor expansion of x in t
5.886 * [backup-simplify]: Simplify x into x
5.886 * [backup-simplify]: Simplify (log x) into (log x)
5.886 * [backup-simplify]: Simplify (* 1/3 (log x)) into (* 1/3 (log x))
5.886 * [backup-simplify]: Simplify (exp (* 1/3 (log x))) into (pow x 1/3)
5.886 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
5.886 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
5.886 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
5.886 * [taylor]: Taking taylor expansion of 1/3 in x
5.886 * [backup-simplify]: Simplify 1/3 into 1/3
5.886 * [taylor]: Taking taylor expansion of (log x) in x
5.886 * [taylor]: Taking taylor expansion of x in x
5.886 * [backup-simplify]: Simplify 0 into 0
5.886 * [backup-simplify]: Simplify 1 into 1
5.887 * [backup-simplify]: Simplify (log 1) into 0
5.887 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
5.887 * [backup-simplify]: Simplify (* 1/3 (log x)) into (* 1/3 (log x))
5.887 * [backup-simplify]: Simplify (exp (* 1/3 (log x))) into (pow x 1/3)
5.887 * [backup-simplify]: Simplify (pow x 1/3) into (pow x 1/3)
5.888 * [backup-simplify]: Simplify (- 1) into -1
5.888 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.888 * [backup-simplify]: Simplify (+ (* 1.0 0) (* -1 z)) into (- z)
5.888 * [backup-simplify]: Simplify (- 0) into 0
5.889 * [backup-simplify]: Simplify (+ 0 0) into 0
5.889 * [backup-simplify]: Simplify (+ (* a 0) (* 0 (- 1.0 t))) into 0
5.889 * [backup-simplify]: Simplify (+ 0 0) into 0
5.889 * [backup-simplify]: Simplify (+ (- z) 0) into (- z)
5.889 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- z)) 1)) (pow (- (+ (* 1.0 a) (+ x (* 1.0 z))) (* a t)) 1)))) 1) into (* -1 (/ z (- (+ (* 1.0 a) (+ x (* 1.0 z))) (* a t))))
5.890 * [backup-simplify]: Simplify (+ (* 1/3 (* -1 (/ z (- (+ (* 1.0 a) (+ x (* 1.0 z))) (* a t))))) (* 0 (log (- (+ (* 1.0 a) (+ x (* 1.0 z))) (* a t))))) into (- (* 1/3 (/ z (- (+ (* 1.0 a) (+ x (* 1.0 z))) (* a t)))))
5.890 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (- (+ (* 1.0 a) (+ x (* 1.0 z))) (* a t))))) (+ (* (/ (pow (- (* 1/3 (/ z (- (+ (* 1.0 a) (+ x (* 1.0 z))) (* a t))))) 1) 1)))) into (* -1/3 (* z (pow (/ 1 (pow (- (+ (* 1.0 a) (+ x (* 1.0 z))) (* a t)) 2)) 1/3)))
5.891 * [taylor]: Taking taylor expansion of (* -1/3 (* z (pow (/ 1 (pow (- (+ (* 1.0 a) (+ x (* 1.0 z))) (* a t)) 2)) 1/3))) in z
5.891 * [taylor]: Taking taylor expansion of -1/3 in z
5.891 * [backup-simplify]: Simplify -1/3 into -1/3
5.891 * [taylor]: Taking taylor expansion of (* z (pow (/ 1 (pow (- (+ (* 1.0 a) (+ x (* 1.0 z))) (* a t)) 2)) 1/3)) in z
5.891 * [taylor]: Taking taylor expansion of z in z
5.891 * [backup-simplify]: Simplify 0 into 0
5.891 * [backup-simplify]: Simplify 1 into 1
5.891 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow (- (+ (* 1.0 a) (+ x (* 1.0 z))) (* a t)) 2)) 1/3) in z
5.891 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow (- (+ (* 1.0 a) (+ x (* 1.0 z))) (* a t)) 2))))) in z
5.891 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow (- (+ (* 1.0 a) (+ x (* 1.0 z))) (* a t)) 2)))) in z
5.891 * [taylor]: Taking taylor expansion of 1/3 in z
5.891 * [backup-simplify]: Simplify 1/3 into 1/3
5.891 * [taylor]: Taking taylor expansion of (log (/ 1 (pow (- (+ (* 1.0 a) (+ x (* 1.0 z))) (* a t)) 2))) in z
5.891 * [taylor]: Taking taylor expansion of (/ 1 (pow (- (+ (* 1.0 a) (+ x (* 1.0 z))) (* a t)) 2)) in z
5.891 * [taylor]: Taking taylor expansion of (pow (- (+ (* 1.0 a) (+ x (* 1.0 z))) (* a t)) 2) in z
5.891 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 a) (+ x (* 1.0 z))) (* a t)) in z
5.891 * [taylor]: Taking taylor expansion of (+ (* 1.0 a) (+ x (* 1.0 z))) in z
5.891 * [taylor]: Taking taylor expansion of (* 1.0 a) in z
5.891 * [taylor]: Taking taylor expansion of 1.0 in z
5.891 * [backup-simplify]: Simplify 1.0 into 1.0
5.891 * [taylor]: Taking taylor expansion of a in z
5.891 * [backup-simplify]: Simplify a into a
5.891 * [taylor]: Taking taylor expansion of (+ x (* 1.0 z)) in z
5.891 * [taylor]: Taking taylor expansion of x in z
5.891 * [backup-simplify]: Simplify x into x
5.891 * [taylor]: Taking taylor expansion of (* 1.0 z) in z
5.891 * [taylor]: Taking taylor expansion of 1.0 in z
5.891 * [backup-simplify]: Simplify 1.0 into 1.0
5.891 * [taylor]: Taking taylor expansion of z in z
5.891 * [backup-simplify]: Simplify 0 into 0
5.891 * [backup-simplify]: Simplify 1 into 1
5.891 * [taylor]: Taking taylor expansion of (* a t) in z
5.891 * [taylor]: Taking taylor expansion of a in z
5.891 * [backup-simplify]: Simplify a into a
5.891 * [taylor]: Taking taylor expansion of t in z
5.891 * [backup-simplify]: Simplify t into t
5.891 * [backup-simplify]: Simplify (* 1.0 a) into (* 1.0 a)
5.891 * [backup-simplify]: Simplify (* 1.0 0) into 0
5.891 * [backup-simplify]: Simplify (+ x 0) into x
5.892 * [backup-simplify]: Simplify (+ (* 1.0 a) x) into (+ (* 1.0 a) x)
5.892 * [backup-simplify]: Simplify (* a t) into (* a t)
5.892 * [backup-simplify]: Simplify (- (* a t)) into (- (* a t))
5.892 * [backup-simplify]: Simplify (+ (+ (* 1.0 a) x) (- (* a t))) into (- (+ (* 1.0 a) x) (* a t))
5.892 * [backup-simplify]: Simplify (* (- (+ (* 1.0 a) x) (* a t)) (- (+ (* 1.0 a) x) (* a t))) into (pow (- (+ (* 1.0 a) x) (* a t)) 2)
5.892 * [backup-simplify]: Simplify (/ 1 (pow (- (+ (* 1.0 a) x) (* a t)) 2)) into (/ 1 (pow (- (+ (* 1.0 a) x) (* a t)) 2))
5.893 * [backup-simplify]: Simplify (log (/ 1 (pow (- (+ (* 1.0 a) x) (* a t)) 2))) into (log (/ 1 (pow (- (+ (* 1.0 a) x) (* a t)) 2)))
5.893 * [backup-simplify]: Simplify (* 1/3 (log (/ 1 (pow (- (+ (* 1.0 a) x) (* a t)) 2)))) into (* 1/3 (log (/ 1 (pow (- (+ (* 1.0 a) x) (* a t)) 2))))
5.893 * [backup-simplify]: Simplify (exp (* 1/3 (log (/ 1 (pow (- (+ (* 1.0 a) x) (* a t)) 2))))) into (pow (/ 1 (pow (- (+ (* 1.0 a) x) (* a t)) 2)) 1/3)
5.893 * [backup-simplify]: Simplify (* 0 (pow (/ 1 (pow (- (+ (* 1.0 a) x) (* a t)) 2)) 1/3)) into 0
5.893 * [backup-simplify]: Simplify (* -1/3 0) into 0
5.893 * [taylor]: Taking taylor expansion of 0 in a
5.893 * [backup-simplify]: Simplify 0 into 0
5.894 * [taylor]: Taking taylor expansion of 0 in t
5.894 * [backup-simplify]: Simplify 0 into 0
5.894 * [taylor]: Taking taylor expansion of 0 in x
5.894 * [backup-simplify]: Simplify 0 into 0
5.894 * [backup-simplify]: Simplify 0 into 0
5.894 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 a)) into 0
5.895 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
5.895 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
5.895 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
5.895 * [backup-simplify]: Simplify (+ (* a 0) (* 0 t)) into 0
5.896 * [backup-simplify]: Simplify (- 0) into 0
5.896 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
5.897 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow (- (+ (* 1.0 a) x) (* a t)) 1)))) 1) into (/ 1.0 (- (+ (* 1.0 a) x) (* a t)))
5.897 * [backup-simplify]: Simplify (+ (* 1/3 (/ 1.0 (- (+ (* 1.0 a) x) (* a t)))) (* 0 (log (- (+ (* 1.0 a) x) (* a t))))) into (* 0.3333333333333333 (/ 1 (- (+ (* 1.0 a) x) (* a t))))
5.898 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (- (+ (* 1.0 a) x) (* a t))))) (+ (* (/ (pow (* 0.3333333333333333 (/ 1 (- (+ (* 1.0 a) x) (* a t)))) 1) 1)))) into (* 0.3333333333333333 (pow (/ 1 (pow (- (+ (* 1.0 a) x) (* a t)) 2)) 1/3))
5.898 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (pow (/ 1 (pow (- (+ (* 1.0 a) x) (* a t)) 2)) 1/3)) in a
5.898 * [taylor]: Taking taylor expansion of 0.3333333333333333 in a
5.898 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
5.898 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow (- (+ (* 1.0 a) x) (* a t)) 2)) 1/3) in a
5.898 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow (- (+ (* 1.0 a) x) (* a t)) 2))))) in a
5.898 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow (- (+ (* 1.0 a) x) (* a t)) 2)))) in a
5.898 * [taylor]: Taking taylor expansion of 1/3 in a
5.898 * [backup-simplify]: Simplify 1/3 into 1/3
5.898 * [taylor]: Taking taylor expansion of (log (/ 1 (pow (- (+ (* 1.0 a) x) (* a t)) 2))) in a
5.898 * [taylor]: Taking taylor expansion of (/ 1 (pow (- (+ (* 1.0 a) x) (* a t)) 2)) in a
5.898 * [taylor]: Taking taylor expansion of (pow (- (+ (* 1.0 a) x) (* a t)) 2) in a
5.898 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 a) x) (* a t)) in a
5.898 * [taylor]: Taking taylor expansion of (+ (* 1.0 a) x) in a
5.898 * [taylor]: Taking taylor expansion of (* 1.0 a) in a
5.898 * [taylor]: Taking taylor expansion of 1.0 in a
5.898 * [backup-simplify]: Simplify 1.0 into 1.0
5.898 * [taylor]: Taking taylor expansion of a in a
5.898 * [backup-simplify]: Simplify 0 into 0
5.898 * [backup-simplify]: Simplify 1 into 1
5.898 * [taylor]: Taking taylor expansion of x in a
5.898 * [backup-simplify]: Simplify x into x
5.898 * [taylor]: Taking taylor expansion of (* a t) in a
5.898 * [taylor]: Taking taylor expansion of a in a
5.898 * [backup-simplify]: Simplify 0 into 0
5.898 * [backup-simplify]: Simplify 1 into 1
5.898 * [taylor]: Taking taylor expansion of t in a
5.898 * [backup-simplify]: Simplify t into t
5.898 * [backup-simplify]: Simplify (* 1.0 0) into 0
5.898 * [backup-simplify]: Simplify (+ 0 x) into x
5.898 * [backup-simplify]: Simplify (* 0 t) into 0
5.899 * [backup-simplify]: Simplify (- 0) into 0
5.899 * [backup-simplify]: Simplify (+ x 0) into x