0.588 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.340 * * * [progress]: [2/2] Setting up program. 0.345 * [progress]: [Phase 2 of 3] Improving. 0.346 * [simplify]: Simplifying: (* (* x (cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0))) (cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))) 0.346 * * [simplify]: Extracting # 0 : cost 0 0.346 * * [simplify]: Extracting # 1 : cost 0 0.346 * * [simplify]: Extracting # 2 : cost 0 0.346 * * [simplify]: Extracting # 3 : cost 0 0.346 * * [simplify]: Extracting # 4 : cost 0 0.346 * * [simplify]: Extracting # 5 : cost 0 0.346 * * [simplify]: Extracting # 6 : cost 0 0.346 * * [simplify]: Extracting # 7 : cost 0 0.346 * * [simplify]: Extracting # 8 : cost 0 0.346 * * [simplify]: Extracting # 9 : cost 0 0.346 * * [simplify]: Extracting # 10 : cost 0 0.346 * * [simplify]: Extracting # 11 : cost 0 0.346 * * [simplify]: Extracting # 12 : cost 0 0.346 * * [simplify]: iteration 0 : 23 enodes (cost 27 ) 0.350 * * [simplify]: Extracting # 0 : cost 0 0.351 * * [simplify]: Extracting # 1 : cost 0 0.351 * * [simplify]: Extracting # 2 : cost 0 0.351 * * [simplify]: Extracting # 3 : cost 0 0.351 * * [simplify]: Extracting # 4 : cost 0 0.351 * * [simplify]: iteration 1 : 44 enodes (cost 25 ) 0.367 * * [simplify]: Extracting # 0 : cost 0 0.367 * * [simplify]: Extracting # 1 : cost 0 0.367 * * [simplify]: Extracting # 2 : cost 0 0.367 * * [simplify]: iteration 2 : 101 enodes (cost 25 ) 0.430 * * [simplify]: Extracting # 0 : cost 0 0.430 * * [simplify]: Extracting # 1 : cost 0 0.430 * * [simplify]: Extracting # 2 : cost 0 0.431 * * [simplify]: iteration 3 : 232 enodes (cost 25 ) 0.555 * * [simplify]: Extracting # 0 : cost 0 0.556 * * [simplify]: Extracting # 1 : cost 0 0.556 * * [simplify]: Extracting # 2 : cost 0 0.557 * * [simplify]: iteration 4 : 436 enodes (cost 25 ) 0.786 * * [simplify]: Extracting # 0 : cost 0 0.788 * * [simplify]: Extracting # 1 : cost 0 0.789 * * [simplify]: Extracting # 2 : cost 0 0.790 * * [simplify]: iteration 5 : 728 enodes (cost 25 ) 1.090 * * [simplify]: Extracting # 0 : cost 0 1.091 * * [simplify]: Extracting # 1 : cost 0 1.092 * * [simplify]: Extracting # 2 : cost 0 1.093 * * [simplify]: iteration 6 : 1012 enodes (cost 25 ) 1.516 * * [simplify]: Extracting # 0 : cost 0 1.517 * * [simplify]: Extracting # 1 : cost 0 1.518 * * [simplify]: Extracting # 2 : cost 0 1.519 * * [simplify]: iteration 7 : 1194 enodes (cost 25 ) 2.151 * * [simplify]: Extracting # 0 : cost 0 2.153 * * [simplify]: Extracting # 1 : cost 0 2.155 * * [simplify]: Extracting # 2 : cost 0 2.157 * * [simplify]: iteration 8 : 1292 enodes (cost 25 ) 3.068 * * [simplify]: Extracting # 0 : cost 0 3.071 * * [simplify]: iteration 9 : 1475 enodes (cost 25 ) 3.859 * * [simplify]: Extracting # 0 : cost 0 3.862 * * [simplify]: Extracting # 1 : cost 0 3.864 * * [simplify]: iteration 10 : 1511 enodes (cost 25 ) 4.569 * * [simplify]: Extracting # 0 : cost 0 4.571 * * [simplify]: iteration done: 1511 enodes (cost 25 ) 4.571 * [simplify]: Simplified to: (* (cos (/ (* (* (fma a 2.0 1.0) b) t) 16.0)) (* x (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0)))) 4.582 * * [progress]: iteration 1 / 4 4.582 * * * [progress]: picking best candidate 4.590 * * * * [pick]: Picked # 4.590 * * * [progress]: localizing error 4.634 * * * [progress]: generating rewritten candidates 4.634 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 4.640 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 4.645 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1) 4.706 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1) 4.757 * * * [progress]: generating series expansions 4.757 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 4.758 * [backup-simplify]: Simplify (cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0)) into (cos (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b)))) 4.758 * [approximate]: Taking taylor expansion of (cos (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b)))) in (a b t) around 0 4.758 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b)))) in t 4.758 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b))) in t 4.758 * [taylor]: Taking taylor expansion of 0.0625 in t 4.758 * [backup-simplify]: Simplify 0.0625 into 0.0625 4.758 * [taylor]: Taking taylor expansion of (* t (* (+ (* 2.0 a) 1.0) b)) in t 4.758 * [taylor]: Taking taylor expansion of t in t 4.758 * [backup-simplify]: Simplify 0 into 0 4.758 * [backup-simplify]: Simplify 1 into 1 4.758 * [taylor]: Taking taylor expansion of (* (+ (* 2.0 a) 1.0) b) in t 4.758 * [taylor]: Taking taylor expansion of (+ (* 2.0 a) 1.0) in t 4.758 * [taylor]: Taking taylor expansion of (* 2.0 a) in t 4.758 * [taylor]: Taking taylor expansion of 2.0 in t 4.758 * [backup-simplify]: Simplify 2.0 into 2.0 4.758 * [taylor]: Taking taylor expansion of a in t 4.758 * [backup-simplify]: Simplify a into a 4.758 * [taylor]: Taking taylor expansion of 1.0 in t 4.758 * [backup-simplify]: Simplify 1.0 into 1.0 4.758 * [taylor]: Taking taylor expansion of b in t 4.758 * [backup-simplify]: Simplify b into b 4.758 * [backup-simplify]: Simplify (* 2.0 a) into (* 2.0 a) 4.759 * [backup-simplify]: Simplify (+ (* 2.0 a) 1.0) into (+ (* 2.0 a) 1.0) 4.759 * [backup-simplify]: Simplify (* (+ (* 2.0 a) 1.0) b) into (* (+ (* 2.0 a) 1.0) b) 4.759 * [backup-simplify]: Simplify (* 0 (* (+ (* 2.0 a) 1.0) b)) into 0 4.760 * [backup-simplify]: Simplify (* 0.0625 0) into 0 4.760 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 a)) into 0 4.761 * [backup-simplify]: Simplify (+ 0 0) into 0 4.761 * [backup-simplify]: Simplify (+ (* (+ (* 2.0 a) 1.0) 0) (* 0 b)) into 0 4.761 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (* (+ (* 2.0 a) 1.0) b))) into (+ (* 2.0 (* a b)) (* 1.0 b)) 4.762 * [backup-simplify]: Simplify (+ (* 0.0625 (+ (* 2.0 (* a b)) (* 1.0 b))) (* 0 0)) into (+ (* 0.125 (* a b)) (* 0.0625 b)) 4.762 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b)))) in b 4.762 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b))) in b 4.762 * [taylor]: Taking taylor expansion of 0.0625 in b 4.762 * [backup-simplify]: Simplify 0.0625 into 0.0625 4.762 * [taylor]: Taking taylor expansion of (* t (* (+ (* 2.0 a) 1.0) b)) in b 4.762 * [taylor]: Taking taylor expansion of t in b 4.762 * [backup-simplify]: Simplify t into t 4.762 * [taylor]: Taking taylor expansion of (* (+ (* 2.0 a) 1.0) b) in b 4.762 * [taylor]: Taking taylor expansion of (+ (* 2.0 a) 1.0) in b 4.762 * [taylor]: Taking taylor expansion of (* 2.0 a) in b 4.762 * [taylor]: Taking taylor expansion of 2.0 in b 4.762 * [backup-simplify]: Simplify 2.0 into 2.0 4.763 * [taylor]: Taking taylor expansion of a in b 4.763 * [backup-simplify]: Simplify a into a 4.763 * [taylor]: Taking taylor expansion of 1.0 in b 4.763 * [backup-simplify]: Simplify 1.0 into 1.0 4.763 * [taylor]: Taking taylor expansion of b in b 4.763 * [backup-simplify]: Simplify 0 into 0 4.763 * [backup-simplify]: Simplify 1 into 1 4.763 * [backup-simplify]: Simplify (* 2.0 a) into (* 2.0 a) 4.763 * [backup-simplify]: Simplify (+ (* 2.0 a) 1.0) into (+ (* 2.0 a) 1.0) 4.763 * [backup-simplify]: Simplify (* (+ (* 2.0 a) 1.0) 0) into 0 4.763 * [backup-simplify]: Simplify (* t 0) into 0 4.764 * [backup-simplify]: Simplify (* 0.0625 0) into 0 4.764 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 a)) into 0 4.764 * [backup-simplify]: Simplify (+ 0 0) into 0 4.765 * [backup-simplify]: Simplify (+ (* (+ (* 2.0 a) 1.0) 1) (* 0 0)) into (+ (* 2.0 a) 1.0) 4.766 * [backup-simplify]: Simplify (+ (* t (+ (* 2.0 a) 1.0)) (* 0 0)) into (+ (* 2.0 (* t a)) (* 1.0 t)) 4.766 * [backup-simplify]: Simplify (+ (* 0.0625 (+ (* 2.0 (* t a)) (* 1.0 t))) (* 0 0)) into (+ (* 0.125 (* t a)) (* 0.0625 t)) 4.766 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b)))) in a 4.766 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b))) in a 4.766 * [taylor]: Taking taylor expansion of 0.0625 in a 4.766 * [backup-simplify]: Simplify 0.0625 into 0.0625 4.766 * [taylor]: Taking taylor expansion of (* t (* (+ (* 2.0 a) 1.0) b)) in a 4.766 * [taylor]: Taking taylor expansion of t in a 4.766 * [backup-simplify]: Simplify t into t 4.766 * [taylor]: Taking taylor expansion of (* (+ (* 2.0 a) 1.0) b) in a 4.767 * [taylor]: Taking taylor expansion of (+ (* 2.0 a) 1.0) in a 4.767 * [taylor]: Taking taylor expansion of (* 2.0 a) in a 4.767 * [taylor]: Taking taylor expansion of 2.0 in a 4.767 * [backup-simplify]: Simplify 2.0 into 2.0 4.767 * [taylor]: Taking taylor expansion of a in a 4.767 * [backup-simplify]: Simplify 0 into 0 4.767 * [backup-simplify]: Simplify 1 into 1 4.767 * [taylor]: Taking taylor expansion of 1.0 in a 4.767 * [backup-simplify]: Simplify 1.0 into 1.0 4.767 * [taylor]: Taking taylor expansion of b in a 4.767 * [backup-simplify]: Simplify b into b 4.767 * [backup-simplify]: Simplify (* 2.0 0) into 0 4.768 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 4.768 * [backup-simplify]: Simplify (* 1.0 b) into (* 1.0 b) 4.768 * [backup-simplify]: Simplify (* t (* 1.0 b)) into (* 1.0 (* t b)) 4.768 * [backup-simplify]: Simplify (* 0.0625 (* 1.0 (* t b))) into (* 0.0625 (* t b)) 4.768 * [backup-simplify]: Simplify (cos (* 0.0625 (* t b))) into (cos (* 0.0625 (* t b))) 4.768 * [backup-simplify]: Simplify (sin (* 0.0625 (* t b))) into (sin (* 0.0625 (* t b))) 4.768 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b)))) in a 4.768 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b))) in a 4.768 * [taylor]: Taking taylor expansion of 0.0625 in a 4.768 * [backup-simplify]: Simplify 0.0625 into 0.0625 4.768 * [taylor]: Taking taylor expansion of (* t (* (+ (* 2.0 a) 1.0) b)) in a 4.768 * [taylor]: Taking taylor expansion of t in a 4.769 * [backup-simplify]: Simplify t into t 4.769 * [taylor]: Taking taylor expansion of (* (+ (* 2.0 a) 1.0) b) in a 4.769 * [taylor]: Taking taylor expansion of (+ (* 2.0 a) 1.0) in a 4.769 * [taylor]: Taking taylor expansion of (* 2.0 a) in a 4.769 * [taylor]: Taking taylor expansion of 2.0 in a 4.769 * [backup-simplify]: Simplify 2.0 into 2.0 4.769 * [taylor]: Taking taylor expansion of a in a 4.769 * [backup-simplify]: Simplify 0 into 0 4.769 * [backup-simplify]: Simplify 1 into 1 4.769 * [taylor]: Taking taylor expansion of 1.0 in a 4.769 * [backup-simplify]: Simplify 1.0 into 1.0 4.769 * [taylor]: Taking taylor expansion of b in a 4.769 * [backup-simplify]: Simplify b into b 4.769 * [backup-simplify]: Simplify (* 2.0 0) into 0 4.770 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 4.770 * [backup-simplify]: Simplify (* 1.0 b) into (* 1.0 b) 4.770 * [backup-simplify]: Simplify (* t (* 1.0 b)) into (* 1.0 (* t b)) 4.770 * [backup-simplify]: Simplify (* 0.0625 (* 1.0 (* t b))) into (* 0.0625 (* t b)) 4.770 * [backup-simplify]: Simplify (cos (* 0.0625 (* t b))) into (cos (* 0.0625 (* t b))) 4.770 * [backup-simplify]: Simplify (sin (* 0.0625 (* t b))) into (sin (* 0.0625 (* t b))) 4.771 * [backup-simplify]: Simplify (* (cos (* 0.0625 (* t b))) 1) into (cos (* 0.0625 (* t b))) 4.771 * [backup-simplify]: Simplify (* (sin (* 0.0625 (* t b))) 0) into 0 4.771 * [backup-simplify]: Simplify (- 0) into 0 4.771 * [backup-simplify]: Simplify (+ (cos (* 0.0625 (* t b))) 0) into (cos (* 0.0625 (* t b))) 4.771 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t b))) in b 4.772 * [taylor]: Taking taylor expansion of (* 0.0625 (* t b)) in b 4.772 * [taylor]: Taking taylor expansion of 0.0625 in b 4.772 * [backup-simplify]: Simplify 0.0625 into 0.0625 4.772 * [taylor]: Taking taylor expansion of (* t b) in b 4.772 * [taylor]: Taking taylor expansion of t in b 4.772 * [backup-simplify]: Simplify t into t 4.772 * [taylor]: Taking taylor expansion of b in b 4.772 * [backup-simplify]: Simplify 0 into 0 4.772 * [backup-simplify]: Simplify 1 into 1 4.772 * [backup-simplify]: Simplify (* t 0) into 0 4.772 * [backup-simplify]: Simplify (* 0.0625 0) into 0 4.773 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t 4.773 * [backup-simplify]: Simplify (+ (* 0.0625 t) (* 0 0)) into (* 0.0625 t) 4.773 * [taylor]: Taking taylor expansion of 1 in t 4.773 * [backup-simplify]: Simplify 1 into 1 4.773 * [backup-simplify]: Simplify 1 into 1 4.774 * [backup-simplify]: Simplify (+ 0) into 0 4.774 * [backup-simplify]: Simplify (+ (* (cos (* 0.0625 (* t b))) 0) (* 0 1)) into 0 4.776 * [backup-simplify]: Simplify (+ (* 2.0 1) (* 0 0)) into 2.0 4.776 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 4.777 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 2.0 b)) into (* 2.0 b) 4.777 * [backup-simplify]: Simplify (+ (* t (* 2.0 b)) (* 0 (* 1.0 b))) into (* 2.0 (* t b)) 4.777 * [backup-simplify]: Simplify (+ (* 0.0625 (* 2.0 (* t b))) (* 0 (* 1.0 (* t b)))) into (* 0.125 (* t b)) 4.778 * [backup-simplify]: Simplify (+ (* 1 (/ (pow (* 0.125 (* t b)) 1) 1))) into (* 0.125 (* t b)) 4.778 * [backup-simplify]: Simplify (+ (* (sin (* 0.0625 (* t b))) (* 0.125 (* t b))) (* 0 0)) into (* 0.125 (* t (* (sin (* 0.0625 (* t b))) b))) 4.778 * [backup-simplify]: Simplify (- (* 0.125 (* t (* (sin (* 0.0625 (* t b))) b)))) into (- (* 0.125 (* t (* (sin (* 0.0625 (* t b))) b)))) 4.779 * [backup-simplify]: Simplify (+ 0 (- (* 0.125 (* t (* (sin (* 0.0625 (* t b))) b))))) into (- (* 0.125 (* t (* (sin (* 0.0625 (* t b))) b)))) 4.779 * [taylor]: Taking taylor expansion of (- (* 0.125 (* t (* (sin (* 0.0625 (* t b))) b)))) in b 4.779 * [taylor]: Taking taylor expansion of (* 0.125 (* t (* (sin (* 0.0625 (* t b))) b))) in b 4.779 * [taylor]: Taking taylor expansion of 0.125 in b 4.779 * [backup-simplify]: Simplify 0.125 into 0.125 4.779 * [taylor]: Taking taylor expansion of (* t (* (sin (* 0.0625 (* t b))) b)) in b 4.779 * [taylor]: Taking taylor expansion of t in b 4.779 * [backup-simplify]: Simplify t into t 4.779 * [taylor]: Taking taylor expansion of (* (sin (* 0.0625 (* t b))) b) in b 4.779 * [taylor]: Taking taylor expansion of (sin (* 0.0625 (* t b))) in b 4.779 * [taylor]: Taking taylor expansion of (* 0.0625 (* t b)) in b 4.779 * [taylor]: Taking taylor expansion of 0.0625 in b 4.779 * [backup-simplify]: Simplify 0.0625 into 0.0625 4.779 * [taylor]: Taking taylor expansion of (* t b) in b 4.779 * [taylor]: Taking taylor expansion of t in b 4.779 * [backup-simplify]: Simplify t into t 4.779 * [taylor]: Taking taylor expansion of b in b 4.779 * [backup-simplify]: Simplify 0 into 0 4.779 * [backup-simplify]: Simplify 1 into 1 4.779 * [backup-simplify]: Simplify (* t 0) into 0 4.779 * [backup-simplify]: Simplify (* 0.0625 0) into 0 4.780 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t 4.780 * [backup-simplify]: Simplify (+ (* 0.0625 t) (* 0 0)) into (* 0.0625 t) 4.780 * [taylor]: Taking taylor expansion of b in b 4.780 * [backup-simplify]: Simplify 0 into 0 4.780 * [backup-simplify]: Simplify 1 into 1 4.780 * [backup-simplify]: Simplify (* 0 0) into 0 4.780 * [backup-simplify]: Simplify (* t 0) into 0 4.781 * [backup-simplify]: Simplify (* 0.125 0) into 0 4.781 * [backup-simplify]: Simplify (- 0) into 0 4.781 * [taylor]: Taking taylor expansion of 0 in t 4.781 * [backup-simplify]: Simplify 0 into 0 4.781 * [backup-simplify]: Simplify 0 into 0 4.781 * [backup-simplify]: Simplify (+ 0) into 0 4.781 * [taylor]: Taking taylor expansion of 0 in t 4.781 * [backup-simplify]: Simplify 0 into 0 4.781 * [backup-simplify]: Simplify 0 into 0 4.781 * [backup-simplify]: Simplify 0 into 0