0.394 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.319 * * * [progress]: [2/2] Setting up program. 0.327 * [progress]: [Phase 2 of 3] Improving. 0.327 * [simplify]: Simplifying: (* (* x (cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0))) (cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))) 0.328 * * [simplify]: Extracting # 0 : cost 0 0.328 * * [simplify]: Extracting # 1 : cost 0 0.328 * * [simplify]: Extracting # 2 : cost 0 0.328 * * [simplify]: Extracting # 3 : cost 0 0.328 * * [simplify]: Extracting # 4 : cost 0 0.328 * * [simplify]: Extracting # 5 : cost 0 0.328 * * [simplify]: Extracting # 6 : cost 0 0.328 * * [simplify]: Extracting # 7 : cost 0 0.328 * * [simplify]: Extracting # 8 : cost 0 0.328 * * [simplify]: Extracting # 9 : cost 0 0.328 * * [simplify]: Extracting # 10 : cost 0 0.328 * * [simplify]: Extracting # 11 : cost 0 0.329 * * [simplify]: Extracting # 12 : cost 0 0.329 * * [simplify]: iteration 0 : 23 enodes (cost 27 ) 0.336 * * [simplify]: Extracting # 0 : cost 0 0.336 * * [simplify]: Extracting # 1 : cost 0 0.336 * * [simplify]: Extracting # 2 : cost 0 0.336 * * [simplify]: iteration 1 : 42 enodes (cost 27 ) 0.351 * * [simplify]: Extracting # 0 : cost 0 0.352 * * [simplify]: Extracting # 1 : cost 0 0.352 * * [simplify]: Extracting # 2 : cost 0 0.352 * * [simplify]: iteration 2 : 98 enodes (cost 27 ) 0.413 * * [simplify]: Extracting # 0 : cost 0 0.413 * * [simplify]: Extracting # 1 : cost 0 0.414 * * [simplify]: Extracting # 2 : cost 0 0.414 * * [simplify]: iteration 3 : 221 enodes (cost 27 ) 0.508 * * [simplify]: Extracting # 0 : cost 0 0.509 * * [simplify]: Extracting # 1 : cost 0 0.510 * * [simplify]: Extracting # 2 : cost 0 0.510 * * [simplify]: iteration 4 : 391 enodes (cost 27 ) 0.651 * * [simplify]: Extracting # 0 : cost 0 0.652 * * [simplify]: Extracting # 1 : cost 0 0.653 * * [simplify]: Extracting # 2 : cost 0 0.654 * * [simplify]: iteration 5 : 608 enodes (cost 27 ) 0.861 * * [simplify]: Extracting # 0 : cost 0 0.862 * * [simplify]: Extracting # 1 : cost 0 0.862 * * [simplify]: Extracting # 2 : cost 0 0.863 * * [simplify]: iteration 6 : 826 enodes (cost 27 ) 1.204 * * [simplify]: Extracting # 0 : cost 0 1.204 * * [simplify]: Extracting # 1 : cost 0 1.205 * * [simplify]: Extracting # 2 : cost 0 1.206 * * [simplify]: iteration 7 : 982 enodes (cost 27 ) 1.775 * * [simplify]: Extracting # 0 : cost 0 1.775 * * [simplify]: Extracting # 1 : cost 0 1.776 * * [simplify]: Extracting # 2 : cost 0 1.777 * * [simplify]: iteration 8 : 1072 enodes (cost 27 ) 2.368 * * [simplify]: Extracting # 0 : cost 0 2.370 * * [simplify]: iteration 9 : 1216 enodes (cost 27 ) 2.987 * * [simplify]: Extracting # 0 : cost 0 2.988 * * [simplify]: iteration 10 : 1228 enodes (cost 27 ) 3.561 * * [simplify]: Extracting # 0 : cost 0 3.562 * * [simplify]: iteration done: 1228 enodes (cost 27 ) 3.562 * [simplify]: Simplified to: (* (* x (cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0))) (cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))) 3.562 * * [progress]: iteration 1 / 4 3.562 * * * [progress]: picking best candidate 3.566 * * * * [pick]: Picked # 3.566 * * * [progress]: localizing error 3.603 * * * [progress]: generating rewritten candidates 3.603 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 3.612 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 3.629 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1) 3.694 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1) 3.756 * * * [progress]: generating series expansions 3.756 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 3.756 * [backup-simplify]: Simplify (cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0)) into (cos (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b)))) 3.757 * [approximate]: Taking taylor expansion of (cos (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b)))) in (a b t) around 0 3.757 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b)))) in t 3.757 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b))) in t 3.757 * [taylor]: Taking taylor expansion of 0.0625 in t 3.757 * [backup-simplify]: Simplify 0.0625 into 0.0625 3.757 * [taylor]: Taking taylor expansion of (* t (* (+ (* 2.0 a) 1.0) b)) in t 3.757 * [taylor]: Taking taylor expansion of t in t 3.757 * [backup-simplify]: Simplify 0 into 0 3.757 * [backup-simplify]: Simplify 1 into 1 3.757 * [taylor]: Taking taylor expansion of (* (+ (* 2.0 a) 1.0) b) in t 3.757 * [taylor]: Taking taylor expansion of (+ (* 2.0 a) 1.0) in t 3.757 * [taylor]: Taking taylor expansion of (* 2.0 a) in t 3.757 * [taylor]: Taking taylor expansion of 2.0 in t 3.757 * [backup-simplify]: Simplify 2.0 into 2.0 3.757 * [taylor]: Taking taylor expansion of a in t 3.757 * [backup-simplify]: Simplify a into a 3.757 * [taylor]: Taking taylor expansion of 1.0 in t 3.757 * [backup-simplify]: Simplify 1.0 into 1.0 3.757 * [taylor]: Taking taylor expansion of b in t 3.757 * [backup-simplify]: Simplify b into b 3.757 * [backup-simplify]: Simplify (* 2.0 a) into (* 2.0 a) 3.757 * [backup-simplify]: Simplify (+ (* 2.0 a) 1.0) into (+ (* 2.0 a) 1.0) 3.757 * [backup-simplify]: Simplify (* (+ (* 2.0 a) 1.0) b) into (* (+ (* 2.0 a) 1.0) b) 3.757 * [backup-simplify]: Simplify (* 0 (* (+ (* 2.0 a) 1.0) b)) into 0 3.758 * [backup-simplify]: Simplify (* 0.0625 0) into 0 3.758 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 a)) into 0 3.758 * [backup-simplify]: Simplify (+ 0 0) into 0 3.758 * [backup-simplify]: Simplify (+ (* (+ (* 2.0 a) 1.0) 0) (* 0 b)) into 0 3.759 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (* (+ (* 2.0 a) 1.0) b))) into (+ (* 2.0 (* a b)) (* 1.0 b)) 3.759 * [backup-simplify]: Simplify (+ (* 0.0625 (+ (* 2.0 (* a b)) (* 1.0 b))) (* 0 0)) into (+ (* 0.125 (* a b)) (* 0.0625 b)) 3.759 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b)))) in b 3.759 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b))) in b 3.759 * [taylor]: Taking taylor expansion of 0.0625 in b 3.759 * [backup-simplify]: Simplify 0.0625 into 0.0625 3.759 * [taylor]: Taking taylor expansion of (* t (* (+ (* 2.0 a) 1.0) b)) in b 3.759 * [taylor]: Taking taylor expansion of t in b 3.759 * [backup-simplify]: Simplify t into t 3.759 * [taylor]: Taking taylor expansion of (* (+ (* 2.0 a) 1.0) b) in b 3.759 * [taylor]: Taking taylor expansion of (+ (* 2.0 a) 1.0) in b 3.759 * [taylor]: Taking taylor expansion of (* 2.0 a) in b 3.759 * [taylor]: Taking taylor expansion of 2.0 in b 3.759 * [backup-simplify]: Simplify 2.0 into 2.0 3.759 * [taylor]: Taking taylor expansion of a in b 3.759 * [backup-simplify]: Simplify a into a 3.759 * [taylor]: Taking taylor expansion of 1.0 in b 3.759 * [backup-simplify]: Simplify 1.0 into 1.0 3.759 * [taylor]: Taking taylor expansion of b in b 3.759 * [backup-simplify]: Simplify 0 into 0 3.759 * [backup-simplify]: Simplify 1 into 1 3.759 * [backup-simplify]: Simplify (* 2.0 a) into (* 2.0 a) 3.759 * [backup-simplify]: Simplify (+ (* 2.0 a) 1.0) into (+ (* 2.0 a) 1.0) 3.759 * [backup-simplify]: Simplify (* (+ (* 2.0 a) 1.0) 0) into 0 3.759 * [backup-simplify]: Simplify (* t 0) into 0 3.760 * [backup-simplify]: Simplify (* 0.0625 0) into 0 3.760 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 a)) into 0 3.760 * [backup-simplify]: Simplify (+ 0 0) into 0 3.761 * [backup-simplify]: Simplify (+ (* (+ (* 2.0 a) 1.0) 1) (* 0 0)) into (+ (* 2.0 a) 1.0) 3.761 * [backup-simplify]: Simplify (+ (* t (+ (* 2.0 a) 1.0)) (* 0 0)) into (+ (* 2.0 (* t a)) (* 1.0 t)) 3.761 * [backup-simplify]: Simplify (+ (* 0.0625 (+ (* 2.0 (* t a)) (* 1.0 t))) (* 0 0)) into (+ (* 0.125 (* t a)) (* 0.0625 t)) 3.761 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b)))) in a 3.761 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b))) in a 3.761 * [taylor]: Taking taylor expansion of 0.0625 in a 3.761 * [backup-simplify]: Simplify 0.0625 into 0.0625 3.761 * [taylor]: Taking taylor expansion of (* t (* (+ (* 2.0 a) 1.0) b)) in a 3.761 * [taylor]: Taking taylor expansion of t in a 3.761 * [backup-simplify]: Simplify t into t 3.761 * [taylor]: Taking taylor expansion of (* (+ (* 2.0 a) 1.0) b) in a 3.761 * [taylor]: Taking taylor expansion of (+ (* 2.0 a) 1.0) in a 3.761 * [taylor]: Taking taylor expansion of (* 2.0 a) in a 3.761 * [taylor]: Taking taylor expansion of 2.0 in a 3.762 * [backup-simplify]: Simplify 2.0 into 2.0 3.762 * [taylor]: Taking taylor expansion of a in a 3.762 * [backup-simplify]: Simplify 0 into 0 3.762 * [backup-simplify]: Simplify 1 into 1 3.762 * [taylor]: Taking taylor expansion of 1.0 in a 3.762 * [backup-simplify]: Simplify 1.0 into 1.0 3.762 * [taylor]: Taking taylor expansion of b in a 3.762 * [backup-simplify]: Simplify b into b 3.762 * [backup-simplify]: Simplify (* 2.0 0) into 0 3.762 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 3.762 * [backup-simplify]: Simplify (* 1.0 b) into (* 1.0 b) 3.762 * [backup-simplify]: Simplify (* t (* 1.0 b)) into (* 1.0 (* t b)) 3.762 * [backup-simplify]: Simplify (* 0.0625 (* 1.0 (* t b))) into (* 0.0625 (* t b)) 3.762 * [backup-simplify]: Simplify (cos (* 0.0625 (* t b))) into (cos (* 0.0625 (* t b))) 3.762 * [backup-simplify]: Simplify (sin (* 0.0625 (* t b))) into (sin (* 0.0625 (* t b))) 3.762 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b)))) in a 3.762 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b))) in a 3.763 * [taylor]: Taking taylor expansion of 0.0625 in a 3.763 * [backup-simplify]: Simplify 0.0625 into 0.0625 3.763 * [taylor]: Taking taylor expansion of (* t (* (+ (* 2.0 a) 1.0) b)) in a 3.763 * [taylor]: Taking taylor expansion of t in a 3.763 * [backup-simplify]: Simplify t into t 3.763 * [taylor]: Taking taylor expansion of (* (+ (* 2.0 a) 1.0) b) in a 3.763 * [taylor]: Taking taylor expansion of (+ (* 2.0 a) 1.0) in a 3.763 * [taylor]: Taking taylor expansion of (* 2.0 a) in a 3.763 * [taylor]: Taking taylor expansion of 2.0 in a 3.763 * [backup-simplify]: Simplify 2.0 into 2.0 3.763 * [taylor]: Taking taylor expansion of a in a 3.763 * [backup-simplify]: Simplify 0 into 0 3.763 * [backup-simplify]: Simplify 1 into 1 3.763 * [taylor]: Taking taylor expansion of 1.0 in a 3.763 * [backup-simplify]: Simplify 1.0 into 1.0 3.763 * [taylor]: Taking taylor expansion of b in a 3.763 * [backup-simplify]: Simplify b into b 3.763 * [backup-simplify]: Simplify (* 2.0 0) into 0 3.763 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 3.763 * [backup-simplify]: Simplify (* 1.0 b) into (* 1.0 b) 3.763 * [backup-simplify]: Simplify (* t (* 1.0 b)) into (* 1.0 (* t b)) 3.763 * [backup-simplify]: Simplify (* 0.0625 (* 1.0 (* t b))) into (* 0.0625 (* t b)) 3.764 * [backup-simplify]: Simplify (cos (* 0.0625 (* t b))) into (cos (* 0.0625 (* t b))) 3.764 * [backup-simplify]: Simplify (sin (* 0.0625 (* t b))) into (sin (* 0.0625 (* t b))) 3.764 * [backup-simplify]: Simplify (* (cos (* 0.0625 (* t b))) 1) into (cos (* 0.0625 (* t b))) 3.764 * [backup-simplify]: Simplify (* (sin (* 0.0625 (* t b))) 0) into 0 3.764 * [backup-simplify]: Simplify (- 0) into 0 3.764 * [backup-simplify]: Simplify (+ (cos (* 0.0625 (* t b))) 0) into (cos (* 0.0625 (* t b))) 3.764 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t b))) in b 3.764 * [taylor]: Taking taylor expansion of (* 0.0625 (* t b)) in b 3.764 * [taylor]: Taking taylor expansion of 0.0625 in b 3.764 * [backup-simplify]: Simplify 0.0625 into 0.0625 3.764 * [taylor]: Taking taylor expansion of (* t b) in b 3.764 * [taylor]: Taking taylor expansion of t in b 3.764 * [backup-simplify]: Simplify t into t 3.764 * [taylor]: Taking taylor expansion of b in b 3.764 * [backup-simplify]: Simplify 0 into 0 3.764 * [backup-simplify]: Simplify 1 into 1 3.764 * [backup-simplify]: Simplify (* t 0) into 0 3.765 * [backup-simplify]: Simplify (* 0.0625 0) into 0 3.765 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t 3.765 * [backup-simplify]: Simplify (+ (* 0.0625 t) (* 0 0)) into (* 0.0625 t) 3.765 * [taylor]: Taking taylor expansion of 1 in t 3.765 * [backup-simplify]: Simplify 1 into 1 3.765 * [backup-simplify]: Simplify 1 into 1 3.766 * [backup-simplify]: Simplify (+ 0) into 0 3.766 * [backup-simplify]: Simplify (+ (* (cos (* 0.0625 (* t b))) 0) (* 0 1)) into 0 3.767 * [backup-simplify]: Simplify (+ (* 2.0 1) (* 0 0)) into 2.0 3.767 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 3.767 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 2.0 b)) into (* 2.0 b) 3.768 * [backup-simplify]: Simplify (+ (* t (* 2.0 b)) (* 0 (* 1.0 b))) into (* 2.0 (* t b)) 3.768 * [backup-simplify]: Simplify (+ (* 0.0625 (* 2.0 (* t b))) (* 0 (* 1.0 (* t b)))) into (* 0.125 (* t b)) 3.768 * [backup-simplify]: Simplify (+ (* 1 (/ (pow (* 0.125 (* t b)) 1) 1))) into (* 0.125 (* t b)) 3.769 * [backup-simplify]: Simplify (+ (* (sin (* 0.0625 (* t b))) (* 0.125 (* t b))) (* 0 0)) into (* 0.125 (* t (* (sin (* 0.0625 (* t b))) b))) 3.769 * [backup-simplify]: Simplify (- (* 0.125 (* t (* (sin (* 0.0625 (* t b))) b)))) into (- (* 0.125 (* t (* (sin (* 0.0625 (* t b))) b)))) 3.769 * [backup-simplify]: Simplify (+ 0 (- (* 0.125 (* t (* (sin (* 0.0625 (* t b))) b))))) into (- (* 0.125 (* t (* (sin (* 0.0625 (* t b))) b)))) 3.769 * [taylor]: Taking taylor expansion of (- (* 0.125 (* t (* (sin (* 0.0625 (* t b))) b)))) in b 3.769 * [taylor]: Taking taylor expansion of (* 0.125 (* t (* (sin (* 0.0625 (* t b))) b))) in b 3.769 * [taylor]: Taking taylor expansion of 0.125 in b 3.769 * [backup-simplify]: Simplify 0.125 into 0.125 3.769 * [taylor]: Taking taylor expansion of (* t (* (sin (* 0.0625 (* t b))) b)) in b 3.769 * [taylor]: Taking taylor expansion of t in b 3.769 * [backup-simplify]: Simplify t into t 3.769 * [taylor]: Taking taylor expansion of (* (sin (* 0.0625 (* t b))) b) in b 3.769 * [taylor]: Taking taylor expansion of (sin (* 0.0625 (* t b))) in b 3.769 * [taylor]: Taking taylor expansion of (* 0.0625 (* t b)) in b 3.769 * [taylor]: Taking taylor expansion of 0.0625 in b 3.769 * [backup-simplify]: Simplify 0.0625 into 0.0625 3.769 * [taylor]: Taking taylor expansion of (* t b) in b 3.769 * [taylor]: Taking taylor expansion of t in b 3.769 * [backup-simplify]: Simplify t into t 3.769 * [taylor]: Taking taylor expansion of b in b 3.769 * [backup-simplify]: Simplify 0 into 0 3.769 * [backup-simplify]: Simplify 1 into 1 3.769 * [backup-simplify]: Simplify (* t 0) into 0 3.770 * [backup-simplify]: Simplify (* 0.0625 0) into 0 3.770 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t 3.770 * [backup-simplify]: Simplify (+ (* 0.0625 t) (* 0 0)) into (* 0.0625 t) 3.770 * [taylor]: Taking taylor expansion of b in b 3.770 * [backup-simplify]: Simplify 0 into 0 3.770 * [backup-simplify]: Simplify 1 into 1 3.771 * [backup-simplify]: Simplify (* 0 0) into 0 3.771 * [backup-simplify]: Simplify (* t 0) into 0 3.771 * [backup-simplify]: Simplify (* 0.125 0) into 0 3.771 * [backup-simplify]: Simplify (- 0) into 0 3.771 * [taylor]: Taking taylor expansion of 0 in t 3.771 * [backup-simplify]: Simplify 0 into 0 3.771 * [backup-simplify]: Simplify 0 into 0 3.771 * [backup-simplify]: Simplify (+ 0) into 0 3.771 * [taylor]: Taking taylor expansion of 0 in t 3.772 * [backup-simplify]: Simplify 0 into 0 3.772 * [backup-simplify]: Simplify 0 into 0 3.772 * [backup-simplify]: Simplify 0 into 0