0.070 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.032 * * * [progress]: [2/2] Setting up program. 0.035 * [progress]: [Phase 2 of 3] Improving. 0.035 * [simplify]: Simplifying: (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) 0.036 * * [simplify]: Extracting # 0 : cost 0 0.036 * * [simplify]: Extracting # 1 : cost 0 0.036 * * [simplify]: Extracting # 2 : cost 0 0.036 * * [simplify]: Extracting # 3 : cost 0 0.036 * * [simplify]: Extracting # 4 : cost 0 0.036 * * [simplify]: Extracting # 5 : cost 0 0.036 * * [simplify]: Extracting # 6 : cost 0 0.036 * * [simplify]: Extracting # 7 : cost 0 0.036 * * [simplify]: iteration 0 : 14 enodes (cost 17 ) 0.038 * * [simplify]: Extracting # 0 : cost 0 0.038 * * [simplify]: Extracting # 1 : cost 0 0.038 * * [simplify]: Extracting # 2 : cost 0 0.038 * * [simplify]: iteration 1 : 24 enodes (cost 16 ) 0.042 * * [simplify]: Extracting # 0 : cost 0 0.042 * * [simplify]: Extracting # 1 : cost 0 0.042 * * [simplify]: Extracting # 2 : cost 0 0.042 * * [simplify]: iteration 2 : 43 enodes (cost 15 ) 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 3 : 75 enodes (cost 15 ) 0.063 * * [simplify]: Extracting # 0 : cost 0 0.063 * * [simplify]: Extracting # 1 : cost 0 0.063 * * [simplify]: Extracting # 2 : cost 0 0.063 * * [simplify]: iteration 4 : 112 enodes (cost 15 ) 0.093 * * [simplify]: Extracting # 0 : cost 0 0.093 * * [simplify]: Extracting # 1 : cost 0 0.094 * * [simplify]: Extracting # 2 : cost 0 0.094 * * [simplify]: Extracting # 3 : cost 0 0.094 * * [simplify]: Extracting # 4 : cost 0 0.094 * * [simplify]: iteration 5 : 148 enodes (cost 15 ) 0.119 * * [simplify]: Extracting # 0 : cost 0 0.119 * * [simplify]: Extracting # 1 : cost 0 0.120 * * [simplify]: Extracting # 2 : cost 0 0.120 * * [simplify]: iteration 6 : 181 enodes (cost 15 ) 0.158 * * [simplify]: Extracting # 0 : cost 0 0.158 * * [simplify]: Extracting # 1 : cost 0 0.159 * * [simplify]: Extracting # 2 : cost 0 0.159 * * [simplify]: Extracting # 3 : cost 0 0.159 * * [simplify]: Extracting # 4 : cost 0 0.160 * * [simplify]: iteration 7 : 257 enodes (cost 15 ) 0.245 * * [simplify]: Extracting # 0 : cost 0 0.246 * * [simplify]: Extracting # 1 : cost 0 0.246 * * [simplify]: Extracting # 2 : cost 0 0.247 * * [simplify]: iteration 8 : 419 enodes (cost 15 ) 0.465 * * [simplify]: Extracting # 0 : cost 0 0.466 * * [simplify]: Extracting # 1 : cost 0 0.467 * * [simplify]: Extracting # 2 : cost 0 0.468 * * [simplify]: iteration 9 : 728 enodes (cost 15 ) 0.910 * * [simplify]: Extracting # 0 : cost 0 0.911 * * [simplify]: Extracting # 1 : cost 0 0.913 * * [simplify]: Extracting # 2 : cost 0 0.915 * * [simplify]: Extracting # 3 : cost 0 0.916 * * [simplify]: iteration 10 : 1525 enodes (cost 15 ) 3.514 * * [simplify]: Extracting # 0 : cost 0 3.523 * * [simplify]: Extracting # 1 : cost 0 3.531 * * [simplify]: Extracting # 2 : cost 0 3.535 * * [simplify]: Extracting # 3 : cost 0 3.541 * * [simplify]: iteration 11 : 4096 enodes (cost 15 ) 5.005 * * [simplify]: Extracting # 0 : cost 0 5.012 * * [simplify]: Extracting # 1 : cost 0 5.018 * * [simplify]: iteration done: 5000 enodes (cost 15 ) 5.018 * [simplify]: Simplified to: (/ (fma x y (* z (- t a))) (fma z (- b y) y)) 5.022 * * [progress]: iteration 1 / 4 5.022 * * * [progress]: picking best candidate 5.028 * * * * [pick]: Picked # 5.028 * * * [progress]: localizing error 5.058 * * * [progress]: generating rewritten candidates 5.058 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 5.094 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 5.109 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 5.127 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 5.158 * * * [progress]: generating series expansions 5.158 * * * * [progress]: [ 1 / 4 ] generating series at (2) 5.159 * [backup-simplify]: Simplify (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) into (/ (- (+ (* t z) (* x y)) (* a z)) (- (+ (* z b) y) (* z y))) 5.159 * [approximate]: Taking taylor expansion of (/ (- (+ (* t z) (* x y)) (* a z)) (- (+ (* z b) y) (* z y))) in (x y z t a b) around 0 5.159 * [taylor]: Taking taylor expansion of (/ (- (+ (* t z) (* x y)) (* a z)) (- (+ (* z b) y) (* z y))) in b 5.159 * [taylor]: Taking taylor expansion of (- (+ (* t z) (* x y)) (* a z)) in b 5.159 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in b 5.159 * [taylor]: Taking taylor expansion of (* t z) in b 5.159 * [taylor]: Taking taylor expansion of t in b 5.159 * [backup-simplify]: Simplify t into t 5.159 * [taylor]: Taking taylor expansion of z in b 5.159 * [backup-simplify]: Simplify z into z 5.159 * [taylor]: Taking taylor expansion of (* x y) in b 5.159 * [taylor]: Taking taylor expansion of x in b 5.159 * [backup-simplify]: Simplify x into x 5.159 * [taylor]: Taking taylor expansion of y in b 5.159 * [backup-simplify]: Simplify y into y 5.159 * [taylor]: Taking taylor expansion of (* a z) in b 5.159 * [taylor]: Taking taylor expansion of a in b 5.159 * [backup-simplify]: Simplify a into a 5.159 * [taylor]: Taking taylor expansion of z in b 5.159 * [backup-simplify]: Simplify z into z 5.159 * [taylor]: Taking taylor expansion of (- (+ (* z b) y) (* z y)) in b 5.159 * [taylor]: Taking taylor expansion of (+ (* z b) y) in b 5.159 * [taylor]: Taking taylor expansion of (* z b) in b 5.159 * [taylor]: Taking taylor expansion of z in b 5.159 * [backup-simplify]: Simplify z into z 5.159 * [taylor]: Taking taylor expansion of b in b 5.159 * [backup-simplify]: Simplify 0 into 0 5.159 * [backup-simplify]: Simplify 1 into 1 5.159 * [taylor]: Taking taylor expansion of y in b 5.159 * [backup-simplify]: Simplify y into y 5.159 * [taylor]: Taking taylor expansion of (* z y) in b 5.159 * [taylor]: Taking taylor expansion of z in b 5.159 * [backup-simplify]: Simplify z into z 5.159 * [taylor]: Taking taylor expansion of y in b 5.159 * [backup-simplify]: Simplify y into y 5.159 * [backup-simplify]: Simplify (* t z) into (* t z) 5.159 * [backup-simplify]: Simplify (* x y) into (* x y) 5.159 * [backup-simplify]: Simplify (+ (* t z) (* x y)) into (+ (* t z) (* x y)) 5.160 * [backup-simplify]: Simplify (* a z) into (* a z) 5.160 * [backup-simplify]: Simplify (- (* a z)) into (- (* a z)) 5.160 * [backup-simplify]: Simplify (+ (+ (* t z) (* x y)) (- (* a z))) into (- (+ (* t z) (* x y)) (* a z)) 5.160 * [backup-simplify]: Simplify (* z 0) into 0 5.160 * [backup-simplify]: Simplify (+ 0 y) into y 5.160 * [backup-simplify]: Simplify (* z y) into (* z y) 5.160 * [backup-simplify]: Simplify (- (* z y)) into (- (* z y)) 5.160 * [backup-simplify]: Simplify (+ y (- (* z y))) into (- y (* z y)) 5.160 * [backup-simplify]: Simplify (/ (- (+ (* t z) (* x y)) (* a z)) (- y (* z y))) into (/ (- (+ (* t z) (* x y)) (* a z)) (- y (* z y))) 5.160 * [taylor]: Taking taylor expansion of (/ (- (+ (* t z) (* x y)) (* a z)) (- (+ (* z b) y) (* z y))) in a 5.160 * [taylor]: Taking taylor expansion of (- (+ (* t z) (* x y)) (* a z)) in a 5.160 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in a 5.160 * [taylor]: Taking taylor expansion of (* t z) in a 5.160 * [taylor]: Taking taylor expansion of t in a 5.160 * [backup-simplify]: Simplify t into t 5.160 * [taylor]: Taking taylor expansion of z in a 5.160 * [backup-simplify]: Simplify z into z 5.160 * [taylor]: Taking taylor expansion of (* x y) in a 5.160 * [taylor]: Taking taylor expansion of x in a 5.160 * [backup-simplify]: Simplify x into x 5.160 * [taylor]: Taking taylor expansion of y in a 5.160 * [backup-simplify]: Simplify y into y 5.160 * [taylor]: Taking taylor expansion of (* a z) in a 5.160 * [taylor]: Taking taylor expansion of a in a 5.160 * [backup-simplify]: Simplify 0 into 0 5.160 * [backup-simplify]: Simplify 1 into 1 5.160 * [taylor]: Taking taylor expansion of z in a 5.160 * [backup-simplify]: Simplify z into z 5.160 * [taylor]: Taking taylor expansion of (- (+ (* z b) y) (* z y)) in a 5.160 * [taylor]: Taking taylor expansion of (+ (* z b) y) in a 5.160 * [taylor]: Taking taylor expansion of (* z b) in a 5.160 * [taylor]: Taking taylor expansion of z in a 5.160 * [backup-simplify]: Simplify z into z 5.160 * [taylor]: Taking taylor expansion of b in a 5.160 * [backup-simplify]: Simplify b into b 5.161 * [taylor]: Taking taylor expansion of y in a 5.161 * [backup-simplify]: Simplify y into y 5.161 * [taylor]: Taking taylor expansion of (* z y) in a 5.161 * [taylor]: Taking taylor expansion of z in a 5.161 * [backup-simplify]: Simplify z into z 5.161 * [taylor]: Taking taylor expansion of y in a 5.161 * [backup-simplify]: Simplify y into y 5.161 * [backup-simplify]: Simplify (* t z) into (* t z) 5.161 * [backup-simplify]: Simplify (* x y) into (* x y) 5.161 * [backup-simplify]: Simplify (+ (* t z) (* x y)) into (+ (* t z) (* x y)) 5.161 * [backup-simplify]: Simplify (* 0 z) into 0 5.161 * [backup-simplify]: Simplify (- 0) into 0 5.162 * [backup-simplify]: Simplify (+ (+ (* t z) (* x y)) 0) into (+ (* t z) (* x y)) 5.162 * [backup-simplify]: Simplify (* z b) into (* z b) 5.162 * [backup-simplify]: Simplify (+ (* z b) y) into (+ (* z b) y) 5.162 * [backup-simplify]: Simplify (* z y) into (* z y) 5.162 * [backup-simplify]: Simplify (- (* z y)) into (- (* z y)) 5.162 * [backup-simplify]: Simplify (+ (+ (* z b) y) (- (* z y))) into (- (+ (* z b) y) (* z y)) 5.162 * [backup-simplify]: Simplify (/ (+ (* t z) (* x y)) (- (+ (* z b) y) (* z y))) into (/ (+ (* t z) (* x y)) (- (+ (* z b) y) (* z y))) 5.162 * [taylor]: Taking taylor expansion of (/ (- (+ (* t z) (* x y)) (* a z)) (- (+ (* z b) y) (* z y))) in t 5.162 * [taylor]: Taking taylor expansion of (- (+ (* t z) (* x y)) (* a z)) in t 5.162 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in t 5.162 * [taylor]: Taking taylor expansion of (* t z) in t 5.162 * [taylor]: Taking taylor expansion of t in t 5.162 * [backup-simplify]: Simplify 0 into 0 5.162 * [backup-simplify]: Simplify 1 into 1 5.162 * [taylor]: Taking taylor expansion of z in t 5.162 * [backup-simplify]: Simplify z into z 5.162 * [taylor]: Taking taylor expansion of (* x y) in t 5.162 * [taylor]: Taking taylor expansion of x in t 5.162 * [backup-simplify]: Simplify x into x 5.162 * [taylor]: Taking taylor expansion of y in t 5.162 * [backup-simplify]: Simplify y into y 5.162 * [taylor]: Taking taylor expansion of (* a z) in t 5.162 * [taylor]: Taking taylor expansion of a in t 5.162 * [backup-simplify]: Simplify a into a 5.162 * [taylor]: Taking taylor expansion of z in t 5.162 * [backup-simplify]: Simplify z into z 5.162 * [taylor]: Taking taylor expansion of (- (+ (* z b) y) (* z y)) in t 5.162 * [taylor]: Taking taylor expansion of (+ (* z b) y) in t 5.162 * [taylor]: Taking taylor expansion of (* z b) in t 5.162 * [taylor]: Taking taylor expansion of z in t 5.162 * [backup-simplify]: Simplify z into z 5.162 * [taylor]: Taking taylor expansion of b in t 5.162 * [backup-simplify]: Simplify b into b 5.162 * [taylor]: Taking taylor expansion of y in t 5.162 * [backup-simplify]: Simplify y into y 5.162 * [taylor]: Taking taylor expansion of (* z y) in t 5.162 * [taylor]: Taking taylor expansion of z in t 5.162 * [backup-simplify]: Simplify z into z 5.162 * [taylor]: Taking taylor expansion of y in t 5.162 * [backup-simplify]: Simplify y into y 5.163 * [backup-simplify]: Simplify (* 0 z) into 0 5.163 * [backup-simplify]: Simplify (* x y) into (* x y) 5.163 * [backup-simplify]: Simplify (+ 0 (* x y)) into (* x y) 5.163 * [backup-simplify]: Simplify (* a z) into (* a z) 5.163 * [backup-simplify]: Simplify (- (* a z)) into (- (* a z)) 5.163 * [backup-simplify]: Simplify (+ (* x y) (- (* a z))) into (- (* x y) (* a z)) 5.163 * [backup-simplify]: Simplify (* z b) into (* z b) 5.163 * [backup-simplify]: Simplify (+ (* z b) y) into (+ (* z b) y) 5.163 * [backup-simplify]: Simplify (* z y) into (* z y) 5.163 * [backup-simplify]: Simplify (- (* z y)) into (- (* z y)) 5.163 * [backup-simplify]: Simplify (+ (+ (* z b) y) (- (* z y))) into (- (+ (* z b) y) (* z y)) 5.164 * [backup-simplify]: Simplify (/ (- (* x y) (* a z)) (- (+ (* z b) y) (* z y))) into (/ (- (* x y) (* a z)) (- (+ (* z b) y) (* z y))) 5.164 * [taylor]: Taking taylor expansion of (/ (- (+ (* t z) (* x y)) (* a z)) (- (+ (* z b) y) (* z y))) in z 5.164 * [taylor]: Taking taylor expansion of (- (+ (* t z) (* x y)) (* a z)) in z 5.164 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in z 5.164 * [taylor]: Taking taylor expansion of (* t z) in z 5.164 * [taylor]: Taking taylor expansion of t in z 5.164 * [backup-simplify]: Simplify t into t 5.164 * [taylor]: Taking taylor expansion of z in z 5.164 * [backup-simplify]: Simplify 0 into 0 5.164 * [backup-simplify]: Simplify 1 into 1 5.164 * [taylor]: Taking taylor expansion of (* x y) in z 5.164 * [taylor]: Taking taylor expansion of x in z 5.164 * [backup-simplify]: Simplify x into x 5.164 * [taylor]: Taking taylor expansion of y in z 5.164 * [backup-simplify]: Simplify y into y 5.164 * [taylor]: Taking taylor expansion of (* a z) in z 5.164 * [taylor]: Taking taylor expansion of a in z 5.164 * [backup-simplify]: Simplify a into a 5.164 * [taylor]: Taking taylor expansion of z in z 5.164 * [backup-simplify]: Simplify 0 into 0 5.164 * [backup-simplify]: Simplify 1 into 1 5.164 * [taylor]: Taking taylor expansion of (- (+ (* z b) y) (* z y)) in z 5.164 * [taylor]: Taking taylor expansion of (+ (* z b) y) in z 5.164 * [taylor]: Taking taylor expansion of (* z b) in z 5.164 * [taylor]: Taking taylor expansion of z in z 5.164 * [backup-simplify]: Simplify 0 into 0 5.164 * [backup-simplify]: Simplify 1 into 1 5.164 * [taylor]: Taking taylor expansion of b in z 5.164 * [backup-simplify]: Simplify b into b 5.164 * [taylor]: Taking taylor expansion of y in z 5.164 * [backup-simplify]: Simplify y into y 5.164 * [taylor]: Taking taylor expansion of (* z y) in z 5.164 * [taylor]: Taking taylor expansion of z in z 5.164 * [backup-simplify]: Simplify 0 into 0 5.164 * [backup-simplify]: Simplify 1 into 1 5.164 * [taylor]: Taking taylor expansion of y in z 5.164 * [backup-simplify]: Simplify y into y 5.164 * [backup-simplify]: Simplify (* t 0) into 0 5.164 * [backup-simplify]: Simplify (* x y) into (* x y) 5.164 * [backup-simplify]: Simplify (+ 0 (* x y)) into (* x y) 5.164 * [backup-simplify]: Simplify (* a 0) into 0 5.165 * [backup-simplify]: Simplify (- 0) into 0 5.165 * [backup-simplify]: Simplify (+ (* x y) 0) into (* x y) 5.165 * [backup-simplify]: Simplify (* 0 b) into 0 5.165 * [backup-simplify]: Simplify (+ 0 y) into y 5.165 * [backup-simplify]: Simplify (* 0 y) into 0 5.165 * [backup-simplify]: Simplify (- 0) into 0 5.165 * [backup-simplify]: Simplify (+ y 0) into y 5.165 * [backup-simplify]: Simplify (/ (* x y) y) into x 5.165 * [taylor]: Taking taylor expansion of (/ (- (+ (* t z) (* x y)) (* a z)) (- (+ (* z b) y) (* z y))) in y 5.165 * [taylor]: Taking taylor expansion of (- (+ (* t z) (* x y)) (* a z)) in y 5.166 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in y 5.166 * [taylor]: Taking taylor expansion of (* t z) in y 5.166 * [taylor]: Taking taylor expansion of t in y 5.166 * [backup-simplify]: Simplify t into t 5.166 * [taylor]: Taking taylor expansion of z in y 5.166 * [backup-simplify]: Simplify z into z 5.166 * [taylor]: Taking taylor expansion of (* x y) in y 5.166 * [taylor]: Taking taylor expansion of x in y 5.166 * [backup-simplify]: Simplify x into x 5.166 * [taylor]: Taking taylor expansion of y in y 5.166 * [backup-simplify]: Simplify 0 into 0 5.166 * [backup-simplify]: Simplify 1 into 1 5.166 * [taylor]: Taking taylor expansion of (* a z) in y 5.166 * [taylor]: Taking taylor expansion of a in y 5.166 * [backup-simplify]: Simplify a into a 5.166 * [taylor]: Taking taylor expansion of z in y 5.166 * [backup-simplify]: Simplify z into z 5.166 * [taylor]: Taking taylor expansion of (- (+ (* z b) y) (* z y)) in y 5.166 * [taylor]: Taking taylor expansion of (+ (* z b) y) in y 5.166 * [taylor]: Taking taylor expansion of (* z b) in y 5.166 * [taylor]: Taking taylor expansion of z in y 5.166 * [backup-simplify]: Simplify z into z 5.166 * [taylor]: Taking taylor expansion of b in y 5.166 * [backup-simplify]: Simplify b into b 5.166 * [taylor]: Taking taylor expansion of y in y 5.166 * [backup-simplify]: Simplify 0 into 0 5.166 * [backup-simplify]: Simplify 1 into 1 5.166 * [taylor]: Taking taylor expansion of (* z y) in y 5.166 * [taylor]: Taking taylor expansion of z in y 5.166 * [backup-simplify]: Simplify z into z 5.166 * [taylor]: Taking taylor expansion of y in y 5.166 * [backup-simplify]: Simplify 0 into 0 5.166 * [backup-simplify]: Simplify 1 into 1 5.166 * [backup-simplify]: Simplify (* t z) into (* t z) 5.166 * [backup-simplify]: Simplify (* x 0) into 0 5.166 * [backup-simplify]: Simplify (+ (* t z) 0) into (* t z) 5.166 * [backup-simplify]: Simplify (* a z) into (* a z) 5.166 * [backup-simplify]: Simplify (- (* a z)) into (- (* a z)) 5.166 * [backup-simplify]: Simplify (+ (* t z) (- (* a z))) into (- (* t z) (* a z)) 5.166 * [backup-simplify]: Simplify (* z b) into (* z b) 5.166 * [backup-simplify]: Simplify (+ (* z b) 0) into (* z b) 5.166 * [backup-simplify]: Simplify (* z 0) into 0 5.167 * [backup-simplify]: Simplify (- 0) into 0 5.167 * [backup-simplify]: Simplify (+ (* z b) 0) into (* z b) 5.167 * [backup-simplify]: Simplify (/ (- (* t z) (* a z)) (* z b)) into (/ (- (* t z) (* a z)) (* z b)) 5.167 * [taylor]: Taking taylor expansion of (/ (- (+ (* t z) (* x y)) (* a z)) (- (+ (* z b) y) (* z y))) in x 5.167 * [taylor]: Taking taylor expansion of (- (+ (* t z) (* x y)) (* a z)) in x 5.167 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in x 5.167 * [taylor]: Taking taylor expansion of (* t z) in x 5.167 * [taylor]: Taking taylor expansion of t in x 5.167 * [backup-simplify]: Simplify t into t 5.167 * [taylor]: Taking taylor expansion of z in x 5.167 * [backup-simplify]: Simplify z into z 5.167 * [taylor]: Taking taylor expansion of (* x y) in x 5.167 * [taylor]: Taking taylor expansion of x in x 5.167 * [backup-simplify]: Simplify 0 into 0 5.167 * [backup-simplify]: Simplify 1 into 1 5.167 * [taylor]: Taking taylor expansion of y in x 5.167 * [backup-simplify]: Simplify y into y 5.167 * [taylor]: Taking taylor expansion of (* a z) in x 5.167 * [taylor]: Taking taylor expansion of a in x 5.167 * [backup-simplify]: Simplify a into a 5.167 * [taylor]: Taking taylor expansion of z in x 5.167 * [backup-simplify]: Simplify z into z 5.167 * [taylor]: Taking taylor expansion of (- (+ (* z b) y) (* z y)) in x 5.167 * [taylor]: Taking taylor expansion of (+ (* z b) y) in x 5.167 * [taylor]: Taking taylor expansion of (* z b) in x 5.167 * [taylor]: Taking taylor expansion of z in x 5.167 * [backup-simplify]: Simplify z into z 5.167 * [taylor]: Taking taylor expansion of b in x 5.167 * [backup-simplify]: Simplify b into b 5.168 * [taylor]: Taking taylor expansion of y in x 5.168 * [backup-simplify]: Simplify y into y 5.168 * [taylor]: Taking taylor expansion of (* z y) in x 5.168 * [taylor]: Taking taylor expansion of z in x 5.168 * [backup-simplify]: Simplify z into z 5.168 * [taylor]: Taking taylor expansion of y in x 5.168 * [backup-simplify]: Simplify y into y 5.168 * [backup-simplify]: Simplify (* t z) into (* t z) 5.168 * [backup-simplify]: Simplify (* 0 y) into 0 5.168 * [backup-simplify]: Simplify (+ (* t z) 0) into (* t z) 5.168 * [backup-simplify]: Simplify (* a z) into (* a z) 5.168 * [backup-simplify]: Simplify (- (* a z)) into (- (* a z)) 5.168 * [backup-simplify]: Simplify (+ (* t z) (- (* a z))) into (- (* t z) (* a z)) 5.168 * [backup-simplify]: Simplify (* z b) into (* z b) 5.168 * [backup-simplify]: Simplify (+ (* z b) y) into (+ (* z b) y) 5.168 * [backup-simplify]: Simplify (* z y) into (* z y) 5.168 * [backup-simplify]: Simplify (- (* z y)) into (- (* z y)) 5.168 * [backup-simplify]: Simplify (+ (+ (* z b) y) (- (* z y))) into (- (+ (* z b) y) (* z y)) 5.168 * [backup-simplify]: Simplify (/ (- (* t z) (* a z)) (- (+ (* z b) y) (* z y))) into (/ (- (* t z) (* a z)) (- (+ (* z b) y) (* z y))) 5.168 * [taylor]: Taking taylor expansion of (/ (- (+ (* t z) (* x y)) (* a z)) (- (+ (* z b) y) (* z y))) in x 5.168 * [taylor]: Taking taylor expansion of (- (+ (* t z) (* x y)) (* a z)) in x 5.168 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in x 5.168 * [taylor]: Taking taylor expansion of (* t z) in x 5.169 * [taylor]: Taking taylor expansion of t in x 5.169 * [backup-simplify]: Simplify t into t 5.169 * [taylor]: Taking taylor expansion of z in x 5.169 * [backup-simplify]: Simplify z into z 5.169 * [taylor]: Taking taylor expansion of (* x y) in x 5.169 * [taylor]: Taking taylor expansion of x in x 5.169 * [backup-simplify]: Simplify 0 into 0 5.169 * [backup-simplify]: Simplify 1 into 1 5.169 * [taylor]: Taking taylor expansion of y in x 5.169 * [backup-simplify]: Simplify y into y 5.169 * [taylor]: Taking taylor expansion of (* a z) in x 5.169 * [taylor]: Taking taylor expansion of a in x 5.169 * [backup-simplify]: Simplify a into a 5.169 * [taylor]: Taking taylor expansion of z in x 5.169 * [backup-simplify]: Simplify z into z 5.169 * [taylor]: Taking taylor expansion of (- (+ (* z b) y) (* z y)) in x 5.169 * [taylor]: Taking taylor expansion of (+ (* z b) y) in x 5.169 * [taylor]: Taking taylor expansion of (* z b) in x 5.169 * [taylor]: Taking taylor expansion of z in x 5.169 * [backup-simplify]: Simplify z into z 5.169 * [taylor]: Taking taylor expansion of b in x 5.169 * [backup-simplify]: Simplify b into b 5.169 * [taylor]: Taking taylor expansion of y in x 5.169 * [backup-simplify]: Simplify y into y 5.169 * [taylor]: Taking taylor expansion of (* z y) in x 5.169 * [taylor]: Taking taylor expansion of z in x 5.169 * [backup-simplify]: Simplify z into z 5.169 * [taylor]: Taking taylor expansion of y in x 5.169 * [backup-simplify]: Simplify y into y 5.169 * [backup-simplify]: Simplify (* t z) into (* t z) 5.169 * [backup-simplify]: Simplify (* 0 y) into 0 5.169 * [backup-simplify]: Simplify (+ (* t z) 0) into (* t z) 5.169 * [backup-simplify]: Simplify (* a z) into (* a z) 5.169 * [backup-simplify]: Simplify (- (* a z)) into (- (* a z)) 5.169 * [backup-simplify]: Simplify (+ (* t z) (- (* a z))) into (- (* t z) (* a z)) 5.169 * [backup-simplify]: Simplify (* z b) into (* z b) 5.169 * [backup-simplify]: Simplify (+ (* z b) y) into (+ (* z b) y) 5.169 * [backup-simplify]: Simplify (* z y) into (* z y) 5.169 * [backup-simplify]: Simplify (- (* z y)) into (- (* z y)) 5.170 * [backup-simplify]: Simplify (+ (+ (* z b) y) (- (* z y))) into (- (+ (* z b) y) (* z y)) 5.170 * [backup-simplify]: Simplify (/ (- (* t z) (* a z)) (- (+ (* z b) y) (* z y))) into (/ (- (* t z) (* a z)) (- (+ (* z b) y) (* z y))) 5.170 * [taylor]: Taking taylor expansion of (/ (- (* t z) (* a z)) (- (+ (* z b) y) (* z y))) in y 5.170 * [taylor]: Taking taylor expansion of (- (* t z) (* a z)) in y 5.170 * [taylor]: Taking taylor expansion of (* t z) in y 5.170 * [taylor]: Taking taylor expansion of t in y 5.170 * [backup-simplify]: Simplify t into t 5.170 * [taylor]: Taking taylor expansion of z in y 5.170 * [backup-simplify]: Simplify z into z 5.170 * [taylor]: Taking taylor expansion of (* a z) in y 5.170 * [taylor]: Taking taylor expansion of a in y 5.170 * [backup-simplify]: Simplify a into a 5.170 * [taylor]: Taking taylor expansion of z in y 5.170 * [backup-simplify]: Simplify z into z 5.170 * [taylor]: Taking taylor expansion of (- (+ (* z b) y) (* z y)) in y 5.170 * [taylor]: Taking taylor expansion of (+ (* z b) y) in y 5.170 * [taylor]: Taking taylor expansion of (* z b) in y 5.170 * [taylor]: Taking taylor expansion of z in y 5.170 * [backup-simplify]: Simplify z into z 5.170 * [taylor]: Taking taylor expansion of b in y 5.170 * [backup-simplify]: Simplify b into b 5.170 * [taylor]: Taking taylor expansion of y in y 5.170 * [backup-simplify]: Simplify 0 into 0 5.170 * [backup-simplify]: Simplify 1 into 1 5.170 * [taylor]: Taking taylor expansion of (* z y) in y 5.170 * [taylor]: Taking taylor expansion of z in y 5.170 * [backup-simplify]: Simplify z into z 5.170 * [taylor]: Taking taylor expansion of y in y 5.170 * [backup-simplify]: Simplify 0 into 0 5.170 * [backup-simplify]: Simplify 1 into 1 5.171 * [backup-simplify]: Simplify (* t z) into (* t z) 5.171 * [backup-simplify]: Simplify (* a z) into (* a z) 5.171 * [backup-simplify]: Simplify (- (* a z)) into (- (* a z)) 5.171 * [backup-simplify]: Simplify (+ (* t z) (- (* a z))) into (- (* t z) (* a z)) 5.171 * [backup-simplify]: Simplify (* z b) into (* z b) 5.171 * [backup-simplify]: Simplify (+ (* z b) 0) into (* z b) 5.171 * [backup-simplify]: Simplify (* z 0) into 0 5.171 * [backup-simplify]: Simplify (- 0) into 0 5.172 * [backup-simplify]: Simplify (+ (* z b) 0) into (* z b) 5.172 * [backup-simplify]: Simplify (/ (- (* t z) (* a z)) (* z b)) into (/ (- (* t z) (* a z)) (* z b)) 5.172 * [taylor]: Taking taylor expansion of (/ (- (* t z) (* a z)) (* z b)) in z 5.172 * [taylor]: Taking taylor expansion of (- (* t z) (* a z)) in z 5.172 * [taylor]: Taking taylor expansion of (* t z) in z 5.172 * [taylor]: Taking taylor expansion of t in z 5.172 * [backup-simplify]: Simplify t into t 5.172 * [taylor]: Taking taylor expansion of z in z 5.172 * [backup-simplify]: Simplify 0 into 0 5.172 * [backup-simplify]: Simplify 1 into 1 5.172 * [taylor]: Taking taylor expansion of (* a z) in z 5.172 * [taylor]: Taking taylor expansion of a in z 5.172 * [backup-simplify]: Simplify a into a 5.172 * [taylor]: Taking taylor expansion of z in z 5.172 * [backup-simplify]: Simplify 0 into 0 5.172 * [backup-simplify]: Simplify 1 into 1 5.172 * [taylor]: Taking taylor expansion of (* z b) in z 5.172 * [taylor]: Taking taylor expansion of z in z 5.172 * [backup-simplify]: Simplify 0 into 0 5.172 * [backup-simplify]: Simplify 1 into 1 5.172 * [taylor]: Taking taylor expansion of b in z 5.172 * [backup-simplify]: Simplify b into b 5.172 * [backup-simplify]: Simplify (* t 0) into 0 5.172 * [backup-simplify]: Simplify (* a 0) into 0 5.172 * [backup-simplify]: Simplify (- 0) into 0 5.173 * [backup-simplify]: Simplify (+ 0 0) into 0 5.173 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t 5.173 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 5.173 * [backup-simplify]: Simplify (- a) into (- a) 5.174 * [backup-simplify]: Simplify (+ t (- a)) into (- t a) 5.174 * [backup-simplify]: Simplify (* 0 b) into 0 5.174 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b 5.174 * [backup-simplify]: Simplify (/ (- t a) b) into (/ (- t a) b) 5.174 * [taylor]: Taking taylor expansion of (/ (- t a) b) in t 5.174 * [taylor]: Taking taylor expansion of (- t a) in t 5.174 * [taylor]: Taking taylor expansion of t in t 5.174 * [backup-simplify]: Simplify 0 into 0 5.174 * [backup-simplify]: Simplify 1 into 1 5.175 * [taylor]: Taking taylor expansion of a in t 5.175 * [backup-simplify]: Simplify a into a 5.175 * [taylor]: Taking taylor expansion of b in t 5.175 * [backup-simplify]: Simplify b into b 5.175 * [backup-simplify]: Simplify (- a) into (- a) 5.175 * [backup-simplify]: Simplify (+ 0 (- a)) into (- a) 5.175 * [backup-simplify]: Simplify (/ (- a) b) into (* -1 (/ a b)) 5.175 * [taylor]: Taking taylor expansion of (* -1 (/ a b)) in a 5.175 * [taylor]: Taking taylor expansion of -1 in a 5.175 * [backup-simplify]: Simplify -1 into -1 5.175 * [taylor]: Taking taylor expansion of (/ a b) in a 5.175 * [taylor]: Taking taylor expansion of a in a 5.175 * [backup-simplify]: Simplify 0 into 0 5.175 * [backup-simplify]: Simplify 1 into 1 5.175 * [taylor]: Taking taylor expansion of b in a 5.175 * [backup-simplify]: Simplify b into b 5.175 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 5.175 * [backup-simplify]: Simplify (+ (* t 0) (* 0 z)) into 0 5.176 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.176 * [backup-simplify]: Simplify (+ 0 y) into y 5.176 * [backup-simplify]: Simplify (+ (* a 0) (* 0 z)) into 0 5.177 * [backup-simplify]: Simplify (- 0) into 0 5.177 * [backup-simplify]: Simplify (+ y 0) into y 5.177 * [backup-simplify]: Simplify (+ (* z 0) (* 0 b)) into 0 5.177 * [backup-simplify]: Simplify (+ 0 0) into 0 5.178 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0 5.178 * [backup-simplify]: Simplify (- 0) into 0 5.178 * [backup-simplify]: Simplify (+ 0 0) into 0 5.179 * [backup-simplify]: Simplify (- (/ y (- (+ (* z b) y) (* z y))) (+ (* (/ (- (* t z) (* a z)) (- (+ (* z b) y) (* z y))) (/ 0 (- (+ (* z b) y) (* z y)))))) into (/ y (- (+ (* z b) y) (* z y))) 5.179 * [taylor]: Taking taylor expansion of (/ y (- (+ (* z b) y) (* z y))) in y 5.179 * [taylor]: Taking taylor expansion of y in y 5.179 * [backup-simplify]: Simplify 0 into 0 5.180 * [backup-simplify]: Simplify 1 into 1 5.180 * [taylor]: Taking taylor expansion of (- (+ (* z b) y) (* z y)) in y 5.180 * [taylor]: Taking taylor expansion of (+ (* z b) y) in y 5.180 * [taylor]: Taking taylor expansion of (* z b) in y 5.180 * [taylor]: Taking taylor expansion of z in y 5.180 * [backup-simplify]: Simplify z into z 5.180 * [taylor]: Taking taylor expansion of b in y 5.180 * [backup-simplify]: Simplify b into b 5.180 * [taylor]: Taking taylor expansion of y in y 5.180 * [backup-simplify]: Simplify 0 into 0 5.180 * [backup-simplify]: Simplify 1 into 1 5.180 * [taylor]: Taking taylor expansion of (* z y) in y 5.180 * [taylor]: Taking taylor expansion of z in y 5.180 * [backup-simplify]: Simplify z into z 5.180 * [taylor]: Taking taylor expansion of y in y 5.180 * [backup-simplify]: Simplify 0 into 0 5.180 * [backup-simplify]: Simplify 1 into 1 5.180 * [backup-simplify]: Simplify (* z b) into (* z b) 5.180 * [backup-simplify]: Simplify (+ (* z b) 0) into (* z b) 5.180 * [backup-simplify]: Simplify (* z 0) into 0 5.181 * [backup-simplify]: Simplify (- 0) into 0 5.181 * [backup-simplify]: Simplify (+ (* z b) 0) into (* z b) 5.181 * [backup-simplify]: Simplify (/ 1 (* z b)) into (/ 1 (* z b)) 5.181 * [backup-simplify]: Simplify (+ (* t 0) (* 0 z)) into 0 5.181 * [backup-simplify]: Simplify (+ (* a 0) (* 0 z)) into 0 5.182 * [backup-simplify]: Simplify (- 0) into 0 5.182 * [backup-simplify]: Simplify (+ 0 0) into 0 5.183 * [backup-simplify]: Simplify (+ (* z 0) (* 0 b)) into 0 5.183 * [backup-simplify]: Simplify (+ 0 1) into 1 5.184 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 5.184 * [backup-simplify]: Simplify (- z) into (- z) 5.184 * [backup-simplify]: Simplify (+ 1 (- z)) into (- 1 z)