0.563 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.761 * * * [progress]: [2/2] Setting up program. 0.769 * [progress]: [Phase 2 of 3] Improving. 0.770 * [simplify]: Simplifying: (* (* x (cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0))) (cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))) 0.770 * * [simplify]: Extracting # 0 : cost 0 0.770 * * [simplify]: Extracting # 1 : cost 0 0.770 * * [simplify]: Extracting # 2 : cost 0 0.770 * * [simplify]: Extracting # 3 : cost 0 0.770 * * [simplify]: Extracting # 4 : cost 0 0.770 * * [simplify]: Extracting # 5 : cost 0 0.770 * * [simplify]: Extracting # 6 : cost 0 0.770 * * [simplify]: Extracting # 7 : cost 0 0.770 * * [simplify]: Extracting # 8 : cost 0 0.771 * * [simplify]: Extracting # 9 : cost 0 0.771 * * [simplify]: Extracting # 10 : cost 0 0.771 * * [simplify]: Extracting # 11 : cost 0 0.771 * * [simplify]: Extracting # 12 : cost 0 0.771 * * [simplify]: iteration 0 : 23 enodes (cost 27 ) 0.778 * * [simplify]: Extracting # 0 : cost 0 0.778 * * [simplify]: Extracting # 1 : cost 0 0.778 * * [simplify]: Extracting # 2 : cost 0 0.778 * * [simplify]: Extracting # 3 : cost 0 0.778 * * [simplify]: Extracting # 4 : cost 0 0.778 * * [simplify]: iteration 1 : 44 enodes (cost 25 ) 0.795 * * [simplify]: Extracting # 0 : cost 0 0.795 * * [simplify]: Extracting # 1 : cost 0 0.795 * * [simplify]: Extracting # 2 : cost 0 0.795 * * [simplify]: iteration 2 : 101 enodes (cost 25 ) 0.843 * * [simplify]: Extracting # 0 : cost 0 0.844 * * [simplify]: Extracting # 1 : cost 0 0.844 * * [simplify]: Extracting # 2 : cost 0 0.845 * * [simplify]: iteration 3 : 232 enodes (cost 25 ) 0.960 * * [simplify]: Extracting # 0 : cost 0 0.961 * * [simplify]: Extracting # 1 : cost 0 0.961 * * [simplify]: Extracting # 2 : cost 0 0.967 * * [simplify]: iteration 4 : 436 enodes (cost 25 ) 1.163 * * [simplify]: Extracting # 0 : cost 0 1.163 * * [simplify]: Extracting # 1 : cost 0 1.164 * * [simplify]: Extracting # 2 : cost 0 1.164 * * [simplify]: iteration 5 : 728 enodes (cost 25 ) 1.456 * * [simplify]: Extracting # 0 : cost 0 1.458 * * [simplify]: Extracting # 1 : cost 0 1.460 * * [simplify]: Extracting # 2 : cost 0 1.461 * * [simplify]: iteration 6 : 1012 enodes (cost 25 ) 1.874 * * [simplify]: Extracting # 0 : cost 0 1.875 * * [simplify]: Extracting # 1 : cost 0 1.876 * * [simplify]: Extracting # 2 : cost 0 1.876 * * [simplify]: iteration 7 : 1194 enodes (cost 25 ) 2.472 * * [simplify]: Extracting # 0 : cost 0 2.473 * * [simplify]: Extracting # 1 : cost 0 2.473 * * [simplify]: Extracting # 2 : cost 0 2.474 * * [simplify]: iteration 8 : 1292 enodes (cost 25 ) 3.170 * * [simplify]: Extracting # 0 : cost 0 3.173 * * [simplify]: iteration 9 : 1475 enodes (cost 25 ) 3.817 * * [simplify]: Extracting # 0 : cost 0 3.818 * * [simplify]: Extracting # 1 : cost 0 3.819 * * [simplify]: iteration 10 : 1511 enodes (cost 25 ) 4.455 * * [simplify]: Extracting # 0 : cost 0 4.456 * * [simplify]: iteration done: 1511 enodes (cost 25 ) 4.456 * [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.466 * * [progress]: iteration 1 / 4 4.466 * * * [progress]: picking best candidate 4.474 * * * * [pick]: Picked # 4.474 * * * [progress]: localizing error 4.520 * * * [progress]: generating rewritten candidates 4.520 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 4.525 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 4.530 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1) 4.584 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1) 4.640 * * * [progress]: generating series expansions 4.640 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 4.641 * [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.641 * [approximate]: Taking taylor expansion of (cos (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b)))) in (a b t) around 0 4.641 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b)))) in t 4.641 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b))) in t 4.641 * [taylor]: Taking taylor expansion of 0.0625 in t 4.641 * [backup-simplify]: Simplify 0.0625 into 0.0625 4.641 * [taylor]: Taking taylor expansion of (* t (* (+ (* 2.0 a) 1.0) b)) in t 4.641 * [taylor]: Taking taylor expansion of t in t 4.641 * [backup-simplify]: Simplify 0 into 0 4.641 * [backup-simplify]: Simplify 1 into 1 4.641 * [taylor]: Taking taylor expansion of (* (+ (* 2.0 a) 1.0) b) in t 4.641 * [taylor]: Taking taylor expansion of (+ (* 2.0 a) 1.0) in t 4.641 * [taylor]: Taking taylor expansion of (* 2.0 a) in t 4.641 * [taylor]: Taking taylor expansion of 2.0 in t 4.642 * [backup-simplify]: Simplify 2.0 into 2.0 4.642 * [taylor]: Taking taylor expansion of a in t 4.642 * [backup-simplify]: Simplify a into a 4.642 * [taylor]: Taking taylor expansion of 1.0 in t 4.642 * [backup-simplify]: Simplify 1.0 into 1.0 4.642 * [taylor]: Taking taylor expansion of b in t 4.642 * [backup-simplify]: Simplify b into b 4.642 * [backup-simplify]: Simplify (* 2.0 a) into (* 2.0 a) 4.642 * [backup-simplify]: Simplify (+ (* 2.0 a) 1.0) into (+ (* 2.0 a) 1.0) 4.642 * [backup-simplify]: Simplify (* (+ (* 2.0 a) 1.0) b) into (* (+ (* 2.0 a) 1.0) b) 4.642 * [backup-simplify]: Simplify (* 0 (* (+ (* 2.0 a) 1.0) b)) into 0 4.643 * [backup-simplify]: Simplify (* 0.0625 0) into 0 4.643 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 a)) into 0 4.644 * [backup-simplify]: Simplify (+ 0 0) into 0 4.644 * [backup-simplify]: Simplify (+ (* (+ (* 2.0 a) 1.0) 0) (* 0 b)) into 0 4.644 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (* (+ (* 2.0 a) 1.0) b))) into (+ (* 2.0 (* a b)) (* 1.0 b)) 4.645 * [backup-simplify]: Simplify (+ (* 0.0625 (+ (* 2.0 (* a b)) (* 1.0 b))) (* 0 0)) into (+ (* 0.125 (* a b)) (* 0.0625 b)) 4.645 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b)))) in b 4.645 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b))) in b 4.645 * [taylor]: Taking taylor expansion of 0.0625 in b 4.645 * [backup-simplify]: Simplify 0.0625 into 0.0625 4.645 * [taylor]: Taking taylor expansion of (* t (* (+ (* 2.0 a) 1.0) b)) in b 4.645 * [taylor]: Taking taylor expansion of t in b 4.645 * [backup-simplify]: Simplify t into t 4.645 * [taylor]: Taking taylor expansion of (* (+ (* 2.0 a) 1.0) b) in b 4.645 * [taylor]: Taking taylor expansion of (+ (* 2.0 a) 1.0) in b 4.645 * [taylor]: Taking taylor expansion of (* 2.0 a) in b 4.645 * [taylor]: Taking taylor expansion of 2.0 in b 4.645 * [backup-simplify]: Simplify 2.0 into 2.0 4.645 * [taylor]: Taking taylor expansion of a in b 4.645 * [backup-simplify]: Simplify a into a 4.645 * [taylor]: Taking taylor expansion of 1.0 in b 4.645 * [backup-simplify]: Simplify 1.0 into 1.0 4.645 * [taylor]: Taking taylor expansion of b in b 4.645 * [backup-simplify]: Simplify 0 into 0 4.646 * [backup-simplify]: Simplify 1 into 1 4.646 * [backup-simplify]: Simplify (* 2.0 a) into (* 2.0 a) 4.646 * [backup-simplify]: Simplify (+ (* 2.0 a) 1.0) into (+ (* 2.0 a) 1.0) 4.646 * [backup-simplify]: Simplify (* (+ (* 2.0 a) 1.0) 0) into 0 4.646 * [backup-simplify]: Simplify (* t 0) into 0 4.646 * [backup-simplify]: Simplify (* 0.0625 0) into 0 4.647 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 a)) into 0 4.647 * [backup-simplify]: Simplify (+ 0 0) into 0 4.647 * [backup-simplify]: Simplify (+ (* (+ (* 2.0 a) 1.0) 1) (* 0 0)) into (+ (* 2.0 a) 1.0) 4.648 * [backup-simplify]: Simplify (+ (* t (+ (* 2.0 a) 1.0)) (* 0 0)) into (+ (* 2.0 (* t a)) (* 1.0 t)) 4.649 * [backup-simplify]: Simplify (+ (* 0.0625 (+ (* 2.0 (* t a)) (* 1.0 t))) (* 0 0)) into (+ (* 0.125 (* t a)) (* 0.0625 t)) 4.649 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b)))) in a 4.649 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b))) in a 4.649 * [taylor]: Taking taylor expansion of 0.0625 in a 4.649 * [backup-simplify]: Simplify 0.0625 into 0.0625 4.649 * [taylor]: Taking taylor expansion of (* t (* (+ (* 2.0 a) 1.0) b)) in a 4.649 * [taylor]: Taking taylor expansion of t in a 4.649 * [backup-simplify]: Simplify t into t 4.649 * [taylor]: Taking taylor expansion of (* (+ (* 2.0 a) 1.0) b) in a 4.649 * [taylor]: Taking taylor expansion of (+ (* 2.0 a) 1.0) in a 4.649 * [taylor]: Taking taylor expansion of (* 2.0 a) in a 4.649 * [taylor]: Taking taylor expansion of 2.0 in a 4.649 * [backup-simplify]: Simplify 2.0 into 2.0 4.649 * [taylor]: Taking taylor expansion of a in a 4.649 * [backup-simplify]: Simplify 0 into 0 4.649 * [backup-simplify]: Simplify 1 into 1 4.649 * [taylor]: Taking taylor expansion of 1.0 in a 4.649 * [backup-simplify]: Simplify 1.0 into 1.0 4.649 * [taylor]: Taking taylor expansion of b in a 4.649 * [backup-simplify]: Simplify b into b 4.650 * [backup-simplify]: Simplify (* 2.0 0) into 0 4.650 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 4.650 * [backup-simplify]: Simplify (* 1.0 b) into (* 1.0 b) 4.650 * [backup-simplify]: Simplify (* t (* 1.0 b)) into (* 1.0 (* t b)) 4.650 * [backup-simplify]: Simplify (* 0.0625 (* 1.0 (* t b))) into (* 0.0625 (* t b)) 4.650 * [backup-simplify]: Simplify (cos (* 0.0625 (* t b))) into (cos (* 0.0625 (* t b))) 4.650 * [backup-simplify]: Simplify (sin (* 0.0625 (* t b))) into (sin (* 0.0625 (* t b))) 4.651 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b)))) in a 4.651 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b))) in a 4.651 * [taylor]: Taking taylor expansion of 0.0625 in a 4.651 * [backup-simplify]: Simplify 0.0625 into 0.0625 4.651 * [taylor]: Taking taylor expansion of (* t (* (+ (* 2.0 a) 1.0) b)) in a 4.651 * [taylor]: Taking taylor expansion of t in a 4.651 * [backup-simplify]: Simplify t into t 4.651 * [taylor]: Taking taylor expansion of (* (+ (* 2.0 a) 1.0) b) in a 4.651 * [taylor]: Taking taylor expansion of (+ (* 2.0 a) 1.0) in a 4.651 * [taylor]: Taking taylor expansion of (* 2.0 a) in a 4.651 * [taylor]: Taking taylor expansion of 2.0 in a 4.651 * [backup-simplify]: Simplify 2.0 into 2.0 4.651 * [taylor]: Taking taylor expansion of a in a 4.651 * [backup-simplify]: Simplify 0 into 0 4.651 * [backup-simplify]: Simplify 1 into 1 4.651 * [taylor]: Taking taylor expansion of 1.0 in a 4.651 * [backup-simplify]: Simplify 1.0 into 1.0 4.651 * [taylor]: Taking taylor expansion of b in a 4.651 * [backup-simplify]: Simplify b into b 4.652 * [backup-simplify]: Simplify (* 2.0 0) into 0 4.652 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 4.652 * [backup-simplify]: Simplify (* 1.0 b) into (* 1.0 b) 4.652 * [backup-simplify]: Simplify (* t (* 1.0 b)) into (* 1.0 (* t b)) 4.652 * [backup-simplify]: Simplify (* 0.0625 (* 1.0 (* t b))) into (* 0.0625 (* t b)) 4.652 * [backup-simplify]: Simplify (cos (* 0.0625 (* t b))) into (cos (* 0.0625 (* t b))) 4.652 * [backup-simplify]: Simplify (sin (* 0.0625 (* t b))) into (sin (* 0.0625 (* t b))) 4.653 * [backup-simplify]: Simplify (* (cos (* 0.0625 (* t b))) 1) into (cos (* 0.0625 (* t b))) 4.653 * [backup-simplify]: Simplify (* (sin (* 0.0625 (* t b))) 0) into 0 4.654 * [backup-simplify]: Simplify (- 0) into 0 4.654 * [backup-simplify]: Simplify (+ (cos (* 0.0625 (* t b))) 0) into (cos (* 0.0625 (* t b))) 4.654 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t b))) in b 4.654 * [taylor]: Taking taylor expansion of (* 0.0625 (* t b)) in b 4.654 * [taylor]: Taking taylor expansion of 0.0625 in b 4.654 * [backup-simplify]: Simplify 0.0625 into 0.0625 4.654 * [taylor]: Taking taylor expansion of (* t b) in b 4.654 * [taylor]: Taking taylor expansion of t in b 4.654 * [backup-simplify]: Simplify t into t 4.654 * [taylor]: Taking taylor expansion of b in b 4.654 * [backup-simplify]: Simplify 0 into 0 4.654 * [backup-simplify]: Simplify 1 into 1 4.654 * [backup-simplify]: Simplify (* t 0) into 0 4.654 * [backup-simplify]: Simplify (* 0.0625 0) into 0 4.655 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t 4.655 * [backup-simplify]: Simplify (+ (* 0.0625 t) (* 0 0)) into (* 0.0625 t) 4.655 * [taylor]: Taking taylor expansion of 1 in t 4.655 * [backup-simplify]: Simplify 1 into 1 4.655 * [backup-simplify]: Simplify 1 into 1 4.656 * [backup-simplify]: Simplify (+ 0) into 0 4.656 * [backup-simplify]: Simplify (+ (* (cos (* 0.0625 (* t b))) 0) (* 0 1)) into 0 4.658 * [backup-simplify]: Simplify (+ (* 2.0 1) (* 0 0)) into 2.0 4.658 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 4.658 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 2.0 b)) into (* 2.0 b) 4.659 * [backup-simplify]: Simplify (+ (* t (* 2.0 b)) (* 0 (* 1.0 b))) into (* 2.0 (* t b)) 4.659 * [backup-simplify]: Simplify (+ (* 0.0625 (* 2.0 (* t b))) (* 0 (* 1.0 (* t b)))) into (* 0.125 (* t b)) 4.659 * [backup-simplify]: Simplify (+ (* 1 (/ (pow (* 0.125 (* t b)) 1) 1))) into (* 0.125 (* t b)) 4.660 * [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.660 * [backup-simplify]: Simplify (- (* 0.125 (* t (* (sin (* 0.0625 (* t b))) b)))) into (- (* 0.125 (* t (* (sin (* 0.0625 (* t b))) b)))) 4.660 * [backup-simplify]: Simplify (+ 0 (- (* 0.125 (* t (* (sin (* 0.0625 (* t b))) b))))) into (- (* 0.125 (* t (* (sin (* 0.0625 (* t b))) b)))) 4.660 * [taylor]: Taking taylor expansion of (- (* 0.125 (* t (* (sin (* 0.0625 (* t b))) b)))) in b 4.660 * [taylor]: Taking taylor expansion of (* 0.125 (* t (* (sin (* 0.0625 (* t b))) b))) in b 4.660 * [taylor]: Taking taylor expansion of 0.125 in b 4.661 * [backup-simplify]: Simplify 0.125 into 0.125 4.661 * [taylor]: Taking taylor expansion of (* t (* (sin (* 0.0625 (* t b))) b)) in b 4.661 * [taylor]: Taking taylor expansion of t in b 4.661 * [backup-simplify]: Simplify t into t 4.661 * [taylor]: Taking taylor expansion of (* (sin (* 0.0625 (* t b))) b) in b 4.661 * [taylor]: Taking taylor expansion of (sin (* 0.0625 (* t b))) in b 4.661 * [taylor]: Taking taylor expansion of (* 0.0625 (* t b)) in b 4.661 * [taylor]: Taking taylor expansion of 0.0625 in b 4.661 * [backup-simplify]: Simplify 0.0625 into 0.0625 4.661 * [taylor]: Taking taylor expansion of (* t b) in b 4.661 * [taylor]: Taking taylor expansion of t in b 4.661 * [backup-simplify]: Simplify t into t 4.661 * [taylor]: Taking taylor expansion of b in b 4.661 * [backup-simplify]: Simplify 0 into 0 4.661 * [backup-simplify]: Simplify 1 into 1 4.661 * [backup-simplify]: Simplify (* t 0) into 0 4.661 * [backup-simplify]: Simplify (* 0.0625 0) into 0 4.662 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t 4.662 * [backup-simplify]: Simplify (+ (* 0.0625 t) (* 0 0)) into (* 0.0625 t) 4.662 * [taylor]: Taking taylor expansion of b in b 4.662 * [backup-simplify]: Simplify 0 into 0 4.662 * [backup-simplify]: Simplify 1 into 1 4.663 * [backup-simplify]: Simplify (* 0 0) into 0 4.663 * [backup-simplify]: Simplify (* t 0) into 0 4.663 * [backup-simplify]: Simplify (* 0.125 0) into 0 4.663 * [backup-simplify]: Simplify (- 0) into 0 4.663 * [taylor]: Taking taylor expansion of 0 in t 4.663 * [backup-simplify]: Simplify 0 into 0 4.663 * [backup-simplify]: Simplify 0 into 0 4.664 * [backup-simplify]: Simplify (+ 0) into 0 4.664 * [taylor]: Taking taylor expansion of 0 in t 4.664 * [backup-simplify]: Simplify 0 into 0 4.664 * [backup-simplify]: Simplify 0 into 0 4.664 * [backup-simplify]: Simplify 0 into 0