[GiNaC-list] Variations of CPU time for the *same* calculation