0.092 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.081 * * * [progress]: [2/2] Setting up program. 0.084 * [progress]: [Phase 2 of 3] Improving. 0.084 * [simplify]: Simplifying: (* 2.0 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) 0.085 * * [simplify]: Extracting # 0 : cost 0 0.085 * * [simplify]: Extracting # 1 : cost 0 0.085 * * [simplify]: Extracting # 2 : cost 0 0.085 * * [simplify]: Extracting # 3 : cost 0 0.085 * * [simplify]: Extracting # 4 : cost 0 0.085 * * [simplify]: Extracting # 5 : cost 0 0.085 * * [simplify]: Extracting # 6 : cost 0 0.085 * * [simplify]: Extracting # 7 : cost 0 0.085 * * [simplify]: Extracting # 8 : cost 0 0.085 * * [simplify]: Extracting # 9 : cost 0 0.085 * * [simplify]: iteration 0 : 18 enodes (cost 19 ) 0.108 * * [simplify]: Extracting # 0 : cost 0 0.109 * * [simplify]: Extracting # 1 : cost 0 0.109 * * [simplify]: Extracting # 2 : cost 0 0.109 * * [simplify]: iteration 1 : 33 enodes (cost 18 ) 0.116 * * [simplify]: Extracting # 0 : cost 0 0.116 * * [simplify]: Extracting # 1 : cost 0 0.117 * * [simplify]: Extracting # 2 : cost 0 0.117 * * [simplify]: Extracting # 3 : cost 0 0.117 * * [simplify]: iteration 2 : 87 enodes (cost 17 ) 0.141 * * [simplify]: Extracting # 0 : cost 0 0.142 * * [simplify]: Extracting # 1 : cost 0 0.142 * * [simplify]: Extracting # 2 : cost 0 0.143 * * [simplify]: iteration 3 : 254 enodes (cost 17 ) 0.371 * * [simplify]: Extracting # 0 : cost 0 0.372 * * [simplify]: Extracting # 1 : cost 0 0.373 * * [simplify]: Extracting # 2 : cost 0 0.374 * * [simplify]: iteration 4 : 836 enodes (cost 17 ) 1.267 * * [simplify]: Extracting # 0 : cost 0 1.272 * * [simplify]: Extracting # 1 : cost 0 1.275 * * [simplify]: Extracting # 2 : cost 0 1.276 * * [simplify]: iteration 5 : 1983 enodes (cost 17 ) 4.977 * * [simplify]: Extracting # 0 : cost 0 4.986 * * [simplify]: Extracting # 1 : cost 0 4.991 * * [simplify]: Extracting # 2 : cost 0 4.996 * * [simplify]: iteration 6 : 3876 enodes (cost 17 ) 8.330 * * [simplify]: Extracting # 0 : cost 0 8.338 * * [simplify]: Extracting # 1 : cost 0 8.343 * * [simplify]: Extracting # 2 : cost 0 8.349 * * [simplify]: Extracting # 3 : cost 0 8.362 * * [simplify]: iteration 7 : 4749 enodes (cost 17 ) 9.760 * * [simplify]: Extracting # 0 : cost 0 9.765 * * [simplify]: Extracting # 1 : cost 0 9.768 * * [simplify]: Extracting # 2 : cost 0 9.771 * * [simplify]: iteration done: 5000 enodes (cost 17 ) 9.771 * [simplify]: Simplified to: (* 2.0 (fma y x (- (* z t) (* (* c (fma c b a)) i)))) 9.776 * * [progress]: iteration 1 / 4 9.776 * * * [progress]: picking best candidate 9.779 * * * * [pick]: Picked # 9.779 * * * [progress]: localizing error 9.810 * * * [progress]: generating rewritten candidates 9.810 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 3 2) 9.839 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 3 2 1) 9.847 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 9.848 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 3) 9.858 * * * [progress]: generating series expansions 9.859 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 3 2) 9.859 * [backup-simplify]: Simplify (* (* c (fma c b a)) i) into (* i (* (fma c b a) c)) 9.859 * [approximate]: Taking taylor expansion of (* i (* (fma c b a) c)) in (c b a i) around 0 9.859 * [taylor]: Taking taylor expansion of (* i (* (fma c b a) c)) in i 9.859 * [taylor]: Taking taylor expansion of i in i 9.859 * [backup-simplify]: Simplify 0 into 0 9.859 * [backup-simplify]: Simplify 1 into 1 9.859 * [taylor]: Taking taylor expansion of (* (fma c b a) c) in i 9.859 * [taylor]: Taking taylor expansion of (fma c b a) in i 9.859 * [taylor]: Rewrote expression to (+ (* c b) a) 9.859 * [taylor]: Taking taylor expansion of (* c b) in i 9.859 * [taylor]: Taking taylor expansion of c in i 9.859 * [backup-simplify]: Simplify c into c 9.859 * [taylor]: Taking taylor expansion of b in i 9.859 * [backup-simplify]: Simplify b into b 9.859 * [taylor]: Taking taylor expansion of a in i 9.859 * [backup-simplify]: Simplify a into a 9.859 * [taylor]: Taking taylor expansion of c in i 9.859 * [backup-simplify]: Simplify c into c 9.859 * [taylor]: Taking taylor expansion of (* i (* (fma c b a) c)) in a 9.859 * [taylor]: Taking taylor expansion of i in a 9.859 * [backup-simplify]: Simplify i into i 9.859 * [taylor]: Taking taylor expansion of (* (fma c b a) c) in a 9.859 * [taylor]: Taking taylor expansion of (fma c b a) in a 9.859 * [taylor]: Rewrote expression to (+ (* c b) a) 9.859 * [taylor]: Taking taylor expansion of (* c b) in a 9.859 * [taylor]: Taking taylor expansion of c in a 9.859 * [backup-simplify]: Simplify c into c 9.859 * [taylor]: Taking taylor expansion of b in a 9.859 * [backup-simplify]: Simplify b into b 9.859 * [taylor]: Taking taylor expansion of a in a 9.859 * [backup-simplify]: Simplify 0 into 0 9.859 * [backup-simplify]: Simplify 1 into 1 9.859 * [taylor]: Taking taylor expansion of c in a 9.859 * [backup-simplify]: Simplify c into c 9.860 * [taylor]: Taking taylor expansion of (* i (* (fma c b a) c)) in b 9.860 * [taylor]: Taking taylor expansion of i in b 9.860 * [backup-simplify]: Simplify i into i 9.860 * [taylor]: Taking taylor expansion of (* (fma c b a) c) in b 9.860 * [taylor]: Taking taylor expansion of (fma c b a) in b 9.860 * [taylor]: Rewrote expression to (+ (* c b) a) 9.860 * [taylor]: Taking taylor expansion of (* c b) in b 9.860 * [taylor]: Taking taylor expansion of c in b 9.860 * [backup-simplify]: Simplify c into c 9.860 * [taylor]: Taking taylor expansion of b in b 9.860 * [backup-simplify]: Simplify 0 into 0 9.860 * [backup-simplify]: Simplify 1 into 1 9.860 * [taylor]: Taking taylor expansion of a in b 9.860 * [backup-simplify]: Simplify a into a 9.860 * [taylor]: Taking taylor expansion of c in b 9.860 * [backup-simplify]: Simplify c into c 9.860 * [taylor]: Taking taylor expansion of (* i (* (fma c b a) c)) in c 9.860 * [taylor]: Taking taylor expansion of i in c 9.860 * [backup-simplify]: Simplify i into i 9.860 * [taylor]: Taking taylor expansion of (* (fma c b a) c) in c 9.860 * [taylor]: Taking taylor expansion of (fma c b a) in c 9.860 * [taylor]: Rewrote expression to (+ (* c b) a) 9.860 * [taylor]: Taking taylor expansion of (* c b) in c 9.860 * [taylor]: Taking taylor expansion of c in c 9.860 * [backup-simplify]: Simplify 0 into 0 9.860 * [backup-simplify]: Simplify 1 into 1 9.860 * [taylor]: Taking taylor expansion of b in c 9.860 * [backup-simplify]: Simplify b into b 9.860 * [taylor]: Taking taylor expansion of a in c 9.860 * [backup-simplify]: Simplify a into a 9.860 * [taylor]: Taking taylor expansion of c in c 9.860 * [backup-simplify]: Simplify 0 into 0 9.860 * [backup-simplify]: Simplify 1 into 1 9.860 * [taylor]: Taking taylor expansion of (* i (* (fma c b a) c)) in c 9.860 * [taylor]: Taking taylor expansion of i in c 9.860 * [backup-simplify]: Simplify i into i 9.860 * [taylor]: Taking taylor expansion of (* (fma c b a) c) in c 9.860 * [taylor]: Taking taylor expansion of (fma c b a) in c 9.860 * [taylor]: Rewrote expression to (+ (* c b) a) 9.860 * [taylor]: Taking taylor expansion of (* c b) in c 9.860 * [taylor]: Taking taylor expansion of c in c 9.860 * [backup-simplify]: Simplify 0 into 0 9.860 * [backup-simplify]: Simplify 1 into 1 9.860 * [taylor]: Taking taylor expansion of b in c 9.860 * [backup-simplify]: Simplify b into b 9.860 * [taylor]: Taking taylor expansion of a in c 9.860 * [backup-simplify]: Simplify a into a 9.860 * [taylor]: Taking taylor expansion of c in c 9.860 * [backup-simplify]: Simplify 0 into 0 9.860 * [backup-simplify]: Simplify 1 into 1 9.861 * [backup-simplify]: Simplify (* 0 b) into 0 9.861 * [backup-simplify]: Simplify (+ 0 a) into a 9.861 * [backup-simplify]: Simplify (* a 0) into 0 9.861 * [backup-simplify]: Simplify (* i 0) into 0 9.861 * [taylor]: Taking taylor expansion of 0 in b 9.861 * [backup-simplify]: Simplify 0 into 0 9.861 * [taylor]: Taking taylor expansion of 0 in a 9.861 * [backup-simplify]: Simplify 0 into 0 9.861 * [taylor]: Taking taylor expansion of 0 in i 9.861 * [backup-simplify]: Simplify 0 into 0 9.861 * [backup-simplify]: Simplify 0 into 0 9.861 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b 9.861 * [backup-simplify]: Simplify (+ b 0) into b 9.862 * [backup-simplify]: Simplify (+ (* a 1) (* b 0)) into a 9.862 * [backup-simplify]: Simplify (+ (* i a) (* 0 0)) into (* a i) 9.862 * [taylor]: Taking taylor expansion of (* a i) in b 9.862 * [taylor]: Taking taylor expansion of a in b 9.862 * [backup-simplify]: Simplify a into a 9.862 * [taylor]: Taking taylor expansion of i in b 9.862 * [backup-simplify]: Simplify i into i 9.862 * [backup-simplify]: Simplify (* a i) into (* a i) 9.862 * [taylor]: Taking taylor expansion of (* a i) in a 9.862 * [taylor]: Taking taylor expansion of a in a 9.862 * [backup-simplify]: Simplify 0 into 0 9.862 * [backup-simplify]: Simplify 1 into 1 9.862 * [taylor]: Taking taylor expansion of i in a 9.862 * [backup-simplify]: Simplify i into i 9.862 * [backup-simplify]: Simplify (* 0 i) into 0 9.862 * [taylor]: Taking taylor expansion of 0 in i 9.862 * [backup-simplify]: Simplify 0 into 0 9.862 * [backup-simplify]: Simplify 0 into 0 9.862 * [taylor]: Taking taylor expansion of 0 in a 9.862 * [backup-simplify]: Simplify 0 into 0 9.862 * [taylor]: Taking taylor expansion of 0 in i 9.862 * [backup-simplify]: Simplify 0 into 0 9.862 * [backup-simplify]: Simplify 0 into 0 9.862 * [taylor]: Taking taylor expansion of 0 in i 9.862 * [backup-simplify]: Simplify 0 into 0 9.862 * [backup-simplify]: Simplify 0 into 0 9.862 * [backup-simplify]: Simplify 0 into 0 9.863 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 b))) into 0 9.863 * [backup-simplify]: Simplify (+ 0 0) into 0 9.864 * [backup-simplify]: Simplify (+ (* a 0) (+ (* b 1) (* 0 0))) into b 9.864 * [backup-simplify]: Simplify (+ (* i b) (+ (* 0 a) (* 0 0))) into (* i b) 9.864 * [taylor]: Taking taylor expansion of (* i b) in b 9.864 * [taylor]: Taking taylor expansion of i in b 9.864 * [backup-simplify]: Simplify i into i 9.864 * [taylor]: Taking taylor expansion of b in b 9.864 * [backup-simplify]: Simplify 0 into 0 9.864 * [backup-simplify]: Simplify 1 into 1 9.864 * [backup-simplify]: Simplify (* i 0) into 0 9.864 * [taylor]: Taking taylor expansion of 0 in a 9.864 * [backup-simplify]: Simplify 0 into 0 9.864 * [taylor]: Taking taylor expansion of 0 in i 9.864 * [backup-simplify]: Simplify 0 into 0 9.864 * [backup-simplify]: Simplify 0 into 0 9.864 * [backup-simplify]: Simplify 0 into 0 9.865 * [backup-simplify]: Simplify (* (* (/ 1 c) (fma (/ 1 c) (/ 1 b) (/ 1 a))) (/ 1 i)) into (/ (fma (/ 1 c) (/ 1 b) (/ 1 a)) (* i c)) 9.865 * [approximate]: Taking taylor expansion of (/ (fma (/ 1 c) (/ 1 b) (/ 1 a)) (* i c)) in (c b a i) around 0 9.865 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 c) (/ 1 b) (/ 1 a)) (* i c)) in i 9.865 * [taylor]: Taking taylor expansion of (fma (/ 1 c) (/ 1 b) (/ 1 a)) in i 9.865 * [taylor]: Rewrote expression to (+ (* (/ 1 c) (/ 1 b)) (/ 1 a)) 9.865 * [taylor]: Taking taylor expansion of (* (/ 1 c) (/ 1 b)) in i 9.865 * [taylor]: Taking taylor expansion of (/ 1 c) in i 9.865 * [taylor]: Taking taylor expansion of c in i 9.865 * [backup-simplify]: Simplify c into c 9.865 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 9.865 * [taylor]: Taking taylor expansion of (/ 1 b) in i 9.865 * [taylor]: Taking taylor expansion of b in i 9.865 * [backup-simplify]: Simplify b into b 9.865 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 9.865 * [taylor]: Taking taylor expansion of (/ 1 a) in i 9.865 * [taylor]: Taking taylor expansion of a in i 9.865 * [backup-simplify]: Simplify a into a 9.865 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 9.865 * [taylor]: Taking taylor expansion of (* i c) in i 9.865 * [taylor]: Taking taylor expansion of i in i 9.865 * [backup-simplify]: Simplify 0 into 0 9.865 * [backup-simplify]: Simplify 1 into 1 9.865 * [taylor]: Taking taylor expansion of c in i 9.865 * [backup-simplify]: Simplify c into c 9.866 * [backup-simplify]: Simplify (* (/ 1 c) (/ 1 b)) into (/ 1 (* b c)) 9.866 * [backup-simplify]: Simplify (+ (/ 1 (* b c)) (/ 1 a)) into (+ (/ 1 a) (/ 1 (* b c))) 9.866 * [backup-simplify]: Simplify (* 0 c) into 0 9.866 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 c)) into c 9.866 * [backup-simplify]: Simplify (/ (+ (/ 1 a) (/ 1 (* b c))) c) into (/ (+ (/ 1 a) (/ 1 (* b c))) c) 9.866 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 c) (/ 1 b) (/ 1 a)) (* i c)) in a 9.866 * [taylor]: Taking taylor expansion of (fma (/ 1 c) (/ 1 b) (/ 1 a)) in a 9.866 * [taylor]: Rewrote expression to (+ (* (/ 1 c) (/ 1 b)) (/ 1 a)) 9.866 * [taylor]: Taking taylor expansion of (* (/ 1 c) (/ 1 b)) in a 9.866 * [taylor]: Taking taylor expansion of (/ 1 c) in a 9.866 * [taylor]: Taking taylor expansion of c in a 9.866 * [backup-simplify]: Simplify c into c 9.866 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 9.866 * [taylor]: Taking taylor expansion of (/ 1 b) in a 9.866 * [taylor]: Taking taylor expansion of b in a 9.867 * [backup-simplify]: Simplify b into b 9.867 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 9.867 * [taylor]: Taking taylor expansion of (/ 1 a) in a 9.867 * [taylor]: Taking taylor expansion of a in a 9.867 * [backup-simplify]: Simplify 0 into 0 9.867 * [backup-simplify]: Simplify 1 into 1 9.867 * [backup-simplify]: Simplify (/ 1 1) into 1 9.867 * [taylor]: Taking taylor expansion of (* i c) in a 9.867 * [taylor]: Taking taylor expansion of i in a 9.867 * [backup-simplify]: Simplify i into i 9.867 * [taylor]: Taking taylor expansion of c in a 9.867 * [backup-simplify]: Simplify c into c 9.867 * [backup-simplify]: Simplify (+ 0 1) into 1 9.867 * [backup-simplify]: Simplify (* i c) into (* i c) 9.867 * [backup-simplify]: Simplify (/ 1 (* i c)) into (/ 1 (* i c)) 9.867 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 c) (/ 1 b) (/ 1 a)) (* i c)) in b 9.867 * [taylor]: Taking taylor expansion of (fma (/ 1 c) (/ 1 b) (/ 1 a)) in b 9.868 * [taylor]: Rewrote expression to (+ (* (/ 1 c) (/ 1 b)) (/ 1 a)) 9.868 * [taylor]: Taking taylor expansion of (* (/ 1 c) (/ 1 b)) in b 9.868 * [taylor]: Taking taylor expansion of (/ 1 c) in b 9.868 * [taylor]: Taking taylor expansion of c in b 9.868 * [backup-simplify]: Simplify c into c 9.868 * [backup-simplify]: Simplify (/ 1 c) into (/ 1 c) 9.868 * [taylor]: Taking taylor expansion of (/ 1 b) in b 9.868 * [taylor]: Taking taylor expansion of b in b 9.868 * [backup-simplify]: Simplify 0 into 0 9.868 * [backup-simplify]: Simplify 1 into 1 9.868 * [backup-simplify]: Simplify (/ 1 1) into 1 9.868 * [taylor]: Taking taylor expansion of (/ 1 a) in b 9.868 * [taylor]: Taking taylor expansion of a in b 9.868 * [backup-simplify]: Simplify a into a 9.868 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 9.868 * [taylor]: Taking taylor expansion of (* i c) in b 9.868 * [taylor]: Taking taylor expansion of i in b 9.868 * [backup-simplify]: Simplify i into i 9.868 * [taylor]: Taking taylor expansion of c in b 9.868 * [backup-simplify]: Simplify c into c 9.868 * [backup-simplify]: Simplify (* (/ 1 c) 1) into (/ 1 c) 9.868 * [backup-simplify]: Simplify (+ (/ 1 c) 0) into (/ 1 c) 9.868 * [backup-simplify]: Simplify (* i c) into (* i c)