Add GiNaC benchmarks