The Best 1 GiNaC Alternatives