0.382 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.306 * * * [progress]: [2/2] Setting up program. 0.311 * [progress]: [Phase 2 of 3] Improving. 0.311 * [simplify]: Simplifying: (* (* x (cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0))) (cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))) 0.311 * * [simplify]: Extracting # 0 : cost 0 0.311 * * [simplify]: Extracting # 1 : cost 0 0.311 * * [simplify]: Extracting # 2 : cost 0 0.311 * * [simplify]: Extracting # 3 : cost 0 0.311 * * [simplify]: Extracting # 4 : cost 0 0.311 * * [simplify]: Extracting # 5 : cost 0 0.311 * * [simplify]: Extracting # 6 : cost 0 0.311 * * [simplify]: Extracting # 7 : cost 0 0.311 * * [simplify]: Extracting # 8 : cost 0 0.311 * * [simplify]: Extracting # 9 : cost 0 0.311 * * [simplify]: Extracting # 10 : cost 0 0.311 * * [simplify]: Extracting # 11 : cost 0 0.311 * * [simplify]: Extracting # 12 : cost 0 0.312 * * [simplify]: iteration 0 : 23 enodes (cost 27 ) 0.315 * * [simplify]: Extracting # 0 : cost 0 0.315 * * [simplify]: Extracting # 1 : cost 0 0.315 * * [simplify]: Extracting # 2 : cost 0 0.315 * * [simplify]: iteration 1 : 42 enodes (cost 27 ) 0.323 * * [simplify]: Extracting # 0 : cost 0 0.323 * * [simplify]: Extracting # 1 : cost 0 0.323 * * [simplify]: Extracting # 2 : cost 0 0.323 * * [simplify]: iteration 2 : 98 enodes (cost 27 ) 0.380 * * [simplify]: Extracting # 0 : cost 0 0.380 * * [simplify]: Extracting # 1 : cost 0 0.381 * * [simplify]: Extracting # 2 : cost 0 0.381 * * [simplify]: iteration 3 : 221 enodes (cost 27 ) 0.446 * * [simplify]: Extracting # 0 : cost 0 0.446 * * [simplify]: Extracting # 1 : cost 0 0.447 * * [simplify]: Extracting # 2 : cost 0 0.447 * * [simplify]: iteration 4 : 391 enodes (cost 27 ) 0.578 * * [simplify]: Extracting # 0 : cost 0 0.580 * * [simplify]: Extracting # 1 : cost 0 0.580 * * [simplify]: Extracting # 2 : cost 0 0.581 * * [simplify]: iteration 5 : 608 enodes (cost 27 ) 0.778 * * [simplify]: Extracting # 0 : cost 0 0.779 * * [simplify]: Extracting # 1 : cost 0 0.780 * * [simplify]: Extracting # 2 : cost 0 0.780 * * [simplify]: iteration 6 : 826 enodes (cost 27 ) 1.084 * * [simplify]: Extracting # 0 : cost 0 1.084 * * [simplify]: Extracting # 1 : cost 0 1.085 * * [simplify]: Extracting # 2 : cost 0 1.086 * * [simplify]: iteration 7 : 982 enodes (cost 27 ) 1.507 * * [simplify]: Extracting # 0 : cost 0 1.509 * * [simplify]: Extracting # 1 : cost 0 1.510 * * [simplify]: Extracting # 2 : cost 0 1.511 * * [simplify]: iteration 8 : 1072 enodes (cost 27 ) 2.033 * * [simplify]: Extracting # 0 : cost 0 2.034 * * [simplify]: iteration 9 : 1216 enodes (cost 27 ) 2.513 * * [simplify]: Extracting # 0 : cost 0 2.514 * * [simplify]: iteration 10 : 1228 enodes (cost 27 ) 3.007 * * [simplify]: Extracting # 0 : cost 0 3.008 * * [simplify]: iteration done: 1228 enodes (cost 27 ) 3.008 * [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.009 * * [progress]: iteration 1 / 4 3.009 * * * [progress]: picking best candidate 3.013 * * * * [pick]: Picked # 3.013 * * * [progress]: localizing error 3.042 * * * [progress]: generating rewritten candidates 3.042 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 3.047 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 3.060 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1) 3.117 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1) 3.171 * * * [progress]: generating series expansions 3.171 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 3.172 * [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.172 * [approximate]: Taking taylor expansion of (cos (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b)))) in (a b t) around 0 3.172 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b)))) in t 3.172 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b))) in t 3.172 * [taylor]: Taking taylor expansion of 0.0625 in t 3.172 * [backup-simplify]: Simplify 0.0625 into 0.0625 3.172 * [taylor]: Taking taylor expansion of (* t (* (+ (* 2.0 a) 1.0) b)) in t 3.172 * [taylor]: Taking taylor expansion of t in t 3.172 * [backup-simplify]: Simplify 0 into 0 3.172 * [backup-simplify]: Simplify 1 into 1 3.172 * [taylor]: Taking taylor expansion of (* (+ (* 2.0 a) 1.0) b) in t 3.172 * [taylor]: Taking taylor expansion of (+ (* 2.0 a) 1.0) in t 3.172 * [taylor]: Taking taylor expansion of (* 2.0 a) in t 3.172 * [taylor]: Taking taylor expansion of 2.0 in t 3.172 * [backup-simplify]: Simplify 2.0 into 2.0 3.172 * [taylor]: Taking taylor expansion of a in t 3.172 * [backup-simplify]: Simplify a into a 3.172 * [taylor]: Taking taylor expansion of 1.0 in t 3.172 * [backup-simplify]: Simplify 1.0 into 1.0 3.172 * [taylor]: Taking taylor expansion of b in t 3.172 * [backup-simplify]: Simplify b into b 3.172 * [backup-simplify]: Simplify (* 2.0 a) into (* 2.0 a) 3.172 * [backup-simplify]: Simplify (+ (* 2.0 a) 1.0) into (+ (* 2.0 a) 1.0) 3.173 * [backup-simplify]: Simplify (* (+ (* 2.0 a) 1.0) b) into (* (+ (* 2.0 a) 1.0) b) 3.173 * [backup-simplify]: Simplify (* 0 (* (+ (* 2.0 a) 1.0) b)) into 0 3.174 * [backup-simplify]: Simplify (* 0.0625 0) into 0 3.174 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 a)) into 0 3.174 * [backup-simplify]: Simplify (+ 0 0) into 0 3.175 * [backup-simplify]: Simplify (+ (* (+ (* 2.0 a) 1.0) 0) (* 0 b)) into 0 3.175 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (* (+ (* 2.0 a) 1.0) b))) into (+ (* 2.0 (* a b)) (* 1.0 b)) 3.176 * [backup-simplify]: Simplify (+ (* 0.0625 (+ (* 2.0 (* a b)) (* 1.0 b))) (* 0 0)) into (+ (* 0.125 (* a b)) (* 0.0625 b)) 3.176 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b)))) in b 3.176 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b))) in b 3.176 * [taylor]: Taking taylor expansion of 0.0625 in b 3.176 * [backup-simplify]: Simplify 0.0625 into 0.0625 3.176 * [taylor]: Taking taylor expansion of (* t (* (+ (* 2.0 a) 1.0) b)) in b 3.176 * [taylor]: Taking taylor expansion of t in b 3.176 * [backup-simplify]: Simplify t into t 3.176 * [taylor]: Taking taylor expansion of (* (+ (* 2.0 a) 1.0) b) in b 3.176 * [taylor]: Taking taylor expansion of (+ (* 2.0 a) 1.0) in b 3.176 * [taylor]: Taking taylor expansion of (* 2.0 a) in b 3.176 * [taylor]: Taking taylor expansion of 2.0 in b 3.176 * [backup-simplify]: Simplify 2.0 into 2.0 3.176 * [taylor]: Taking taylor expansion of a in b 3.176 * [backup-simplify]: Simplify a into a 3.176 * [taylor]: Taking taylor expansion of 1.0 in b 3.176 * [backup-simplify]: Simplify 1.0 into 1.0 3.176 * [taylor]: Taking taylor expansion of b in b 3.176 * [backup-simplify]: Simplify 0 into 0 3.176 * [backup-simplify]: Simplify 1 into 1 3.176 * [backup-simplify]: Simplify (* 2.0 a) into (* 2.0 a) 3.177 * [backup-simplify]: Simplify (+ (* 2.0 a) 1.0) into (+ (* 2.0 a) 1.0) 3.177 * [backup-simplify]: Simplify (* (+ (* 2.0 a) 1.0) 0) into 0 3.177 * [backup-simplify]: Simplify (* t 0) into 0 3.177 * [backup-simplify]: Simplify (* 0.0625 0) into 0 3.178 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 a)) into 0 3.178 * [backup-simplify]: Simplify (+ 0 0) into 0 3.179 * [backup-simplify]: Simplify (+ (* (+ (* 2.0 a) 1.0) 1) (* 0 0)) into (+ (* 2.0 a) 1.0) 3.179 * [backup-simplify]: Simplify (+ (* t (+ (* 2.0 a) 1.0)) (* 0 0)) into (+ (* 2.0 (* t a)) (* 1.0 t)) 3.180 * [backup-simplify]: Simplify (+ (* 0.0625 (+ (* 2.0 (* t a)) (* 1.0 t))) (* 0 0)) into (+ (* 0.125 (* t a)) (* 0.0625 t)) 3.180 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b)))) in a 3.180 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b))) in a 3.180 * [taylor]: Taking taylor expansion of 0.0625 in a 3.180 * [backup-simplify]: Simplify 0.0625 into 0.0625 3.180 * [taylor]: Taking taylor expansion of (* t (* (+ (* 2.0 a) 1.0) b)) in a 3.180 * [taylor]: Taking taylor expansion of t in a 3.180 * [backup-simplify]: Simplify t into t 3.180 * [taylor]: Taking taylor expansion of (* (+ (* 2.0 a) 1.0) b) in a 3.180 * [taylor]: Taking taylor expansion of (+ (* 2.0 a) 1.0) in a 3.180 * [taylor]: Taking taylor expansion of (* 2.0 a) in a 3.180 * [taylor]: Taking taylor expansion of 2.0 in a 3.180 * [backup-simplify]: Simplify 2.0 into 2.0 3.180 * [taylor]: Taking taylor expansion of a in a 3.180 * [backup-simplify]: Simplify 0 into 0 3.180 * [backup-simplify]: Simplify 1 into 1 3.180 * [taylor]: Taking taylor expansion of 1.0 in a 3.180 * [backup-simplify]: Simplify 1.0 into 1.0 3.181 * [taylor]: Taking taylor expansion of b in a 3.181 * [backup-simplify]: Simplify b into b 3.181 * [backup-simplify]: Simplify (* 2.0 0) into 0 3.181 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 3.182 * [backup-simplify]: Simplify (* 1.0 b) into (* 1.0 b) 3.182 * [backup-simplify]: Simplify (* t (* 1.0 b)) into (* 1.0 (* t b)) 3.182 * [backup-simplify]: Simplify (* 0.0625 (* 1.0 (* t b))) into (* 0.0625 (* t b)) 3.182 * [backup-simplify]: Simplify (cos (* 0.0625 (* t b))) into (cos (* 0.0625 (* t b))) 3.182 * [backup-simplify]: Simplify (sin (* 0.0625 (* t b))) into (sin (* 0.0625 (* t b))) 3.182 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b)))) in a 3.182 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* (+ (* 2.0 a) 1.0) b))) in a 3.182 * [taylor]: Taking taylor expansion of 0.0625 in a 3.182 * [backup-simplify]: Simplify 0.0625 into 0.0625 3.182 * [taylor]: Taking taylor expansion of (* t (* (+ (* 2.0 a) 1.0) b)) in a 3.182 * [taylor]: Taking taylor expansion of t in a 3.182 * [backup-simplify]: Simplify t into t 3.182 * [taylor]: Taking taylor expansion of (* (+ (* 2.0 a) 1.0) b) in a 3.182 * [taylor]: Taking taylor expansion of (+ (* 2.0 a) 1.0) in a 3.182 * [taylor]: Taking taylor expansion of (* 2.0 a) in a 3.182 * [taylor]: Taking taylor expansion of 2.0 in a 3.182 * [backup-simplify]: Simplify 2.0 into 2.0 3.182 * [taylor]: Taking taylor expansion of a in a 3.182 * [backup-simplify]: Simplify 0 into 0 3.182 * [backup-simplify]: Simplify 1 into 1 3.183 * [taylor]: Taking taylor expansion of 1.0 in a 3.183 * [backup-simplify]: Simplify 1.0 into 1.0 3.183 * [taylor]: Taking taylor expansion of b in a 3.183 * [backup-simplify]: Simplify b into b 3.183 * [backup-simplify]: Simplify (* 2.0 0) into 0 3.184 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 3.184 * [backup-simplify]: Simplify (* 1.0 b) into (* 1.0 b) 3.184 * [backup-simplify]: Simplify (* t (* 1.0 b)) into (* 1.0 (* t b)) 3.184 * [backup-simplify]: Simplify (* 0.0625 (* 1.0 (* t b))) into (* 0.0625 (* t b)) 3.184 * [backup-simplify]: Simplify (cos (* 0.0625 (* t b))) into (cos (* 0.0625 (* t b))) 3.184 * [backup-simplify]: Simplify (sin (* 0.0625 (* t b))) into (sin (* 0.0625 (* t b))) 3.184 * [backup-simplify]: Simplify (* (cos (* 0.0625 (* t b))) 1) into (cos (* 0.0625 (* t b))) 3.185 * [backup-simplify]: Simplify (* (sin (* 0.0625 (* t b))) 0) into 0 3.185 * [backup-simplify]: Simplify (- 0) into 0 3.185 * [backup-simplify]: Simplify (+ (cos (* 0.0625 (* t b))) 0) into (cos (* 0.0625 (* t b))) 3.185 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t b))) in b 3.185 * [taylor]: Taking taylor expansion of (* 0.0625 (* t b)) in b 3.185 * [taylor]: Taking taylor expansion of 0.0625 in b 3.185 * [backup-simplify]: Simplify 0.0625 into 0.0625 3.185 * [taylor]: Taking taylor expansion of (* t b) in b 3.185 * [taylor]: Taking taylor expansion of t in b 3.185 * [backup-simplify]: Simplify t into t 3.185 * [taylor]: Taking taylor expansion of b in b 3.185 * [backup-simplify]: Simplify 0 into 0 3.185 * [backup-simplify]: Simplify 1 into 1 3.185 * [backup-simplify]: Simplify (* t 0) into 0 3.185 * [backup-simplify]: Simplify (* 0.0625 0) into 0 3.186 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t 3.186 * [backup-simplify]: Simplify (+ (* 0.0625 t) (* 0 0)) into (* 0.0625 t) 3.186 * [taylor]: Taking taylor expansion of 1 in t 3.186 * [backup-simplify]: Simplify 1 into 1 3.186 * [backup-simplify]: Simplify 1 into 1 3.187 * [backup-simplify]: Simplify (+ 0) into 0 3.187 * [backup-simplify]: Simplify (+ (* (cos (* 0.0625 (* t b))) 0) (* 0 1)) into 0 3.188 * [backup-simplify]: Simplify (+ (* 2.0 1) (* 0 0)) into 2.0 3.189 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 3.189 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 2.0 b)) into (* 2.0 b) 3.189 * [backup-simplify]: Simplify (+ (* t (* 2.0 b)) (* 0 (* 1.0 b))) into (* 2.0 (* t b)) 3.189 * [backup-simplify]: Simplify (+ (* 0.0625 (* 2.0 (* t b))) (* 0 (* 1.0 (* t b)))) into (* 0.125 (* t b)) 3.189 * [backup-simplify]: Simplify (+ (* 1 (/ (pow (* 0.125 (* t b)) 1) 1))) into (* 0.125 (* t b)) 3.190 * [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.190 * [backup-simplify]: Simplify (- (* 0.125 (* t (* (sin (* 0.0625 (* t b))) b)))) into (- (* 0.125 (* t (* (sin (* 0.0625 (* t b))) b)))) 3.190 * [backup-simplify]: Simplify (+ 0 (- (* 0.125 (* t (* (sin (* 0.0625 (* t b))) b))))) into (- (* 0.125 (* t (* (sin (* 0.0625 (* t b))) b)))) 3.190 * [taylor]: Taking taylor expansion of (- (* 0.125 (* t (* (sin (* 0.0625 (* t b))) b)))) in b 3.190 * [taylor]: Taking taylor expansion of (* 0.125 (* t (* (sin (* 0.0625 (* t b))) b))) in b 3.190 * [taylor]: Taking taylor expansion of 0.125 in b 3.190 * [backup-simplify]: Simplify 0.125 into 0.125 3.190 * [taylor]: Taking taylor expansion of (* t (* (sin (* 0.0625 (* t b))) b)) in b 3.190 * [taylor]: Taking taylor expansion of t in b 3.190 * [backup-simplify]: Simplify t into t 3.190 * [taylor]: Taking taylor expansion of (* (sin (* 0.0625 (* t b))) b) in b 3.190 * [taylor]: Taking taylor expansion of (sin (* 0.0625 (* t b))) in b 3.190 * [taylor]: Taking taylor expansion of (* 0.0625 (* t b)) in b 3.190 * [taylor]: Taking taylor expansion of 0.0625 in b 3.190 * [backup-simplify]: Simplify 0.0625 into 0.0625 3.190 * [taylor]: Taking taylor expansion of (* t b) in b 3.190 * [taylor]: Taking taylor expansion of t in b 3.190 * [backup-simplify]: Simplify t into t 3.190 * [taylor]: Taking taylor expansion of b in b 3.190 * [backup-simplify]: Simplify 0 into 0 3.190 * [backup-simplify]: Simplify 1 into 1 3.190 * [backup-simplify]: Simplify (* t 0) into 0 3.191 * [backup-simplify]: Simplify (* 0.0625 0) into 0 3.191 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t 3.191 * [backup-simplify]: Simplify (+ (* 0.0625 t) (* 0 0)) into (* 0.0625 t) 3.191 * [taylor]: Taking taylor expansion of b in b 3.191 * [backup-simplify]: Simplify 0 into 0 3.191 * [backup-simplify]: Simplify 1 into 1 3.192 * [backup-simplify]: Simplify (* 0 0) into 0 3.192 * [backup-simplify]: Simplify (* t 0) into 0 3.192 * [backup-simplify]: Simplify (* 0.125 0) into 0 3.192 * [backup-simplify]: Simplify (- 0) into 0 3.192 * [taylor]: Taking taylor expansion of 0 in t 3.192 * [backup-simplify]: Simplify 0 into 0 3.192 * [backup-simplify]: Simplify 0 into 0 3.192 * [backup-simplify]: Simplify (+ 0) into 0 3.192 * [taylor]: Taking taylor expansion of 0 in t 3.193 * [backup-simplify]: Simplify 0 into 0 3.193 * [backup-simplify]: Simplify 0 into 0 3.193 * [backup-simplify]: Simplify 0 into 0