13.023 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [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 z) t)) (+ (+ a 1.0) (/ (* y b) t))) 0.048 * * [simplify]: Extracting # 0 : cost 0 0.048 * * [simplify]: Extracting # 1 : cost 0 0.048 * * [simplify]: Extracting # 2 : cost 0 0.048 * * [simplify]: Extracting # 3 : cost 0 0.048 * * [simplify]: Extracting # 4 : cost 0 0.048 * * [simplify]: Extracting # 5 : cost 0 0.048 * * [simplify]: Extracting # 6 : cost 0 0.048 * * [simplify]: Extracting # 7 : cost 0 0.048 * * [simplify]: iteration 0 : 15 enodes (cost 17 ) 0.050 * * [simplify]: Extracting # 0 : cost 0 0.050 * * [simplify]: Extracting # 1 : cost 0 0.050 * * [simplify]: Extracting # 2 : cost 0 0.050 * * [simplify]: iteration 1 : 26 enodes (cost 17 ) 0.054 * * [simplify]: Extracting # 0 : cost 0 0.054 * * [simplify]: Extracting # 1 : cost 0 0.054 * * [simplify]: Extracting # 2 : cost 0 0.054 * * [simplify]: iteration 2 : 38 enodes (cost 17 ) 0.059 * * [simplify]: Extracting # 0 : cost 0 0.059 * * [simplify]: Extracting # 1 : cost 0 0.059 * * [simplify]: Extracting # 2 : cost 0 0.059 * * [simplify]: iteration 3 : 50 enodes (cost 15 ) 0.066 * * [simplify]: Extracting # 0 : cost 0 0.066 * * [simplify]: iteration 4 : 60 enodes (cost 15 ) 0.094 * * [simplify]: Extracting # 0 : cost 0 0.095 * * [simplify]: iteration 5 : 64 enodes (cost 15 ) 0.112 * * [simplify]: Extracting # 0 : cost 0 0.112 * * [simplify]: iteration done: 64 enodes (cost 15 ) 0.112 * [simplify]: Simplified to: (/ (fma (/ y t) z x) (+ (fma (/ y t) b a) 1.0)) 0.119 * * [progress]: iteration 1 / 4 0.119 * * * [progress]: picking best candidate 0.129 * * * * [pick]: Picked # 0.129 * * * [progress]: localizing error 0.156 * * * [progress]: generating rewritten candidates 0.156 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 0.179 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 0.180 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1) 0.184 * * * [progress]: generating series expansions 0.184 * * * * [progress]: [ 1 / 3 ] generating series at (2) 0.184 * [backup-simplify]: Simplify (/ (fma (/ y t) z x) (+ (fma (/ y t) b a) 1.0)) into (/ (fma (/ y t) z x) (+ (fma (/ y t) b a) 1.0)) 0.184 * [approximate]: Taking taylor expansion of (/ (fma (/ y t) z x) (+ (fma (/ y t) b a) 1.0)) in (y t z x b a) around 0 0.184 * [taylor]: Taking taylor expansion of (/ (fma (/ y t) z x) (+ (fma (/ y t) b a) 1.0)) in a 0.184 * [taylor]: Taking taylor expansion of (fma (/ y t) z x) in a 0.184 * [taylor]: Rewrote expression to (+ (* (/ y t) z) x) 0.184 * [taylor]: Taking taylor expansion of (* (/ y t) z) in a 0.184 * [taylor]: Taking taylor expansion of (/ y t) in a 0.185 * [taylor]: Taking taylor expansion of y in a 0.185 * [backup-simplify]: Simplify y into y 0.185 * [taylor]: Taking taylor expansion of t in a 0.185 * [backup-simplify]: Simplify t into t 0.185 * [backup-simplify]: Simplify (/ y t) into (/ y t) 0.185 * [taylor]: Taking taylor expansion of z in a 0.185 * [backup-simplify]: Simplify z into z 0.185 * [taylor]: Taking taylor expansion of x in a 0.185 * [backup-simplify]: Simplify x into x 0.185 * [taylor]: Taking taylor expansion of (+ (fma (/ y t) b a) 1.0) in a 0.185 * [taylor]: Taking taylor expansion of (fma (/ y t) b a) in a 0.185 * [taylor]: Rewrote expression to (+ (* (/ y t) b) a) 0.185 * [taylor]: Taking taylor expansion of (* (/ y t) b) in a 0.185 * [taylor]: Taking taylor expansion of (/ y t) in a 0.185 * [taylor]: Taking taylor expansion of y in a 0.185 * [backup-simplify]: Simplify y into y 0.185 * [taylor]: Taking taylor expansion of t in a 0.185 * [backup-simplify]: Simplify t into t 0.185 * [backup-simplify]: Simplify (/ y t) into (/ y t) 0.185 * [taylor]: Taking taylor expansion of b in a 0.185 * [backup-simplify]: Simplify b into b 0.185 * [taylor]: Taking taylor expansion of a in a 0.185 * [backup-simplify]: Simplify 0 into 0 0.185 * [backup-simplify]: Simplify 1 into 1 0.185 * [taylor]: Taking taylor expansion of 1.0 in a 0.185 * [backup-simplify]: Simplify 1.0 into 1.0 0.186 * [backup-simplify]: Simplify (* (/ y t) z) into (/ (* z y) t) 0.186 * [backup-simplify]: Simplify (+ (/ (* z y) t) x) into (+ (/ (* z y) t) x) 0.186 * [backup-simplify]: Simplify (* (/ y t) b) into (/ (* y b) t) 0.186 * [backup-simplify]: Simplify (+ (/ (* y b) t) 0) into (/ (* y b) t) 0.186 * [backup-simplify]: Simplify (+ (/ (* y b) t) 1.0) into (+ (/ (* y b) t) 1.0) 0.186 * [backup-simplify]: Simplify (/ (+ (/ (* z y) t) x) (+ (/ (* y b) t) 1.0)) into (/ (+ (/ (* z y) t) x) (+ (/ (* y b) t) 1.0)) 0.186 * [taylor]: Taking taylor expansion of (/ (fma (/ y t) z x) (+ (fma (/ y t) b a) 1.0)) in b 0.186 * [taylor]: Taking taylor expansion of (fma (/ y t) z x) in b 0.187 * [taylor]: Rewrote expression to (+ (* (/ y t) z) x) 0.187 * [taylor]: Taking taylor expansion of (* (/ y t) z) in b 0.187 * [taylor]: Taking taylor expansion of (/ y t) in b 0.187 * [taylor]: Taking taylor expansion of y in b 0.187 * [backup-simplify]: Simplify y into y 0.187 * [taylor]: Taking taylor expansion of t in b 0.187 * [backup-simplify]: Simplify t into t 0.187 * [backup-simplify]: Simplify (/ y t) into (/ y t) 0.187 * [taylor]: Taking taylor expansion of z in b 0.187 * [backup-simplify]: Simplify z into z 0.187 * [taylor]: Taking taylor expansion of x in b 0.187 * [backup-simplify]: Simplify x into x 0.187 * [taylor]: Taking taylor expansion of (+ (fma (/ y t) b a) 1.0) in b 0.187 * [taylor]: Taking taylor expansion of (fma (/ y t) b a) in b 0.187 * [taylor]: Rewrote expression to (+ (* (/ y t) b) a) 0.187 * [taylor]: Taking taylor expansion of (* (/ y t) b) in b 0.187 * [taylor]: Taking taylor expansion of (/ y t) in b 0.187 * [taylor]: Taking taylor expansion of y in b 0.187 * [backup-simplify]: Simplify y into y 0.187 * [taylor]: Taking taylor expansion of t in b 0.187 * [backup-simplify]: Simplify t into t 0.187 * [backup-simplify]: Simplify (/ y t) into (/ y t) 0.187 * [taylor]: Taking taylor expansion of b in b 0.187 * [backup-simplify]: Simplify 0 into 0 0.188 * [backup-simplify]: Simplify 1 into 1 0.188 * [taylor]: Taking taylor expansion of a in b 0.188 * [backup-simplify]: Simplify a into a 0.188 * [taylor]: Taking taylor expansion of 1.0 in b 0.188 * [backup-simplify]: Simplify 1.0 into 1.0 0.188 * [backup-simplify]: Simplify (* (/ y t) z) into (/ (* z y) t) 0.188 * [backup-simplify]: Simplify (+ (/ (* z y) t) x) into (+ (/ (* z y) t) x) 0.188 * [backup-simplify]: Simplify (* (/ y t) 0) into 0 0.188 * [backup-simplify]: Simplify (+ 0 a) into a 0.188 * [backup-simplify]: Simplify (+ a 1.0) into (+ a 1.0) 0.188 * [backup-simplify]: Simplify (/ (+ (/ (* z y) t) x) (+ a 1.0)) into (/ (+ (/ (* z y) t) x) (+ a 1.0)) 0.188 * [taylor]: Taking taylor expansion of (/ (fma (/ y t) z x) (+ (fma (/ y t) b a) 1.0)) in x 0.188 * [taylor]: Taking taylor expansion of (fma (/ y t) z x) in x 0.189 * [taylor]: Rewrote expression to (+ (* (/ y t) z) x) 0.189 * [taylor]: Taking taylor expansion of (* (/ y t) z) in x 0.189 * [taylor]: Taking taylor expansion of (/ y t) in x 0.189 * [taylor]: Taking taylor expansion of y in x 0.189 * [backup-simplify]: Simplify y into y 0.189 * [taylor]: Taking taylor expansion of t in x 0.189 * [backup-simplify]: Simplify t into t 0.189 * [backup-simplify]: Simplify (/ y t) into (/ y t) 0.189 * [taylor]: Taking taylor expansion of z in x 0.189 * [backup-simplify]: Simplify z into z 0.189 * [taylor]: Taking taylor expansion of x in x 0.189 * [backup-simplify]: Simplify 0 into 0 0.189 * [backup-simplify]: Simplify 1 into 1 0.189 * [taylor]: Taking taylor expansion of (+ (fma (/ y t) b a) 1.0) in x 0.189 * [taylor]: Taking taylor expansion of (fma (/ y t) b a) in x 0.189 * [taylor]: Rewrote expression to (+ (* (/ y t) b) a) 0.189 * [taylor]: Taking taylor expansion of (* (/ y t) b) in x 0.189 * [taylor]: Taking taylor expansion of (/ y t) in x 0.189 * [taylor]: Taking taylor expansion of y in x 0.189 * [backup-simplify]: Simplify y into y 0.189 * [taylor]: Taking taylor expansion of t in x 0.189 * [backup-simplify]: Simplify t into t 0.189 * [backup-simplify]: Simplify (/ y t) into (/ y t) 0.189 * [taylor]: Taking taylor expansion of b in x 0.189 * [backup-simplify]: Simplify b into b 0.190 * [taylor]: Taking taylor expansion of a in x 0.190 * [backup-simplify]: Simplify a into a 0.190 * [taylor]: Taking taylor expansion of 1.0 in x 0.190 * [backup-simplify]: Simplify 1.0 into 1.0 0.190 * [backup-simplify]: Simplify (* (/ y t) z) into (/ (* z y) t) 0.190 * [backup-simplify]: Simplify (+ (/ (* z y) t) 0) into (/ (* z y) t) 0.190 * [backup-simplify]: Simplify (* (/ y t) b) into (/ (* y b) t) 0.190 * [backup-simplify]: Simplify (+ (/ (* y b) t) a) into (+ a (/ (* y b) t)) 0.191 * [backup-simplify]: Simplify (+ (+ a (/ (* y b) t)) 1.0) into (+ a (+ (/ (* y b) t) 1.0)) 0.191 * [backup-simplify]: Simplify (/ (/ (* z y) t) (+ a (+ (/ (* y b) t) 1.0))) into (/ (* z y) (* t (+ a (+ (/ (* y b) t) 1.0)))) 0.191 * [taylor]: Taking taylor expansion of (/ (fma (/ y t) z x) (+ (fma (/ y t) b a) 1.0)) in z 0.191 * [taylor]: Taking taylor expansion of (fma (/ y t) z x) in z 0.191 * [taylor]: Rewrote expression to (+ (* (/ y t) z) x) 0.191 * [taylor]: Taking taylor expansion of (* (/ y t) z) in z 0.191 * [taylor]: Taking taylor expansion of (/ y t) in z 0.191 * [taylor]: Taking taylor expansion of y in z 0.192 * [backup-simplify]: Simplify y into y 0.192 * [taylor]: Taking taylor expansion of t in z 0.192 * [backup-simplify]: Simplify t into t 0.192 * [backup-simplify]: Simplify (/ y t) into (/ y t) 0.192 * [taylor]: Taking taylor expansion of z in z 0.192 * [backup-simplify]: Simplify 0 into 0 0.192 * [backup-simplify]: Simplify 1 into 1 0.192 * [taylor]: Taking taylor expansion of x in z 0.192 * [backup-simplify]: Simplify x into x 0.192 * [taylor]: Taking taylor expansion of (+ (fma (/ y t) b a) 1.0) in z 0.192 * [taylor]: Taking taylor expansion of (fma (/ y t) b a) in z 0.192 * [taylor]: Rewrote expression to (+ (* (/ y t) b) a) 0.192 * [taylor]: Taking taylor expansion of (* (/ y t) b) in z 0.192 * [taylor]: Taking taylor expansion of (/ y t) in z 0.192 * [taylor]: Taking taylor expansion of y in z 0.192 * [backup-simplify]: Simplify y into y 0.192 * [taylor]: Taking taylor expansion of t in z 0.192 * [backup-simplify]: Simplify t into t 0.192 * [backup-simplify]: Simplify (/ y t) into (/ y t) 0.192 * [taylor]: Taking taylor expansion of b in z 0.192 * [backup-simplify]: Simplify b into b 0.192 * [taylor]: Taking taylor expansion of a in z 0.192 * [backup-simplify]: Simplify a into a 0.192 * [taylor]: Taking taylor expansion of 1.0 in z 0.192 * [backup-simplify]: Simplify 1.0 into 1.0 0.192 * [backup-simplify]: Simplify (* (/ y t) 0) into 0 0.192 * [backup-simplify]: Simplify (+ 0 x) into x 0.193 * [backup-simplify]: Simplify (* (/ y t) b) into (/ (* y b) t) 0.193 * [backup-simplify]: Simplify (+ (/ (* y b) t) a) into (+ a (/ (* y b) t)) 0.193 * [backup-simplify]: Simplify (+ (+ a (/ (* y b) t)) 1.0) into (+ a (+ (/ (* y b) t) 1.0)) 0.193 * [backup-simplify]: Simplify (/ x (+ a (+ (/ (* y b) t) 1.0))) into (/ x (+ a (+ (/ (* y b) t) 1.0))) 0.193 * [taylor]: Taking taylor expansion of (/ (fma (/ y t) z x) (+ (fma (/ y t) b a) 1.0)) in t 0.193 * [taylor]: Taking taylor expansion of (fma (/ y t) z x) in t 0.193 * [taylor]: Rewrote expression to (+ (* (/ y t) z) x) 0.193 * [taylor]: Taking taylor expansion of (* (/ y t) z) in t 0.193 * [taylor]: Taking taylor expansion of (/ y t) in t 0.194 * [taylor]: Taking taylor expansion of y in t 0.194 * [backup-simplify]: Simplify y into y 0.194 * [taylor]: Taking taylor expansion of t in t 0.194 * [backup-simplify]: Simplify 0 into 0 0.194 * [backup-simplify]: Simplify 1 into 1 0.194 * [backup-simplify]: Simplify (/ y 1) into y 0.194 * [taylor]: Taking taylor expansion of z in t 0.194 * [backup-simplify]: Simplify z into z 0.194 * [taylor]: Taking taylor expansion of x in t 0.194 * [backup-simplify]: Simplify x into x 0.194 * [taylor]: Taking taylor expansion of (+ (fma (/ y t) b a) 1.0) in t 0.194 * [taylor]: Taking taylor expansion of (fma (/ y t) b a) in t 0.194 * [taylor]: Rewrote expression to (+ (* (/ y t) b) a) 0.194 * [taylor]: Taking taylor expansion of (* (/ y t) b) in t 0.194 * [taylor]: Taking taylor expansion of (/ y t) in t 0.194 * [taylor]: Taking taylor expansion of y in t 0.194 * [backup-simplify]: Simplify y into y 0.194 * [taylor]: Taking taylor expansion of t in t 0.194 * [backup-simplify]: Simplify 0 into 0 0.194 * [backup-simplify]: Simplify 1 into 1 0.194 * [backup-simplify]: Simplify (/ y 1) into y 0.194 * [taylor]: Taking taylor expansion of b in t 0.194 * [backup-simplify]: Simplify b into b 0.194 * [taylor]: Taking taylor expansion of a in t 0.194 * [backup-simplify]: Simplify a into a 0.194 * [taylor]: Taking taylor expansion of 1.0 in t 0.194 * [backup-simplify]: Simplify 1.0 into 1.0 0.195 * [backup-simplify]: Simplify (* y z) into (* z y) 0.195 * [backup-simplify]: Simplify (+ (* z y) 0) into (* z y) 0.195 * [backup-simplify]: Simplify (* y b) into (* y b) 0.195 * [backup-simplify]: Simplify (+ (* y b) 0) into (* y b) 0.195 * [backup-simplify]: Simplify (+ (* y b) 0) into (* y b) 0.195 * [backup-simplify]: Simplify (/ (* z y) (* y b)) into (/ z b) 0.195 * [taylor]: Taking taylor expansion of (/ (fma (/ y t) z x) (+ (fma (/ y t) b a) 1.0)) in y 0.195 * [taylor]: Taking taylor expansion of (fma (/ y t) z x) in y 0.195 * [taylor]: Rewrote expression to (+ (* (/ y t) z) x) 0.195 * [taylor]: Taking taylor expansion of (* (/ y t) z) in y 0.195 * [taylor]: Taking taylor expansion of (/ y t) in y 0.195 * [taylor]: Taking taylor expansion of y in y 0.195 * [backup-simplify]: Simplify 0 into 0 0.195 * [backup-simplify]: Simplify 1 into 1 0.195 * [taylor]: Taking taylor expansion of t in y 0.195 * [backup-simplify]: Simplify t into t 0.196 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 0.196 * [taylor]: Taking taylor expansion of z in y 0.196 * [backup-simplify]: Simplify z into z 0.196 * [taylor]: Taking taylor expansion of x in y 0.196 * [backup-simplify]: Simplify x into x 0.196 * [taylor]: Taking taylor expansion of (+ (fma (/ y t) b a) 1.0) in y 0.196 * [taylor]: Taking taylor expansion of (fma (/ y t) b a) in y 0.196 * [taylor]: Rewrote expression to (+ (* (/ y t) b) a) 0.196 * [taylor]: Taking taylor expansion of (* (/ y t) b) in y 0.196 * [taylor]: Taking taylor expansion of (/ y t) in y 0.196 * [taylor]: Taking taylor expansion of y in y 0.196 * [backup-simplify]: Simplify 0 into 0 0.196 * [backup-simplify]: Simplify 1 into 1 0.196 * [taylor]: Taking taylor expansion of t in y 0.196 * [backup-simplify]: Simplify t into t 0.196 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 0.196 * [taylor]: Taking taylor expansion of b in y 0.196 * [backup-simplify]: Simplify b into b 0.196 * [taylor]: Taking taylor expansion of a in y 0.196 * [backup-simplify]: Simplify a into a 0.196 * [taylor]: Taking taylor expansion of 1.0 in y 0.196 * [backup-simplify]: Simplify 1.0 into 1.0 0.196 * [backup-simplify]: Simplify (+ 0 x) into x 0.196 * [backup-simplify]: Simplify (+ 0 a) into a 0.196 * [backup-simplify]: Simplify (+ a 1.0) into (+ a 1.0) 0.197 * [backup-simplify]: Simplify (/ x (+ a 1.0)) into (/ x (+ a 1.0)) 0.197 * [taylor]: Taking taylor expansion of (/ (fma (/ y t) z x) (+ (fma (/ y t) b a) 1.0)) in y 0.197 * [taylor]: Taking taylor expansion of (fma (/ y t) z x) in y 0.197 * [taylor]: Rewrote expression to (+ (* (/ y t) z) x) 0.197 * [taylor]: Taking taylor expansion of (* (/ y t) z) in y 0.197 * [taylor]: Taking taylor expansion of (/ y t) in y 0.197 * [taylor]: Taking taylor expansion of y in y 0.197 * [backup-simplify]: Simplify 0 into 0 0.197 * [backup-simplify]: Simplify 1 into 1 0.197 * [taylor]: Taking taylor expansion of t in y 0.197 * [backup-simplify]: Simplify t into t 0.197 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 0.197 * [taylor]: Taking taylor expansion of z in y 0.197 * [backup-simplify]: Simplify z into z 0.197 * [taylor]: Taking taylor expansion of x in y 0.197 * [backup-simplify]: Simplify x into x 0.197 * [taylor]: Taking taylor expansion of (+ (fma (/ y t) b a) 1.0) in y 0.197 * [taylor]: Taking taylor expansion of (fma (/ y t) b a) in y 0.197 * [taylor]: Rewrote expression to (+ (* (/ y t) b) a) 0.197 * [taylor]: Taking taylor expansion of (* (/ y t) b) in y 0.197 * [taylor]: Taking taylor expansion of (/ y t) in y 0.197 * [taylor]: Taking taylor expansion of y in y 0.197 * [backup-simplify]: Simplify 0 into 0 0.198 * [backup-simplify]: Simplify 1 into 1 0.198 * [taylor]: Taking taylor expansion of t in y 0.198 * [backup-simplify]: Simplify t into t 0.198 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 0.198 * [taylor]: Taking taylor expansion of b in y 0.198 * [backup-simplify]: Simplify b into b 0.198 * [taylor]: Taking taylor expansion of a in y 0.198 * [backup-simplify]: Simplify a into a 0.198 * [taylor]: Taking taylor expansion of 1.0 in y 0.198 * [backup-simplify]: Simplify 1.0 into 1.0 0.198 * [backup-simplify]: Simplify (+ 0 x) into x 0.198 * [backup-simplify]: Simplify (+ 0 a) into a 0.198 * [backup-simplify]: Simplify (+ a 1.0) into (+ a 1.0) 0.198 * [backup-simplify]: Simplify (/ x (+ a 1.0)) into (/ x (+ a 1.0)) 0.198 * [taylor]: Taking taylor expansion of (/ x (+ a 1.0)) in t 0.198 * [taylor]: Taking taylor expansion of x in t 0.198 * [backup-simplify]: Simplify x into x 0.198 * [taylor]: Taking taylor expansion of (+ a 1.0) in t 0.198 * [taylor]: Taking taylor expansion of a in t 0.198 * [backup-simplify]: Simplify a into a 0.198 * [taylor]: Taking taylor expansion of 1.0 in t 0.198 * [backup-simplify]: Simplify 1.0 into 1.0 0.198 * [backup-simplify]: Simplify (+ a 1.0) into (+ a 1.0) 0.199 * [backup-simplify]: Simplify (/ x (+ a 1.0)) into (/ x (+ a 1.0)) 0.199 * [taylor]: Taking taylor expansion of (/ x (+ a 1.0)) in z 0.199 * [taylor]: Taking taylor expansion of x in z 0.199 * [backup-simplify]: Simplify x into x 0.199 * [taylor]: Taking taylor expansion of (+ a 1.0) in z 0.199 * [taylor]: Taking taylor expansion of a in z 0.199 * [backup-simplify]: Simplify a into a 0.199 * [taylor]: Taking taylor expansion of 1.0 in z 0.199 * [backup-simplify]: Simplify 1.0 into 1.0 0.199 * [backup-simplify]: Simplify (+ a 1.0) into (+ a 1.0) 0.199 * [backup-simplify]: Simplify (/ x (+ a 1.0)) into (/ x (+ a 1.0)) 0.199 * [taylor]: Taking taylor expansion of (/ x (+ a 1.0)) in x 0.199 * [taylor]: Taking taylor expansion of x in x 0.199 * [backup-simplify]: Simplify 0 into 0 0.199 * [backup-simplify]: Simplify 1 into 1 0.199 * [taylor]: Taking taylor expansion of (+ a 1.0) in x 0.199 * [taylor]: Taking taylor expansion of a in x 0.199 * [backup-simplify]: Simplify a into a 0.199 * [taylor]: Taking taylor expansion of 1.0 in x 0.199 * [backup-simplify]: Simplify 1.0 into 1.0 0.199 * [backup-simplify]: Simplify (+ a 1.0) into (+ a 1.0) 0.199 * [backup-simplify]: Simplify (/ 1 (+ a 1.0)) into (/ 1 (+ a 1.0)) 0.200 * [backup-simplify]: Simplify (* (/ 1 t) z) into (/ z t) 0.200 * [backup-simplify]: Simplify (+ (/ z t) 0) into (/ z t) 0.200 * [backup-simplify]: Simplify (* (/ 1 t) b) into (/ b t) 0.200 * [backup-simplify]: Simplify (+ (/ b t) 0) into (/ b t) 0.200 * [backup-simplify]: Simplify (+ (/ b t) 0) into (/ b t) 0.200 * [backup-simplify]: Simplify (- (/ (/ z t) (+ a 1.0)) (+ (* (/ x (+ a 1.0)) (/ (/ b t) (+ a 1.0))))) into (- (/ z (* t (+ a 1.0))) (/ (* x b) (* t (pow (+ a 1.0) 2)))) 0.200 * [taylor]: Taking taylor expansion of (- (/ z (* t (+ a 1.0))) (/ (* x b) (* t (pow (+ a 1.0) 2)))) in t 0.200 * [taylor]: Taking taylor expansion of (/ z (* t (+ a 1.0))) in t 0.201 * [taylor]: Taking taylor expansion of z in t 0.201 * [backup-simplify]: Simplify z into z 0.201 * [taylor]: Taking taylor expansion of (* t (+ a 1.0)) in t 0.201 * [taylor]: Taking taylor expansion of t in t 0.201 * [backup-simplify]: Simplify 0 into 0 0.201 * [backup-simplify]: Simplify 1 into 1 0.201 * [taylor]: Taking taylor expansion of (+ a 1.0) in t 0.201 * [taylor]: Taking taylor expansion of a in t 0.201 * [backup-simplify]: Simplify a into a 0.201 * [taylor]: Taking taylor expansion of 1.0 in t 0.201 * [backup-simplify]: Simplify 1.0 into 1.0 0.201 * [backup-simplify]: Simplify (+ a 1.0) into (+ a 1.0) 0.201 * [backup-simplify]: Simplify (* 0 (+ a 1.0)) into 0 0.202 * [backup-simplify]: Simplify (+ 0 0) into 0 0.202 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (+ a 1.0))) into (+ a 1.0) 0.202 * [backup-simplify]: Simplify (/ z (+ a 1.0)) into (/ z (+ a 1.0)) 0.202 * [taylor]: Taking taylor expansion of (/ (* x b) (* t (pow (+ a 1.0) 2))) in t 0.202 * [taylor]: Taking taylor expansion of (* x b) in t 0.202 * [taylor]: Taking taylor expansion of x in t 0.202 * [backup-simplify]: Simplify x into x 0.202 * [taylor]: Taking taylor expansion of b in t 0.202 * [backup-simplify]: Simplify b into b 0.202 * [taylor]: Taking taylor expansion of (* t (pow (+ a 1.0) 2)) in t 0.202 * [taylor]: Taking taylor expansion of t in t 0.202 * [backup-simplify]: Simplify 0 into 0 0.202 * [backup-simplify]: Simplify 1 into 1 0.202 * [taylor]: Taking taylor expansion of (pow (+ a 1.0) 2) in t 0.202 * [taylor]: Taking taylor expansion of (+ a 1.0) in t 0.203 * [taylor]: Taking taylor expansion of a in t 0.203 * [backup-simplify]: Simplify a into a 0.203 * [taylor]: Taking taylor expansion of 1.0 in t 0.203 * [backup-simplify]: Simplify 1.0 into 1.0 0.203 * [backup-simplify]: Simplify (+ a 1.0) into (+ a 1.0) 0.203 * [backup-simplify]: Simplify (* x b) into (* x b) 0.203 * [backup-simplify]: Simplify (* (+ a 1.0) (+ a 1.0)) into (pow (+ a 1.0) 2) 0.203 * [backup-simplify]: Simplify (* 0 (pow (+ a 1.0) 2)) into 0 0.203 * [backup-simplify]: Simplify (+ 0 0) into 0 0.204 * [backup-simplify]: Simplify (+ (* (+ a 1.0) 0) (* 0 (+ a 1.0))) into 0