1.670 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.042 * * * [progress]: [2/2] Setting up program. 0.046 * [progress]: [Phase 2 of 3] Improving. 0.046 * [simplify]: Simplifying: (+ x (/ (* (- y z) t) (- a z))) 0.046 * * [simplify]: Extracting # 0 : cost 0 0.046 * * [simplify]: Extracting # 1 : cost 0 0.046 * * [simplify]: Extracting # 2 : cost 0 0.046 * * [simplify]: Extracting # 3 : cost 0 0.046 * * [simplify]: Extracting # 4 : cost 0 0.046 * * [simplify]: Extracting # 5 : cost 0 0.046 * * [simplify]: Extracting # 6 : cost 0 0.046 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 0.049 * * [simplify]: Extracting # 0 : cost 0 0.049 * * [simplify]: Extracting # 1 : cost 0 0.049 * * [simplify]: Extracting # 2 : cost 0 0.049 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 0.053 * * [simplify]: Extracting # 0 : cost 0 0.053 * * [simplify]: Extracting # 1 : cost 0 0.054 * * [simplify]: Extracting # 2 : cost 0 0.054 * * [simplify]: iteration 2 : 35 enodes (cost 11 ) 0.080 * * [simplify]: Extracting # 0 : cost 0 0.080 * * [simplify]: Extracting # 1 : cost 0 0.081 * * [simplify]: Extracting # 2 : cost 0 0.081 * * [simplify]: iteration 3 : 63 enodes (cost 10 ) 0.102 * * [simplify]: Extracting # 0 : cost 0 0.102 * * [simplify]: Extracting # 1 : cost 0 0.103 * * [simplify]: Extracting # 2 : cost 0 0.103 * * [simplify]: iteration 4 : 106 enodes (cost 10 ) 0.146 * * [simplify]: Extracting # 0 : cost 0 0.146 * * [simplify]: Extracting # 1 : cost 0 0.147 * * [simplify]: Extracting # 2 : cost 0 0.147 * * [simplify]: iteration 5 : 167 enodes (cost 10 ) 0.187 * * [simplify]: Extracting # 0 : cost 0 0.187 * * [simplify]: Extracting # 1 : cost 0 0.188 * * [simplify]: Extracting # 2 : cost 0 0.188 * * [simplify]: iteration 6 : 222 enodes (cost 10 ) 0.226 * * [simplify]: Extracting # 0 : cost 0 0.227 * * [simplify]: Extracting # 1 : cost 0 0.227 * * [simplify]: Extracting # 2 : cost 0 0.227 * * [simplify]: iteration 7 : 255 enodes (cost 10 ) 0.310 * * [simplify]: Extracting # 0 : cost 0 0.311 * * [simplify]: Extracting # 1 : cost 0 0.311 * * [simplify]: Extracting # 2 : cost 0 0.312 * * [simplify]: Extracting # 3 : cost 0 0.312 * * [simplify]: iteration 8 : 289 enodes (cost 10 ) 0.419 * * [simplify]: Extracting # 0 : cost 0 0.420 * * [simplify]: Extracting # 1 : cost 0 0.420 * * [simplify]: Extracting # 2 : cost 0 0.421 * * [simplify]: iteration 9 : 338 enodes (cost 10 ) 0.519 * * [simplify]: Extracting # 0 : cost 0 0.520 * * [simplify]: Extracting # 1 : cost 0 0.520 * * [simplify]: Extracting # 2 : cost 0 0.521 * * [simplify]: iteration 10 : 450 enodes (cost 10 ) 0.807 * * [simplify]: Extracting # 0 : cost 0 0.807 * * [simplify]: Extracting # 1 : cost 0 0.808 * * [simplify]: Extracting # 2 : cost 0 0.808 * * [simplify]: iteration 11 : 570 enodes (cost 10 ) 1.000 * * [simplify]: Extracting # 0 : cost 0 1.001 * * [simplify]: Extracting # 1 : cost 0 1.001 * * [simplify]: Extracting # 2 : cost 0 1.002 * * [simplify]: iteration 12 : 624 enodes (cost 10 ) 1.220 * * [simplify]: Extracting # 0 : cost 0 1.221 * * [simplify]: Extracting # 1 : cost 0 1.222 * * [simplify]: Extracting # 2 : cost 0 1.223 * * [simplify]: iteration 13 : 636 enodes (cost 10 ) 1.478 * * [simplify]: Extracting # 0 : cost 0 1.478 * * [simplify]: iteration 14 : 638 enodes (cost 10 ) 1.712 * * [simplify]: Extracting # 0 : cost 0 1.712 * * [simplify]: iteration done: 638 enodes (cost 10 ) 1.713 * [simplify]: Simplified to: (fma (/ (- y z) (- a z)) t x) 1.716 * * [progress]: iteration 1 / 4 1.716 * * * [progress]: picking best candidate 1.720 * * * * [pick]: Picked # 1.720 * * * [progress]: localizing error 1.737 * * * [progress]: generating rewritten candidates 1.737 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 1.738 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 1.791 * * * [progress]: generating series expansions 1.791 * * * * [progress]: [ 1 / 2 ] generating series at (2) 1.791 * [backup-simplify]: Simplify (fma (/ (- y z) (- a z)) t x) into (fma (/ (- y z) (- a z)) t x) 1.791 * [approximate]: Taking taylor expansion of (fma (/ (- y z) (- a z)) t x) in (y z a t x) around 0 1.791 * [taylor]: Taking taylor expansion of (fma (/ (- y z) (- a z)) t x) in x 1.792 * [taylor]: Rewrote expression to (+ (* (/ (- y z) (- a z)) t) x) 1.792 * [taylor]: Taking taylor expansion of (* (/ (- y z) (- a z)) t) in x 1.792 * [taylor]: Taking taylor expansion of (/ (- y z) (- a z)) in x 1.792 * [taylor]: Taking taylor expansion of (- y z) in x 1.792 * [taylor]: Taking taylor expansion of y in x 1.792 * [backup-simplify]: Simplify y into y 1.792 * [taylor]: Taking taylor expansion of z in x 1.792 * [backup-simplify]: Simplify z into z 1.792 * [taylor]: Taking taylor expansion of (- a z) in x 1.792 * [taylor]: Taking taylor expansion of a in x 1.792 * [backup-simplify]: Simplify a into a 1.792 * [taylor]: Taking taylor expansion of z in x 1.792 * [backup-simplify]: Simplify z into z 1.792 * [backup-simplify]: Simplify (- z) into (- z) 1.792 * [backup-simplify]: Simplify (+ y (- z)) into (- y z) 1.792 * [backup-simplify]: Simplify (- z) into (- z) 1.792 * [backup-simplify]: Simplify (+ a (- z)) into (- a z) 1.792 * [backup-simplify]: Simplify (/ (- y z) (- a z)) into (/ (- y z) (- a z)) 1.792 * [taylor]: Taking taylor expansion of t in x 1.793 * [backup-simplify]: Simplify t into t 1.793 * [taylor]: Taking taylor expansion of x in x 1.793 * [backup-simplify]: Simplify 0 into 0 1.793 * [backup-simplify]: Simplify 1 into 1 1.793 * [taylor]: Taking taylor expansion of (fma (/ (- y z) (- a z)) t x) in t 1.793 * [taylor]: Rewrote expression to (+ (* (/ (- y z) (- a z)) t) x) 1.793 * [taylor]: Taking taylor expansion of (* (/ (- y z) (- a z)) t) in t 1.793 * [taylor]: Taking taylor expansion of (/ (- y z) (- a z)) in t 1.793 * [taylor]: Taking taylor expansion of (- y z) in t 1.793 * [taylor]: Taking taylor expansion of y in t 1.793 * [backup-simplify]: Simplify y into y 1.793 * [taylor]: Taking taylor expansion of z in t 1.793 * [backup-simplify]: Simplify z into z 1.793 * [taylor]: Taking taylor expansion of (- a z) in t 1.793 * [taylor]: Taking taylor expansion of a in t 1.793 * [backup-simplify]: Simplify a into a 1.793 * [taylor]: Taking taylor expansion of z in t 1.793 * [backup-simplify]: Simplify z into z 1.793 * [backup-simplify]: Simplify (- z) into (- z) 1.793 * [backup-simplify]: Simplify (+ y (- z)) into (- y z) 1.793 * [backup-simplify]: Simplify (- z) into (- z) 1.793 * [backup-simplify]: Simplify (+ a (- z)) into (- a z) 1.793 * [backup-simplify]: Simplify (/ (- y z) (- a z)) into (/ (- y z) (- a z)) 1.793 * [taylor]: Taking taylor expansion of t in t 1.794 * [backup-simplify]: Simplify 0 into 0 1.794 * [backup-simplify]: Simplify 1 into 1 1.794 * [taylor]: Taking taylor expansion of x in t 1.794 * [backup-simplify]: Simplify x into x 1.794 * [taylor]: Taking taylor expansion of (fma (/ (- y z) (- a z)) t x) in a 1.794 * [taylor]: Rewrote expression to (+ (* (/ (- y z) (- a z)) t) x) 1.794 * [taylor]: Taking taylor expansion of (* (/ (- y z) (- a z)) t) in a 1.794 * [taylor]: Taking taylor expansion of (/ (- y z) (- a z)) in a 1.794 * [taylor]: Taking taylor expansion of (- y z) in a 1.794 * [taylor]: Taking taylor expansion of y in a 1.794 * [backup-simplify]: Simplify y into y 1.794 * [taylor]: Taking taylor expansion of z in a 1.794 * [backup-simplify]: Simplify z into z 1.794 * [taylor]: Taking taylor expansion of (- a z) in a 1.794 * [taylor]: Taking taylor expansion of a in a 1.794 * [backup-simplify]: Simplify 0 into 0 1.794 * [backup-simplify]: Simplify 1 into 1 1.794 * [taylor]: Taking taylor expansion of z in a 1.794 * [backup-simplify]: Simplify z into z 1.794 * [backup-simplify]: Simplify (- z) into (- z) 1.794 * [backup-simplify]: Simplify (+ y (- z)) into (- y z) 1.794 * [backup-simplify]: Simplify (- z) into (- z) 1.794 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z) 1.795 * [backup-simplify]: Simplify (/ (- y z) (- z)) into (* -1 (/ (- y z) z)) 1.795 * [taylor]: Taking taylor expansion of t in a 1.795 * [backup-simplify]: Simplify t into t 1.795 * [taylor]: Taking taylor expansion of x in a 1.795 * [backup-simplify]: Simplify x into x 1.795 * [taylor]: Taking taylor expansion of (fma (/ (- y z) (- a z)) t x) in z 1.795 * [taylor]: Rewrote expression to (+ (* (/ (- y z) (- a z)) t) x) 1.795 * [taylor]: Taking taylor expansion of (* (/ (- y z) (- a z)) t) in z 1.795 * [taylor]: Taking taylor expansion of (/ (- y z) (- a z)) in z 1.795 * [taylor]: Taking taylor expansion of (- y z) in z 1.795 * [taylor]: Taking taylor expansion of y in z 1.795 * [backup-simplify]: Simplify y into y 1.795 * [taylor]: Taking taylor expansion of z in z 1.795 * [backup-simplify]: Simplify 0 into 0 1.795 * [backup-simplify]: Simplify 1 into 1 1.795 * [taylor]: Taking taylor expansion of (- a z) in z 1.795 * [taylor]: Taking taylor expansion of a in z 1.795 * [backup-simplify]: Simplify a into a 1.795 * [taylor]: Taking taylor expansion of z in z 1.795 * [backup-simplify]: Simplify 0 into 0 1.795 * [backup-simplify]: Simplify 1 into 1 1.796 * [backup-simplify]: Simplify (- 0) into 0 1.796 * [backup-simplify]: Simplify (+ y 0) into y 1.796 * [backup-simplify]: Simplify (- 0) into 0 1.796 * [backup-simplify]: Simplify (+ a 0) into a 1.796 * [backup-simplify]: Simplify (/ y a) into (/ y a) 1.796 * [taylor]: Taking taylor expansion of t in z 1.797 * [backup-simplify]: Simplify t into t 1.797 * [taylor]: Taking taylor expansion of x in z 1.797 * [backup-simplify]: Simplify x into x 1.797 * [taylor]: Taking taylor expansion of (fma (/ (- y z) (- a z)) t x) in y 1.797 * [taylor]: Rewrote expression to (+ (* (/ (- y z) (- a z)) t) x) 1.797 * [taylor]: Taking taylor expansion of (* (/ (- y z) (- a z)) t) in y 1.797 * [taylor]: Taking taylor expansion of (/ (- y z) (- a z)) in y 1.797 * [taylor]: Taking taylor expansion of (- y z) in y 1.797 * [taylor]: Taking taylor expansion of y in y 1.797 * [backup-simplify]: Simplify 0 into 0 1.797 * [backup-simplify]: Simplify 1 into 1 1.797 * [taylor]: Taking taylor expansion of z in y 1.797 * [backup-simplify]: Simplify z into z 1.797 * [taylor]: Taking taylor expansion of (- a z) in y 1.797 * [taylor]: Taking taylor expansion of a in y 1.797 * [backup-simplify]: Simplify a into a 1.797 * [taylor]: Taking taylor expansion of z in y 1.797 * [backup-simplify]: Simplify z into z 1.797 * [backup-simplify]: Simplify (- z) into (- z) 1.797 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z) 1.797 * [backup-simplify]: Simplify (- z) into (- z) 1.797 * [backup-simplify]: Simplify (+ a (- z)) into (- a z) 1.797 * [backup-simplify]: Simplify (/ (- z) (- a z)) into (* -1 (/ z (- a z))) 1.798 * [taylor]: Taking taylor expansion of t in y 1.798 * [backup-simplify]: Simplify t into t 1.798 * [taylor]: Taking taylor expansion of x in y 1.798 * [backup-simplify]: Simplify x into x 1.798 * [taylor]: Taking taylor expansion of (fma (/ (- y z) (- a z)) t x) in y 1.798 * [taylor]: Rewrote expression to (+ (* (/ (- y z) (- a z)) t) x) 1.798 * [taylor]: Taking taylor expansion of (* (/ (- y z) (- a z)) t) in y 1.798 * [taylor]: Taking taylor expansion of (/ (- y z) (- a z)) in y 1.798 * [taylor]: Taking taylor expansion of (- y z) in y 1.798 * [taylor]: Taking taylor expansion of y in y 1.798 * [backup-simplify]: Simplify 0 into 0 1.798 * [backup-simplify]: Simplify 1 into 1 1.798 * [taylor]: Taking taylor expansion of z in y 1.798 * [backup-simplify]: Simplify z into z 1.798 * [taylor]: Taking taylor expansion of (- a z) in y 1.798 * [taylor]: Taking taylor expansion of a in y 1.798 * [backup-simplify]: Simplify a into a 1.798 * [taylor]: Taking taylor expansion of z in y 1.798 * [backup-simplify]: Simplify z into z 1.798 * [backup-simplify]: Simplify (- z) into (- z) 1.798 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z) 1.798 * [backup-simplify]: Simplify (- z) into (- z) 1.798 * [backup-simplify]: Simplify (+ a (- z)) into (- a z) 1.799 * [backup-simplify]: Simplify (/ (- z) (- a z)) into (* -1 (/ z (- a z))) 1.799 * [taylor]: Taking taylor expansion of t in y 1.799 * [backup-simplify]: Simplify t into t 1.799 * [taylor]: Taking taylor expansion of x in y 1.799 * [backup-simplify]: Simplify x into x 1.799 * [backup-simplify]: Simplify (* (* -1 (/ z (- a z))) t) into (* -1 (/ (* t z) (- a z))) 1.799 * [backup-simplify]: Simplify (+ (* -1 (/ (* t z) (- a z))) x) into (- x (/ (* t z) (- a z))) 1.799 * [taylor]: Taking taylor expansion of (- x (/ (* t z) (- a z))) in z 1.799 * [taylor]: Taking taylor expansion of x in z 1.799 * [backup-simplify]: Simplify x into x 1.799 * [taylor]: Taking taylor expansion of (/ (* t z) (- a z)) in z 1.799 * [taylor]: Taking taylor expansion of (* t z) in z 1.799 * [taylor]: Taking taylor expansion of t in z 1.799 * [backup-simplify]: Simplify t into t 1.799 * [taylor]: Taking taylor expansion of z in z 1.799 * [backup-simplify]: Simplify 0 into 0 1.799 * [backup-simplify]: Simplify 1 into 1 1.799 * [taylor]: Taking taylor expansion of (- a z) in z 1.799 * [taylor]: Taking taylor expansion of a in z 1.799 * [backup-simplify]: Simplify a into a 1.799 * [taylor]: Taking taylor expansion of z in z 1.799 * [backup-simplify]: Simplify 0 into 0 1.800 * [backup-simplify]: Simplify 1 into 1 1.800 * [backup-simplify]: Simplify (* t 0) into 0 1.800 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t 1.800 * [backup-simplify]: Simplify (- 0) into 0 1.801 * [backup-simplify]: Simplify (+ a 0) into a 1.801 * [backup-simplify]: Simplify (/ t a) into (/ t a) 1.801 * [backup-simplify]: Simplify (+ x 0) into x 1.801 * [taylor]: Taking taylor expansion of x in a 1.801 * [backup-simplify]: Simplify x into x 1.801 * [taylor]: Taking taylor expansion of x in t 1.801 * [backup-simplify]: Simplify x into x 1.801 * [taylor]: Taking taylor expansion of x in x 1.801 * [backup-simplify]: Simplify 0 into 0 1.801 * [backup-simplify]: Simplify 1 into 1 1.801 * [backup-simplify]: Simplify 0 into 0 1.801 * [backup-simplify]: Simplify (- 0) into 0 1.802 * [backup-simplify]: Simplify (+ 1 0) into 1 1.802 * [backup-simplify]: Simplify (- 0) into 0 1.803 * [backup-simplify]: Simplify (+ 0 0) into 0 1.803 * [backup-simplify]: Simplify (- (/ 1 (- a z)) (+ (* (* -1 (/ z (- a z))) (/ 0 (- a z))))) into (/ 1 (- a z)) 1.803 * [backup-simplify]: Simplify (+ (* (* -1 (/ z (- a z))) 0) (* (/ 1 (- a z)) t)) into (/ t (- a z)) 1.804 * [backup-simplify]: Simplify (+ (/ t (- a z)) 0) into (/ t (- a z)) 1.804 * [taylor]: Taking taylor expansion of (/ t (- a z)) in z 1.804 * [taylor]: Taking taylor expansion of t in z 1.804 * [backup-simplify]: Simplify t into t 1.804 * [taylor]: Taking taylor expansion of (- a z) in z 1.804 * [taylor]: Taking taylor expansion of a in z 1.804 * [backup-simplify]: Simplify a into a 1.804 * [taylor]: Taking taylor expansion of z in z 1.804 * [backup-simplify]: Simplify 0 into 0 1.804 * [backup-simplify]: Simplify 1 into 1 1.804 * [backup-simplify]: Simplify (- 0) into 0 1.804 * [backup-simplify]: Simplify (+ a 0) into a 1.804 * [backup-simplify]: Simplify (/ t a) into (/ t a) 1.804 * [taylor]: Taking taylor expansion of (/ t a) in a 1.804 * [taylor]: Taking taylor expansion of t in a 1.804 * [backup-simplify]: Simplify t into t 1.804 * [taylor]: Taking taylor expansion of a in a 1.804 * [backup-simplify]: Simplify 0 into 0 1.804 * [backup-simplify]: Simplify 1 into 1 1.805 * [backup-simplify]: Simplify (/ t 1) into t 1.805 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0 1.805 * [taylor]: Taking taylor expansion of 0 in t 1.805 * [backup-simplify]: Simplify 0 into 0 1.805 * [taylor]: Taking taylor expansion of 0 in x 1.806 * [backup-simplify]: Simplify 0 into 0 1.806 * [backup-simplify]: Simplify 0 into 0 1.806 * [backup-simplify]: Simplify (- (/ t a)) into (- (/ t a)) 1.806 * [backup-simplify]: Simplify (+ 0 (- (/ t a))) into (- (/ t a)) 1.806 * [taylor]: Taking taylor expansion of (- (/ t a)) in a 1.806 * [taylor]: Taking taylor expansion of (/ t a) in a 1.806 * [taylor]: Taking taylor expansion of t in a 1.806 * [backup-simplify]: Simplify t into t 1.806 * [taylor]: Taking taylor expansion of a in a 1.806 * [backup-simplify]: Simplify 0 into 0 1.806 * [backup-simplify]: Simplify 1 into 1 1.806 * [backup-simplify]: Simplify (/ t 1) into t 1.806 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0 1.807 * [backup-simplify]: Simplify (- 0) into 0 1.807 * [taylor]: Taking taylor expansion of 0 in t 1.807 * [backup-simplify]: Simplify 0 into 0 1.807 * [taylor]: Taking taylor expansion of 0 in x 1.807 * [backup-simplify]: Simplify 0 into 0 1.807 * [backup-simplify]: Simplify 0 into 0 1.807 * [taylor]: Taking taylor expansion of 0 in t 1.807 * [backup-simplify]: Simplify 0 into 0 1.807 * [taylor]: Taking taylor expansion of 0 in x 1.807 * [backup-simplify]: Simplify 0 into 0 1.807 * [backup-simplify]: Simplify 0 into 0 1.807 * [taylor]: Taking taylor expansion of 0 in x 1.807 * [backup-simplify]: Simplify 0 into 0 1.807 * [backup-simplify]: Simplify 0 into 0 1.807 * [backup-simplify]: Simplify 1 into 1 1.807 * [backup-simplify]: Simplify (- 0) into 0 1.807 * [backup-simplify]: Simplify (+ 0 0) into 0 1.808 * [backup-simplify]: Simplify (- 0) into 0 1.808 * [backup-simplify]: Simplify (+ 0 0) into 0 1.808 * [backup-simplify]: Simplify (- (/ 0 (- a z)) (+ (* (* -1 (/ z (- a z))) (/ 0 (- a z))) (* (/ 1 (- a z)) (/ 0 (- a z))))) into 0 1.808 * [backup-simplify]: Simplify (+ (* (* -1 (/ z (- a z))) 0) (+ (* (/ 1 (- a z)) 0) (* 0 t))) into 0 1.808 * [backup-simplify]: Simplify (+ 0 0) into 0 1.809 * [taylor]: Taking taylor expansion of 0 in z 1.809 * [backup-simplify]: Simplify 0 into 0 1.809 * [taylor]: Taking taylor expansion of 0 in a 1.809 * [backup-simplify]: Simplify 0 into 0 1.809 * [taylor]: Taking taylor expansion of 0 in t 1.809 * [backup-simplify]: Simplify 0 into 0 1.809 * [taylor]: Taking taylor expansion of 0 in x 1.809 * [backup-simplify]: Simplify 0 into 0 1.809 * [backup-simplify]: Simplify 0 into 0 1.809 * [backup-simplify]: Simplify (- 1) into -1 1.809 * [backup-simplify]: Simplify (+ 0 -1) into -1