3.735 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.050 * * * [progress]: [2/2] Setting up program. 0.054 * [progress]: [Phase 2 of 3] Improving. 0.055 * [simplify]: Simplifying: (- (+ x y) (/ (* (- z t) y) (- a t))) 0.055 * * [simplify]: Extracting # 0 : cost 0 0.055 * * [simplify]: Extracting # 1 : cost 0 0.055 * * [simplify]: Extracting # 2 : cost 0 0.055 * * [simplify]: Extracting # 3 : cost 0 0.055 * * [simplify]: Extracting # 4 : cost 0 0.055 * * [simplify]: Extracting # 5 : cost 0 0.055 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 0.058 * * [simplify]: Extracting # 0 : cost 0 0.058 * * [simplify]: Extracting # 1 : cost 0 0.058 * * [simplify]: Extracting # 2 : cost 0 0.058 * * [simplify]: iteration 1 : 22 enodes (cost 13 ) 0.064 * * [simplify]: Extracting # 0 : cost 0 0.064 * * [simplify]: Extracting # 1 : cost 0 0.064 * * [simplify]: Extracting # 2 : cost 0 0.065 * * [simplify]: iteration 2 : 52 enodes (cost 13 ) 0.078 * * [simplify]: Extracting # 0 : cost 0 0.078 * * [simplify]: Extracting # 1 : cost 0 0.078 * * [simplify]: Extracting # 2 : cost 0 0.079 * * [simplify]: iteration 3 : 107 enodes (cost 13 ) 0.098 * * [simplify]: Extracting # 0 : cost 0 0.098 * * [simplify]: Extracting # 1 : cost 0 0.098 * * [simplify]: Extracting # 2 : cost 0 0.099 * * [simplify]: Extracting # 3 : cost 0 0.099 * * [simplify]: Extracting # 4 : cost 0 0.099 * * [simplify]: iteration 4 : 186 enodes (cost 13 ) 0.214 * * [simplify]: Extracting # 0 : cost 0 0.215 * * [simplify]: Extracting # 1 : cost 0 0.216 * * [simplify]: Extracting # 2 : cost 0 0.216 * * [simplify]: iteration 5 : 380 enodes (cost 13 ) 0.449 * * [simplify]: Extracting # 0 : cost 0 0.450 * * [simplify]: Extracting # 1 : cost 0 0.451 * * [simplify]: Extracting # 2 : cost 0 0.451 * * [simplify]: iteration 6 : 529 enodes (cost 13 ) 0.690 * * [simplify]: Extracting # 0 : cost 0 0.691 * * [simplify]: Extracting # 1 : cost 0 0.692 * * [simplify]: Extracting # 2 : cost 0 0.693 * * [simplify]: iteration 7 : 668 enodes (cost 13 ) 0.966 * * [simplify]: Extracting # 0 : cost 0 0.967 * * [simplify]: Extracting # 1 : cost 0 0.968 * * [simplify]: Extracting # 2 : cost 0 0.969 * * [simplify]: iteration 8 : 820 enodes (cost 13 ) 1.302 * * [simplify]: Extracting # 0 : cost 0 1.303 * * [simplify]: Extracting # 1 : cost 0 1.304 * * [simplify]: Extracting # 2 : cost 0 1.304 * * [simplify]: iteration 9 : 969 enodes (cost 13 ) 1.867 * * [simplify]: Extracting # 0 : cost 0 1.867 * * [simplify]: Extracting # 1 : cost 0 1.868 * * [simplify]: Extracting # 2 : cost 0 1.869 * * [simplify]: Extracting # 3 : cost 0 1.869 * * [simplify]: iteration 10 : 1222 enodes (cost 13 ) 2.603 * * [simplify]: Extracting # 0 : cost 0 2.606 * * [simplify]: Extracting # 1 : cost 0 2.607 * * [simplify]: Extracting # 2 : cost 0 2.609 * * [simplify]: iteration 11 : 1531 enodes (cost 13 ) 4.077 * * [simplify]: Extracting # 0 : cost 0 4.080 * * [simplify]: Extracting # 1 : cost 0 4.082 * * [simplify]: Extracting # 2 : cost 0 4.085 * * [simplify]: iteration 12 : 2279 enodes (cost 13 ) 6.758 * * [simplify]: Extracting # 0 : cost 0 6.761 * * [simplify]: Extracting # 1 : cost 0 6.763 * * [simplify]: Extracting # 2 : cost 0 6.764 * * [simplify]: iteration 13 : 3564 enodes (cost 13 ) 9.598 * * [simplify]: Extracting # 0 : cost 0 9.601 * * [simplify]: Extracting # 1 : cost 0 9.604 * * [simplify]: Extracting # 2 : cost 0 9.606 * * [simplify]: iteration done: 5000 enodes (cost 13 ) 9.606 * [simplify]: Simplified to: (- (+ x y) (/ (* (- z t) y) (- a t))) 9.607 * * [progress]: iteration 1 / 4 9.607 * * * [progress]: picking best candidate 9.609 * * * * [pick]: Picked # 9.609 * * * [progress]: localizing error 9.634 * * * [progress]: generating rewritten candidates 9.634 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 9.674 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 9.745 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1) 9.773 * * * [progress]: generating series expansions 9.773 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 9.774 * [backup-simplify]: Simplify (/ (* (- z t) y) (- a t)) into (/ (* y (- z t)) (- a t)) 9.774 * [approximate]: Taking taylor expansion of (/ (* y (- z t)) (- a t)) in (z t y a) around 0 9.774 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) (- a t)) in a 9.774 * [taylor]: Taking taylor expansion of (* y (- z t)) in a 9.774 * [taylor]: Taking taylor expansion of y in a 9.774 * [backup-simplify]: Simplify y into y 9.774 * [taylor]: Taking taylor expansion of (- z t) in a 9.774 * [taylor]: Taking taylor expansion of z in a 9.774 * [backup-simplify]: Simplify z into z 9.774 * [taylor]: Taking taylor expansion of t in a 9.774 * [backup-simplify]: Simplify t into t 9.774 * [taylor]: Taking taylor expansion of (- a t) in a 9.774 * [taylor]: Taking taylor expansion of a in a 9.774 * [backup-simplify]: Simplify 0 into 0 9.774 * [backup-simplify]: Simplify 1 into 1 9.774 * [taylor]: Taking taylor expansion of t in a 9.774 * [backup-simplify]: Simplify t into t 9.774 * [backup-simplify]: Simplify (- t) into (- t) 9.774 * [backup-simplify]: Simplify (+ z (- t)) into (- z t) 9.774 * [backup-simplify]: Simplify (* y (- z t)) into (* y (- z t)) 9.774 * [backup-simplify]: Simplify (- t) into (- t) 9.775 * [backup-simplify]: Simplify (+ 0 (- t)) into (- t) 9.775 * [backup-simplify]: Simplify (/ (* y (- z t)) (- t)) into (* -1 (/ (* y (- z t)) t)) 9.775 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) (- a t)) in y 9.775 * [taylor]: Taking taylor expansion of (* y (- z t)) in y 9.775 * [taylor]: Taking taylor expansion of y in y 9.775 * [backup-simplify]: Simplify 0 into 0 9.775 * [backup-simplify]: Simplify 1 into 1 9.775 * [taylor]: Taking taylor expansion of (- z t) in y 9.775 * [taylor]: Taking taylor expansion of z in y 9.775 * [backup-simplify]: Simplify z into z 9.775 * [taylor]: Taking taylor expansion of t in y 9.775 * [backup-simplify]: Simplify t into t 9.775 * [taylor]: Taking taylor expansion of (- a t) in y 9.775 * [taylor]: Taking taylor expansion of a in y 9.775 * [backup-simplify]: Simplify a into a 9.775 * [taylor]: Taking taylor expansion of t in y 9.775 * [backup-simplify]: Simplify t into t 9.775 * [backup-simplify]: Simplify (- t) into (- t) 9.775 * [backup-simplify]: Simplify (+ z (- t)) into (- z t) 9.775 * [backup-simplify]: Simplify (* 0 (- z t)) into 0 9.776 * [backup-simplify]: Simplify (- 0) into 0 9.777 * [backup-simplify]: Simplify (+ 0 0) into 0 9.777 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- z t))) into (- z t) 9.777 * [backup-simplify]: Simplify (- t) into (- t) 9.777 * [backup-simplify]: Simplify (+ a (- t)) into (- a t) 9.777 * [backup-simplify]: Simplify (/ (- z t) (- a t)) into (/ (- z t) (- a t)) 9.777 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) (- a t)) in t 9.777 * [taylor]: Taking taylor expansion of (* y (- z t)) in t 9.777 * [taylor]: Taking taylor expansion of y in t 9.777 * [backup-simplify]: Simplify y into y 9.777 * [taylor]: Taking taylor expansion of (- z t) in t 9.777 * [taylor]: Taking taylor expansion of z in t 9.777 * [backup-simplify]: Simplify z into z 9.777 * [taylor]: Taking taylor expansion of t in t 9.778 * [backup-simplify]: Simplify 0 into 0 9.778 * [backup-simplify]: Simplify 1 into 1 9.778 * [taylor]: Taking taylor expansion of (- a t) in t 9.778 * [taylor]: Taking taylor expansion of a in t 9.778 * [backup-simplify]: Simplify a into a 9.778 * [taylor]: Taking taylor expansion of t in t 9.778 * [backup-simplify]: Simplify 0 into 0 9.778 * [backup-simplify]: Simplify 1 into 1 9.778 * [backup-simplify]: Simplify (- 0) into 0 9.779 * [backup-simplify]: Simplify (+ z 0) into z 9.779 * [backup-simplify]: Simplify (* y z) into (* z y) 9.779 * [backup-simplify]: Simplify (- 0) into 0 9.779 * [backup-simplify]: Simplify (+ a 0) into a 9.780 * [backup-simplify]: Simplify (/ (* z y) a) into (/ (* z y) a) 9.780 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) (- a t)) in z 9.780 * [taylor]: Taking taylor expansion of (* y (- z t)) in z 9.780 * [taylor]: Taking taylor expansion of y in z 9.780 * [backup-simplify]: Simplify y into y 9.780 * [taylor]: Taking taylor expansion of (- z t) in z 9.780 * [taylor]: Taking taylor expansion of z in z 9.780 * [backup-simplify]: Simplify 0 into 0 9.780 * [backup-simplify]: Simplify 1 into 1 9.780 * [taylor]: Taking taylor expansion of t in z 9.780 * [backup-simplify]: Simplify t into t 9.780 * [taylor]: Taking taylor expansion of (- a t) in z 9.780 * [taylor]: Taking taylor expansion of a in z 9.780 * [backup-simplify]: Simplify a into a 9.780 * [taylor]: Taking taylor expansion of t in z 9.780 * [backup-simplify]: Simplify t into t 9.780 * [backup-simplify]: Simplify (- t) into (- t) 9.780 * [backup-simplify]: Simplify (+ 0 (- t)) into (- t) 9.780 * [backup-simplify]: Simplify (* y (- t)) into (* -1 (* t y)) 9.780 * [backup-simplify]: Simplify (- t) into (- t) 9.781 * [backup-simplify]: Simplify (+ a (- t)) into (- a t) 9.781 * [backup-simplify]: Simplify (/ (* -1 (* t y)) (- a t)) into (* -1 (/ (* t y) (- a t))) 9.781 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) (- a t)) in z 9.781 * [taylor]: Taking taylor expansion of (* y (- z t)) in z 9.781 * [taylor]: Taking taylor expansion of y in z 9.781 * [backup-simplify]: Simplify y into y 9.781 * [taylor]: Taking taylor expansion of (- z t) in z 9.781 * [taylor]: Taking taylor expansion of z in z 9.781 * [backup-simplify]: Simplify 0 into 0 9.781 * [backup-simplify]: Simplify 1 into 1 9.781 * [taylor]: Taking taylor expansion of t in z 9.781 * [backup-simplify]: Simplify t into t 9.781 * [taylor]: Taking taylor expansion of (- a t) in z 9.781 * [taylor]: Taking taylor expansion of a in z 9.781 * [backup-simplify]: Simplify a into a 9.781 * [taylor]: Taking taylor expansion of t in z 9.781 * [backup-simplify]: Simplify t into t 9.781 * [backup-simplify]: Simplify (- t) into (- t) 9.781 * [backup-simplify]: Simplify (+ 0 (- t)) into (- t) 9.781 * [backup-simplify]: Simplify (* y (- t)) into (* -1 (* t y)) 9.781 * [backup-simplify]: Simplify (- t) into (- t) 9.781 * [backup-simplify]: Simplify (+ a (- t)) into (- a t) 9.782 * [backup-simplify]: Simplify (/ (* -1 (* t y)) (- a t)) into (* -1 (/ (* t y) (- a t))) 9.782 * [taylor]: Taking taylor expansion of (* -1 (/ (* t y) (- a t))) in t 9.782 * [taylor]: Taking taylor expansion of -1 in t 9.782 * [backup-simplify]: Simplify -1 into -1 9.782 * [taylor]: Taking taylor expansion of (/ (* t y) (- a t)) in t 9.782 * [taylor]: Taking taylor expansion of (* t y) in t 9.782 * [taylor]: Taking taylor expansion of t in t 9.782 * [backup-simplify]: Simplify 0 into 0 9.782 * [backup-simplify]: Simplify 1 into 1 9.782 * [taylor]: Taking taylor expansion of y in t 9.782 * [backup-simplify]: Simplify y into y 9.782 * [taylor]: Taking taylor expansion of (- a t) in t 9.782 * [taylor]: Taking taylor expansion of a in t 9.782 * [backup-simplify]: Simplify a into a 9.782 * [taylor]: Taking taylor expansion of t in t 9.782 * [backup-simplify]: Simplify 0 into 0 9.782 * [backup-simplify]: Simplify 1 into 1 9.782 * [backup-simplify]: Simplify (* 0 y) into 0 9.783 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 9.783 * [backup-simplify]: Simplify (- 0) into 0 9.783 * [backup-simplify]: Simplify (+ a 0) into a 9.783 * [backup-simplify]: Simplify (/ y a) into (/ y a) 9.784 * [backup-simplify]: Simplify (- 0) into 0 9.784 * [backup-simplify]: Simplify (+ 1 0) into 1 9.784 * [backup-simplify]: Simplify (+ (* y 1) (* 0 (- t))) into y 9.785 * [backup-simplify]: Simplify (- 0) into 0 9.785 * [backup-simplify]: Simplify (+ 0 0) into 0 9.785 * [backup-simplify]: Simplify (- (/ y (- a t)) (+ (* (* -1 (/ (* t y) (- a t))) (/ 0 (- a t))))) into (/ y (- a t)) 9.785 * [taylor]: Taking taylor expansion of (/ y (- a t)) in t 9.785 * [taylor]: Taking taylor expansion of y in t 9.785 * [backup-simplify]: Simplify y into y 9.785 * [taylor]: Taking taylor expansion of (- a t) in t 9.785 * [taylor]: Taking taylor expansion of a in t 9.785 * [backup-simplify]: Simplify a into a 9.785 * [taylor]: Taking taylor expansion of t in t 9.786 * [backup-simplify]: Simplify 0 into 0 9.786 * [backup-simplify]: Simplify 1 into 1 9.786 * [backup-simplify]: Simplify (- 0) into 0 9.786 * [backup-simplify]: Simplify (+ a 0) into a 9.786 * [backup-simplify]: Simplify (/ y a) into (/ y a) 9.786 * [taylor]: Taking taylor expansion of (/ y a) in y 9.786 * [taylor]: Taking taylor expansion of y in y 9.786 * [backup-simplify]: Simplify 0 into 0 9.786 * [backup-simplify]: Simplify 1 into 1 9.786 * [taylor]: Taking taylor expansion of a in y 9.786 * [backup-simplify]: Simplify a into a 9.786 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 9.786 * [taylor]: Taking taylor expansion of (/ 1 a) in a 9.786 * [taylor]: Taking taylor expansion of a in a 9.786 * [backup-simplify]: Simplify 0 into 0 9.786 * [backup-simplify]: Simplify 1 into 1 9.787 * [backup-simplify]: Simplify (/ 1 1) into 1 9.788 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.788 * [backup-simplify]: Simplify 0 into 0 9.788 * [backup-simplify]: Simplify (* -1 (/ y a)) into (* -1 (/ y a)) 9.788 * [taylor]: Taking taylor expansion of (* -1 (/ y a)) in y 9.788 * [taylor]: Taking taylor expansion of -1 in y 9.788 * [backup-simplify]: Simplify -1 into -1 9.788 * [taylor]: Taking taylor expansion of (/ y a) in y 9.788 * [taylor]: Taking taylor expansion of y in y 9.788 * [backup-simplify]: Simplify 0 into 0 9.788 * [backup-simplify]: Simplify 1 into 1 9.788 * [taylor]: Taking taylor expansion of a in y 9.788 * [backup-simplify]: Simplify a into a 9.788 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 9.788 * [backup-simplify]: Simplify (* -1 (/ 1 a)) into (/ -1 a) 9.788 * [taylor]: Taking taylor expansion of (/ -1 a) in a 9.788 * [taylor]: Taking taylor expansion of -1 in a 9.788 * [backup-simplify]: Simplify -1 into -1 9.788 * [taylor]: Taking taylor expansion of a in a 9.788 * [backup-simplify]: Simplify 0 into 0 9.788 * [backup-simplify]: Simplify 1 into 1 9.789 * [backup-simplify]: Simplify (/ -1 1) into -1 9.790 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 9.790 * [backup-simplify]: Simplify 0 into 0 9.790 * [backup-simplify]: Simplify (- 0) into 0 9.790 * [backup-simplify]: Simplify (+ 0 0) into 0 9.791 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 1) (* 0 (- t)))) into 0 9.791 * [backup-simplify]: Simplify (- 0) into 0 9.792 * [backup-simplify]: Simplify (+ 0 0) into 0 9.792 * [backup-simplify]: Simplify (- (/ 0 (- a t)) (+ (* (* -1 (/ (* t y) (- a t))) (/ 0 (- a t))) (* (/ y (- a t)) (/ 0 (- a t))))) into 0 9.792 * [taylor]: Taking taylor expansion of 0 in t 9.792 * [backup-simplify]: Simplify 0 into 0 9.792 * [taylor]: Taking taylor expansion of 0 in y 9.792 * [backup-simplify]: Simplify 0 into 0 9.792 * [taylor]: Taking taylor expansion of 0 in a 9.792 * [backup-simplify]: Simplify 0 into 0 9.793 * [backup-simplify]: Simplify 0 into 0 9.793 * [backup-simplify]: Simplify (- 1) into -1 9.793 * [backup-simplify]: Simplify (+ 0 -1) into -1