4.849 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.057 * * * [progress]: [2/2] Setting up program. 0.060 * [progress]: [Phase 2 of 3] Improving. 0.060 * [simplify]: Simplifying: (/ (* a (pow k m)) (+ (+ 1.0 (* 10.0 k)) (* k k))) 0.060 * * [simplify]: Extracting # 0 : cost 0 0.060 * * [simplify]: Extracting # 1 : cost 0 0.060 * * [simplify]: Extracting # 2 : cost 0 0.060 * * [simplify]: Extracting # 3 : cost 0 0.060 * * [simplify]: Extracting # 4 : cost 0 0.060 * * [simplify]: Extracting # 5 : cost 0 0.060 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 0.062 * * [simplify]: Extracting # 0 : cost 0 0.062 * * [simplify]: Extracting # 1 : cost 0 0.062 * * [simplify]: Extracting # 2 : cost 0 0.062 * * [simplify]: Extracting # 3 : cost 0 0.062 * * [simplify]: Extracting # 4 : cost 0 0.062 * * [simplify]: Extracting # 5 : cost 0 0.062 * * [simplify]: iteration 1 : 24 enodes (cost 15 ) 0.067 * * [simplify]: Extracting # 0 : cost 0 0.067 * * [simplify]: Extracting # 1 : cost 0 0.067 * * [simplify]: Extracting # 2 : cost 0 0.067 * * [simplify]: Extracting # 3 : cost 0 0.067 * * [simplify]: Extracting # 4 : cost 0 0.067 * * [simplify]: iteration 2 : 53 enodes (cost 13 ) 0.078 * * [simplify]: Extracting # 0 : cost 0 0.078 * * [simplify]: Extracting # 1 : cost 0 0.078 * * [simplify]: Extracting # 2 : cost 0 0.078 * * [simplify]: Extracting # 3 : cost 0 0.078 * * [simplify]: Extracting # 4 : cost 0 0.078 * * [simplify]: iteration 3 : 107 enodes (cost 12 ) 0.126 * * [simplify]: Extracting # 0 : cost 0 0.127 * * [simplify]: Extracting # 1 : cost 0 0.128 * * [simplify]: Extracting # 2 : cost 0 0.128 * * [simplify]: Extracting # 3 : cost 0 0.129 * * [simplify]: Extracting # 4 : cost 0 0.129 * * [simplify]: iteration 4 : 254 enodes (cost 12 ) 0.277 * * [simplify]: Extracting # 0 : cost 0 0.279 * * [simplify]: Extracting # 1 : cost 0 0.280 * * [simplify]: Extracting # 2 : cost 0 0.281 * * [simplify]: Extracting # 3 : cost 0 0.282 * * [simplify]: Extracting # 4 : cost 0 0.284 * * [simplify]: iteration 5 : 735 enodes (cost 12 ) 1.590 * * [simplify]: Extracting # 0 : cost 0 1.596 * * [simplify]: Extracting # 1 : cost 0 1.600 * * [simplify]: Extracting # 2 : cost 0 1.604 * * [simplify]: Extracting # 3 : cost 0 1.608 * * [simplify]: Extracting # 4 : cost 0 1.612 * * [simplify]: iteration 6 : 2729 enodes (cost 12 ) 3.334 * * [simplify]: Extracting # 0 : cost 0 3.345 * * [simplify]: Extracting # 1 : cost 0 3.355 * * [simplify]: Extracting # 2 : cost 0 3.364 * * [simplify]: Extracting # 3 : cost 0 3.374 * * [simplify]: Extracting # 4 : cost 0 3.383 * * [simplify]: Extracting # 5 : cost 0 3.392 * * [simplify]: iteration done: 5001 enodes (cost 12 ) 3.392 * [simplify]: Simplified to: (/ a (/ (fma k (+ 10.0 k) 1.0) (pow k m))) 3.398 * * [progress]: iteration 1 / 4 3.398 * * * [progress]: picking best candidate 3.406 * * * * [pick]: Picked # 3.407 * * * [progress]: localizing error 3.437 * * * [progress]: generating rewritten candidates 3.437 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 3.466 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 3.494 * * * [progress]: generating series expansions 3.494 * * * * [progress]: [ 1 / 2 ] generating series at (2) 3.494 * [backup-simplify]: Simplify (/ a (/ (fma k (+ 10.0 k) 1.0) (pow k m))) into (/ (* a (pow k m)) (fma k (+ k 10.0) 1.0)) 3.494 * [approximate]: Taking taylor expansion of (/ (* a (pow k m)) (fma k (+ k 10.0) 1.0)) in (a k m) around 0 3.494 * [taylor]: Taking taylor expansion of (/ (* a (pow k m)) (fma k (+ k 10.0) 1.0)) in m 3.494 * [taylor]: Taking taylor expansion of (* a (pow k m)) in m 3.494 * [taylor]: Taking taylor expansion of a in m 3.495 * [backup-simplify]: Simplify a into a 3.495 * [taylor]: Taking taylor expansion of (pow k m) in m 3.495 * [taylor]: Taking taylor expansion of (exp (* m (log k))) in m 3.495 * [taylor]: Taking taylor expansion of (* m (log k)) in m 3.495 * [taylor]: Taking taylor expansion of m in m 3.495 * [backup-simplify]: Simplify 0 into 0 3.495 * [backup-simplify]: Simplify 1 into 1 3.495 * [taylor]: Taking taylor expansion of (log k) in m 3.495 * [taylor]: Taking taylor expansion of k in m 3.495 * [backup-simplify]: Simplify k into k 3.495 * [backup-simplify]: Simplify (log k) into (log k) 3.495 * [backup-simplify]: Simplify (* 0 (log k)) into 0 3.496 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow k 1)))) 1) into 0 3.496 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (log k))) into (log k) 3.496 * [backup-simplify]: Simplify (exp 0) into 1 3.496 * [taylor]: Taking taylor expansion of (fma k (+ k 10.0) 1.0) in m 3.497 * [taylor]: Rewrote expression to (+ (* k (+ k 10.0)) 1.0) 3.497 * [taylor]: Taking taylor expansion of (* k (+ k 10.0)) in m 3.497 * [taylor]: Taking taylor expansion of k in m 3.497 * [backup-simplify]: Simplify k into k 3.497 * [taylor]: Taking taylor expansion of (+ k 10.0) in m 3.497 * [taylor]: Taking taylor expansion of k in m 3.497 * [backup-simplify]: Simplify k into k 3.497 * [taylor]: Taking taylor expansion of 10.0 in m 3.497 * [backup-simplify]: Simplify 10.0 into 10.0 3.497 * [taylor]: Taking taylor expansion of 1.0 in m 3.497 * [backup-simplify]: Simplify 1.0 into 1.0 3.497 * [backup-simplify]: Simplify (* a 1) into a 3.497 * [backup-simplify]: Simplify (+ k 10.0) into (+ k 10.0) 3.497 * [backup-simplify]: Simplify (* k (+ k 10.0)) into (* k (+ k 10.0))