7.682 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.065 * * * [progress]: [2/2] Setting up program. 0.067 * [progress]: [Phase 2 of 3] Improving. 0.067 * [simplify]: Simplifying: (- (+ x y) (/ (* (- z t) y) (- a t))) 0.068 * * [simplify]: Extracting # 0 : cost 0 0.068 * * [simplify]: Extracting # 1 : cost 0 0.068 * * [simplify]: Extracting # 2 : cost 0 0.068 * * [simplify]: Extracting # 3 : cost 0 0.068 * * [simplify]: Extracting # 4 : cost 0 0.068 * * [simplify]: Extracting # 5 : cost 0 0.068 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 0.069 * * [simplify]: Extracting # 0 : cost 0 0.069 * * [simplify]: Extracting # 1 : cost 0 0.069 * * [simplify]: Extracting # 2 : cost 0 0.069 * * [simplify]: iteration 1 : 22 enodes (cost 13 ) 0.072 * * [simplify]: Extracting # 0 : cost 0 0.072 * * [simplify]: Extracting # 1 : cost 0 0.072 * * [simplify]: Extracting # 2 : cost 0 0.073 * * [simplify]: iteration 2 : 52 enodes (cost 13 ) 0.082 * * [simplify]: Extracting # 0 : cost 0 0.082 * * [simplify]: Extracting # 1 : cost 0 0.082 * * [simplify]: Extracting # 2 : cost 0 0.082 * * [simplify]: iteration 3 : 109 enodes (cost 13 ) 0.115 * * [simplify]: Extracting # 0 : cost 0 0.115 * * [simplify]: Extracting # 1 : cost 0 0.115 * * [simplify]: Extracting # 2 : cost 0 0.115 * * [simplify]: Extracting # 3 : cost 0 0.116 * * [simplify]: Extracting # 4 : cost 0 0.116 * * [simplify]: iteration 4 : 203 enodes (cost 12 ) 0.188 * * [simplify]: Extracting # 0 : cost 0 0.189 * * [simplify]: Extracting # 1 : cost 0 0.189 * * [simplify]: Extracting # 2 : cost 0 0.190 * * [simplify]: iteration 5 : 451 enodes (cost 12 ) 0.673 * * [simplify]: Extracting # 0 : cost 0 0.675 * * [simplify]: Extracting # 1 : cost 0 0.676 * * [simplify]: Extracting # 2 : cost 0 0.677 * * [simplify]: iteration 6 : 748 enodes (cost 12 ) 1.467 * * [simplify]: Extracting # 0 : cost 0 1.468 * * [simplify]: Extracting # 1 : cost 0 1.469 * * [simplify]: Extracting # 2 : cost 0 1.469 * * [simplify]: iteration 7 : 1078 enodes (cost 12 ) 2.274 * * [simplify]: Extracting # 0 : cost 0 2.276 * * [simplify]: Extracting # 1 : cost 0 2.278 * * [simplify]: Extracting # 2 : cost 0 2.280 * * [simplify]: iteration 8 : 1400 enodes (cost 12 ) 3.202 * * [simplify]: Extracting # 0 : cost 0 3.204 * * [simplify]: Extracting # 1 : cost 0 3.206 * * [simplify]: Extracting # 2 : cost 0 3.207 * * [simplify]: iteration 9 : 1655 enodes (cost 12 ) 4.629 * * [simplify]: Extracting # 0 : cost 0 4.630 * * [simplify]: Extracting # 1 : cost 0 4.631 * * [simplify]: Extracting # 2 : cost 0 4.632 * * [simplify]: iteration 10 : 2153 enodes (cost 12 ) 6.277 * * [simplify]: Extracting # 0 : cost 0 6.280 * * [simplify]: Extracting # 1 : cost 0 6.282 * * [simplify]: Extracting # 2 : cost 0 6.285 * * [simplify]: iteration 11 : 2683 enodes (cost 12 ) 9.770 * * [simplify]: Extracting # 0 : cost 0 9.776 * * [simplify]: Extracting # 1 : cost 0 9.785 * * [simplify]: Extracting # 2 : cost 0 9.788 * * [simplify]: iteration 12 : 3847 enodes (cost 12 ) 13.226 * * [simplify]: Extracting # 0 : cost 0 13.230 * * [simplify]: Extracting # 1 : cost 0 13.233 * * [simplify]: Extracting # 2 : cost 0 13.236 * * [simplify]: iteration done: 5001 enodes (cost 12 ) 13.236 * [simplify]: Simplified to: (fma (/ (- t z) (- a t)) y (+ x y)) 13.239 * * [progress]: iteration 1 / 4 13.239 * * * [progress]: picking best candidate 13.243 * * * * [pick]: Picked # 13.244 * * * [progress]: localizing error 13.265 * * * [progress]: generating rewritten candidates 13.265 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 13.266 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 13.303 * * * [progress]: generating series expansions 13.304 * * * * [progress]: [ 1 / 2 ] generating series at (2) 13.304 * [backup-simplify]: Simplify (fma (/ (- t z) (- a t)) y (+ x y)) into (fma (/ (- t z) (- a t)) y (+ x y)) 13.304 * [approximate]: Taking taylor expansion of (fma (/ (- t z) (- a t)) y (+ x y)) in (t z a y x) around 0 13.304 * [taylor]: Taking taylor expansion of (fma (/ (- t z) (- a t)) y (+ x y)) in x 13.304 * [taylor]: Rewrote expression to (+ (* (/ (- t z) (- a t)) y) (+ x y)) 13.304 * [taylor]: Taking taylor expansion of (* (/ (- t z) (- a t)) y) in x 13.304 * [taylor]: Taking taylor expansion of (/ (- t z) (- a t)) in x 13.304 * [taylor]: Taking taylor expansion of (- t z) in x 13.304 * [taylor]: Taking taylor expansion of t in x 13.304 * [backup-simplify]: Simplify t into t 13.304 * [taylor]: Taking taylor expansion of z in x 13.305 * [backup-simplify]: Simplify z into z 13.305 * [taylor]: Taking taylor expansion of (- a t) in x 13.305 * [taylor]: Taking taylor expansion of a in x 13.305 * [backup-simplify]: Simplify a into a 13.305 * [taylor]: Taking taylor expansion of t in x 13.305 * [backup-simplify]: Simplify t into t 13.305 * [backup-simplify]: Simplify (- z) into (- z) 13.305 * [backup-simplify]: Simplify (+ t (- z)) into (- t z) 13.305 * [backup-simplify]: Simplify (- t) into (- t) 13.305 * [backup-simplify]: Simplify (+ a (- t)) into (- a t) 13.305 * [backup-simplify]: Simplify (/ (- t z) (- a t)) into (/ (- t z) (- a t)) 13.305 * [taylor]: Taking taylor expansion of y in x 13.305 * [backup-simplify]: Simplify y into y 13.305 * [taylor]: Taking taylor expansion of (+ x y) in x 13.305 * [taylor]: Taking taylor expansion of x in x 13.305 * [backup-simplify]: Simplify 0 into 0 13.305 * [backup-simplify]: Simplify 1 into 1 13.305 * [taylor]: Taking taylor expansion of y in x 13.305 * [backup-simplify]: Simplify y into y 13.305 * [taylor]: Taking taylor expansion of (fma (/ (- t z) (- a t)) y (+ x y)) in y 13.305 * [taylor]: Rewrote expression to (+ (* (/ (- t z) (- a t)) y) (+ x y)) 13.305 * [taylor]: Taking taylor expansion of (* (/ (- t z) (- a t)) y) in y 13.305 * [taylor]: Taking taylor expansion of (/ (- t z) (- a t)) in y 13.305 * [taylor]: Taking taylor expansion of (- t z) in y 13.305 * [taylor]: Taking taylor expansion of t in y 13.305 * [backup-simplify]: Simplify t into t 13.305 * [taylor]: Taking taylor expansion of z in y 13.305 * [backup-simplify]: Simplify z into z 13.305 * [taylor]: Taking taylor expansion of (- a t) in y 13.305 * [taylor]: Taking taylor expansion of a in y 13.305 * [backup-simplify]: Simplify a into a 13.305 * [taylor]: Taking taylor expansion of t in y 13.305 * [backup-simplify]: Simplify t into t 13.305 * [backup-simplify]: Simplify (- z) into (- z) 13.305 * [backup-simplify]: Simplify (+ t (- z)) into (- t z) 13.305 * [backup-simplify]: Simplify (- t) into (- t) 13.305 * [backup-simplify]: Simplify (+ a (- t)) into (- a t) 13.305 * [backup-simplify]: Simplify (/ (- t z) (- a t)) into (/ (- t z) (- a t)) 13.305 * [taylor]: Taking taylor expansion of y in y 13.306 * [backup-simplify]: Simplify 0 into 0 13.306 * [backup-simplify]: Simplify 1 into 1 13.306 * [taylor]: Taking taylor expansion of (+ x y) in y 13.306 * [taylor]: Taking taylor expansion of x in y 13.306 * [backup-simplify]: Simplify x into x 13.306 * [taylor]: Taking taylor expansion of y in y 13.306 * [backup-simplify]: Simplify 0 into 0 13.306 * [backup-simplify]: Simplify 1 into 1 13.306 * [taylor]: Taking taylor expansion of (fma (/ (- t z) (- a t)) y (+ x y)) in a 13.306 * [taylor]: Rewrote expression to (+ (* (/ (- t z) (- a t)) y) (+ x y)) 13.306 * [taylor]: Taking taylor expansion of (* (/ (- t z) (- a t)) y) in a 13.306 * [taylor]: Taking taylor expansion of (/ (- t z) (- a t)) in a 13.306 * [taylor]: Taking taylor expansion of (- t z) in a 13.306 * [taylor]: Taking taylor expansion of t in a 13.306 * [backup-simplify]: Simplify t into t 13.306 * [taylor]: Taking taylor expansion of z in a 13.306 * [backup-simplify]: Simplify z into z 13.306 * [taylor]: Taking taylor expansion of (- a t) in a 13.306 * [taylor]: Taking taylor expansion of a in a 13.306 * [backup-simplify]: Simplify 0 into 0 13.306 * [backup-simplify]: Simplify 1 into 1 13.306 * [taylor]: Taking taylor expansion of t in a 13.306 * [backup-simplify]: Simplify t into t 13.306 * [backup-simplify]: Simplify (- z) into (- z) 13.306 * [backup-simplify]: Simplify (+ t (- z)) into (- t z) 13.306 * [backup-simplify]: Simplify (- t) into (- t) 13.306 * [backup-simplify]: Simplify (+ 0 (- t)) into (- t) 13.306 * [backup-simplify]: Simplify (/ (- t z) (- t)) into (* -1 (/ (- t z) t)) 13.306 * [taylor]: Taking taylor expansion of y in a 13.306 * [backup-simplify]: Simplify y into y 13.306 * [taylor]: Taking taylor expansion of (+ x y) in a 13.306 * [taylor]: Taking taylor expansion of x in a 13.306 * [backup-simplify]: Simplify x into x 13.306 * [taylor]: Taking taylor expansion of y in a 13.306 * [backup-simplify]: Simplify y into y 13.306 * [taylor]: Taking taylor expansion of (fma (/ (- t z) (- a t)) y (+ x y)) in z 13.306 * [taylor]: Rewrote expression to (+ (* (/ (- t z) (- a t)) y) (+ x y)) 13.306 * [taylor]: Taking taylor expansion of (* (/ (- t z) (- a t)) y) in z 13.306 * [taylor]: Taking taylor expansion of (/ (- t z) (- a t)) in z 13.306 * [taylor]: Taking taylor expansion of (- t z) in z 13.306 * [taylor]: Taking taylor expansion of t in z 13.306 * [backup-simplify]: Simplify t into t 13.306 * [taylor]: Taking taylor expansion of z in z 13.306 * [backup-simplify]: Simplify 0 into 0 13.306 * [backup-simplify]: Simplify 1 into 1 13.307 * [taylor]: Taking taylor expansion of (- a t) in z 13.307 * [taylor]: Taking taylor expansion of a in z 13.307 * [backup-simplify]: Simplify a into a 13.307 * [taylor]: Taking taylor expansion of t in z 13.307 * [backup-simplify]: Simplify t into t 13.307 * [backup-simplify]: Simplify (- 0) into 0 13.307 * [backup-simplify]: Simplify (+ t 0) into t 13.307 * [backup-simplify]: Simplify (- t) into (- t) 13.307 * [backup-simplify]: Simplify (+ a (- t)) into (- a t) 13.307 * [backup-simplify]: Simplify (/ t (- a t)) into (/ t (- a t)) 13.307 * [taylor]: Taking taylor expansion of y in z 13.307 * [backup-simplify]: Simplify y into y 13.307 * [taylor]: Taking taylor expansion of (+ x y) in z 13.307 * [taylor]: Taking taylor expansion of x in z 13.307 * [backup-simplify]: Simplify x into x 13.307 * [taylor]: Taking taylor expansion of y in z 13.307 * [backup-simplify]: Simplify y into y 13.308 * [taylor]: Taking taylor expansion of (fma (/ (- t z) (- a t)) y (+ x y)) in t 13.308 * [taylor]: Rewrote expression to (+ (* (/ (- t z) (- a t)) y) (+ x y)) 13.308 * [taylor]: Taking taylor expansion of (* (/ (- t z) (- a t)) y) in t 13.308 * [taylor]: Taking taylor expansion of (/ (- t z) (- a t)) in t 13.308 * [taylor]: Taking taylor expansion of (- t z) in t 13.308 * [taylor]: Taking taylor expansion of t in t 13.308 * [backup-simplify]: Simplify 0 into 0 13.308 * [backup-simplify]: Simplify 1 into 1 13.308 * [taylor]: Taking taylor expansion of z in t 13.308 * [backup-simplify]: Simplify z into z 13.308 * [taylor]: Taking taylor expansion of (- a t) in t 13.308 * [taylor]: Taking taylor expansion of a in t 13.308 * [backup-simplify]: Simplify a into a 13.308 * [taylor]: Taking taylor expansion of t in t 13.308 * [backup-simplify]: Simplify 0 into 0 13.308 * [backup-simplify]: Simplify 1 into 1 13.308 * [backup-simplify]: Simplify (- z) into (- z) 13.308 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z) 13.308 * [backup-simplify]: Simplify (- 0) into 0 13.308 * [backup-simplify]: Simplify (+ a 0) into a 13.308 * [backup-simplify]: Simplify (/ (- z) a) into (* -1 (/ z a)) 13.308 * [taylor]: Taking taylor expansion of y in t 13.308 * [backup-simplify]: Simplify y into y 13.308 * [taylor]: Taking taylor expansion of (+ x y) in t 13.308 * [taylor]: Taking taylor expansion of x in t 13.308 * [backup-simplify]: Simplify x into x 13.308 * [taylor]: Taking taylor expansion of y in t 13.308 * [backup-simplify]: Simplify y into y 13.308 * [taylor]: Taking taylor expansion of (fma (/ (- t z) (- a t)) y (+ x y)) in t 13.309 * [taylor]: Rewrote expression to (+ (* (/ (- t z) (- a t)) y) (+ x y)) 13.309 * [taylor]: Taking taylor expansion of (* (/ (- t z) (- a t)) y) in t 13.309 * [taylor]: Taking taylor expansion of (/ (- t z) (- a t)) in t 13.309 * [taylor]: Taking taylor expansion of (- t z) in t 13.309 * [taylor]: Taking taylor expansion of t in t 13.309 * [backup-simplify]: Simplify 0 into 0 13.309 * [backup-simplify]: Simplify 1 into 1 13.309 * [taylor]: Taking taylor expansion of z in t 13.309 * [backup-simplify]: Simplify z into z 13.309 * [taylor]: Taking taylor expansion of (- a t) in t 13.309 * [taylor]: Taking taylor expansion of a in t 13.309 * [backup-simplify]: Simplify a into a 13.309 * [taylor]: Taking taylor expansion of t in t 13.309 * [backup-simplify]: Simplify 0 into 0 13.309 * [backup-simplify]: Simplify 1 into 1 13.309 * [backup-simplify]: Simplify (- z) into (- z) 13.309 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z) 13.309 * [backup-simplify]: Simplify (- 0) into 0 13.309 * [backup-simplify]: Simplify (+ a 0) into a 13.309 * [backup-simplify]: Simplify (/ (- z) a) into (* -1 (/ z a)) 13.309 * [taylor]: Taking taylor expansion of y in t 13.309 * [backup-simplify]: Simplify y into y 13.309 * [taylor]: Taking taylor expansion of (+ x y) in t 13.309 * [taylor]: Taking taylor expansion of x in t 13.309 * [backup-simplify]: Simplify x into x 13.310 * [taylor]: Taking taylor expansion of y in t 13.310 * [backup-simplify]: Simplify y into y 13.310 * [backup-simplify]: Simplify (* (* -1 (/ z a)) y) into (* -1 (/ (* z y) a)) 13.310 * [backup-simplify]: Simplify (+ x y) into (+ x y) 13.310 * [backup-simplify]: Simplify (+ (* -1 (/ (* z y) a)) (+ x y)) into (- (+ x y) (/ (* z y) a)) 13.310 * [taylor]: Taking taylor expansion of (- (+ x y) (/ (* z y) a)) in z 13.310 * [taylor]: Taking taylor expansion of (+ x y) in z 13.310 * [taylor]: Taking taylor expansion of x in z 13.310 * [backup-simplify]: Simplify x into x 13.310 * [taylor]: Taking taylor expansion of y in z 13.310 * [backup-simplify]: Simplify y into y 13.310 * [taylor]: Taking taylor expansion of (/ (* z y) a) in z 13.310 * [taylor]: Taking taylor expansion of (* z y) in z 13.310 * [taylor]: Taking taylor expansion of z in z 13.310 * [backup-simplify]: Simplify 0 into 0 13.310 * [backup-simplify]: Simplify 1 into 1 13.310 * [taylor]: Taking taylor expansion of y in z 13.310 * [backup-simplify]: Simplify y into y 13.310 * [taylor]: Taking taylor expansion of a in z 13.310 * [backup-simplify]: Simplify a into a 13.310 * [backup-simplify]: Simplify (* 0 y) into 0 13.311 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 13.311 * [backup-simplify]: Simplify (/ y a) into (/ y a) 13.311 * [backup-simplify]: Simplify (+ x y) into (+ x y) 13.311 * [backup-simplify]: Simplify (+ (+ x y) 0) into (+ x y) 13.311 * [taylor]: Taking taylor expansion of (+ x y) in a 13.311 * [taylor]: Taking taylor expansion of x in a 13.311 * [backup-simplify]: Simplify x into x 13.311 * [taylor]: Taking taylor expansion of y in a 13.311 * [backup-simplify]: Simplify y into y 13.311 * [backup-simplify]: Simplify (+ x y) into (+ x y) 13.311 * [taylor]: Taking taylor expansion of (+ x y) in y 13.311 * [taylor]: Taking taylor expansion of x in y 13.311 * [backup-simplify]: Simplify x into x 13.311 * [taylor]: Taking taylor expansion of y in y 13.311 * [backup-simplify]: Simplify 0 into 0 13.311 * [backup-simplify]: Simplify 1 into 1 13.311 * [backup-simplify]: Simplify (+ x 0) into x 13.311 * [taylor]: Taking taylor expansion of x in x 13.311 * [backup-simplify]: Simplify 0 into 0 13.311 * [backup-simplify]: Simplify 1 into 1 13.311 * [backup-simplify]: Simplify 0 into 0 13.312 * [backup-simplify]: Simplify (- 0) into 0 13.312 * [backup-simplify]: Simplify (+ 1 0) into 1 13.312 * [backup-simplify]: Simplify (- 1) into -1 13.312 * [backup-simplify]: Simplify (+ 0 -1) into -1