Add a GiNaC benchmark