ginac benchmark: print the time